Assertion: negation | /r/CapableOf | satisfy double negation law
Facets:
value: in both directions
type: LOCATION
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.