computational linguist/ formal semanticist from Germany.