Assertion: substitution | /r/HasProperty | equal
Facets:
value: formally
type: MANNER
Source sentences:
text: Two substitutions are considered equal if they map each variable to structurally equal result terms, formally: