Assertion: negation | /r/HasProperty | involution
Facets:
value: in logics
type: LOCATION
Source sentences:
text: In logics that have both rules, negation is an involution.