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