Assertion: identity | /r/HasProperty | equivalence relation
Facets:
Source sentences:
text: But identity is an equivalence relation –
text: Thus, identity is an equivalence relation satisfying LL.