Assertion: propositional logic | /r/HasProperty | forbidden for forbidden
Facets:
Source sentences:
text: for ‘it is forbidden that’ are defined: \(PA = {\sim}O{\sim}A\) and \(FA = O{\sim}A\).