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