Formal Semantics and Pragmatics for Natural Language Querying