Title: Logic and Engineering of Natural Language Semantics