Logic and Engineering of Natural Language Semantics 17 (LENLS17)