Procedural dynamic semantics, verb phrase ellipsis, and presupposition - Eijck, Jan van 1951- (Centrum voor Wiskunde en Informatica, 1993)