Assertion: identity | /r/HasProperty | symmetrical
Facets:
Source sentences:
text: That identity is also symmetrical and transitive follows from Leibniz's Law.