Assertion: substitution | /r/HasProperty | syntactic transformation
Facets:
value: on formal expressions
type: LOCATION
Source sentences:
text: A substitution is a syntactic transformation on formal expressions.