Assertion: identity | /r/CapableOf | satisfy ll
Facets:
Source sentences:
text: Thus, identity is an equivalence relation satisfying LL.