Assertion: substitution | /r/HasProperty | x 1 ↦
Facets:
Source sentences:
text: The substitution { x 1 ↦ t 1 , ...,