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