Assertion: boolean algebra's value | /r/HasProperty | ¬ a
Facets:
Source sentences:
text: Value [ ¬ A ] = Value [ A