Presuppositions as Beliefs Diane Horton author Graeme Hirst author 1988 text Coling Budapest 1988 Volume 1: International Conference on Computational Linguistics conference publication horton-hirst-1988-presuppositions https://aclanthology.org/C88-1052/ 1988