Logic and Engineering of Natural Language Semantics | lit.salon