Assertion: logic's operator | /r/HasProperty | such that p op q = q op2 p
Facets:
Source sentences:
text: The Adj row shows the operator op2 such that P op Q = Q op2 P