Assertion: argument's conclusion | /r/HasProperty | licensed by modal principle
Facets:
Source sentences:
text: (This conclusion is licensed by the modal principle: If it is necessary that if \(p\) then \(q\), then if it is possible that \(p\), it is possible that \(q\).)