Logic and Engineering of Natural Language Semantics