Assertion: negation | /r/HasProperty | period
Facets:
Source sentences:
text: The three negations satisfy not only contraposition, but they are also “period two” (involutive), i.e., they satisfy the double negation law in both directions.