Boolean Semantics for Natural Language