[logic-ml] CFP: LENLS 7 (Logic and Engineering of Natural Language Semantics 7)