Assertion: logic's operator | /r/HasProperty | negation
Facets:
Source sentences:
text: PFL is formulated in a first-order language \(\bL\) without sentence letters or function symbols, whose primitive logical operators are negation (not)