Assertion: actual world | /r/HasProperty | possible
Facets:
Source sentences:
text: As such, since the actual world contains the contingent proposition \(q\), non-\(q\) is possible.