Professor Angelika Kratzer on Formal Semantics