Assertion: substitution | /r/HasProperty | applied to other kinds of formal objects
Facets:
Source sentences:
text: Substitution can however also be applied to other kinds of formal objects built from symbols, for instance elements of free groups.