Assertion: substitution | /r/HasProperty | fundamental concept
Facets:
value: in logic
type: OTHER
Source sentences:
text: Substitution is a fundamental concept in logic.