A new formal tool: Functorial variables representing assertions and presuppositions Ingolf Max author 1988 text Coling Budapest 1988 Volume 1: International Conference on Computational Linguistics conference publication max-1988-new https://aclanthology.org/C88-1083/ 1988