Assertion: logic's operator | /r/HasProperty | possible
Facets:
Source sentences:
text: : modal operator for "it is possible that", "it is not necessarily not" or rarely "it is not provable not" (in most modal logics it is defined as "¬◻¬")