Assertion: logic's operator | /r/HasProperty | nn
Facets:
Source sentences:
text: He settles on two-sided possibility (contingency) and tests for syllogismhood all possible combinations of premise pairs of sentences with necessity (N), contingency (C) or no (U) modal operator: NN, CC, NU/UN, CU/UC and NC/CN.