From discourse to logic: introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory - Kamp, Hans (Studies in linguistics and philosophy. 42, 1993)