Text this: Compiling natural semantics / Mikael Pettersson.