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