Assertion: substitution | /r/HasProperty | x ↦ z
Facets:
Source sentences:
text: For example, applying the substitution { x ↦ z, z ↦ h(a,y) } to the term