Assertion: substitution | /r/HasProperty | logic
Facets:
Source sentences:
text: For meaning of this term in logic, see Substitution (logic)