Assertion: ground substitution | /r/HasProperty | x ↦
Facets:
Source sentences:
text: The ground substitution { x ↦ 2 } cannot have an inverse due to a similar loss of origin information e.g. in (x+2) {