pdf bibA new formal tool: Functorial variables representing assertions and presuppositionsIngolf MaxColing Budapest 1988 Volume 1: International Conference on Computational Linguistics