Assertion: necessity | /r/HasProperty | explained in previous section
Facets:
Source sentences:
text: Because, as explained in previous section, necessity of one for the other is equivalent to sufficiency of the other for the first one, e.g. P ⇐ Q {\displaystyle P\Leftarrow