Topic/Focus Articulation and Intensional Logic Tomas Vlk author 1988 text Coling Budapest 1988 Volume 2: International Conference on Computational Linguistics conference publication vlk-1988-topic https://aclanthology.org/C88-2148/ 1988