Assertion: predicate's property | /r/HasProperty | consequences of the axioms
Facets:
Source sentences:
text: Many other properties of equality are consequences of the axioms above, for example: