Natural Language Understanding using Temporal Action Logic Martin Magnusson author 2006 text Proceedings of the Workshop KRAQ’06: Knowledge and Reasoning for Language Processing conference publication magnusson-2006-natural https://aclanthology.org/W06-1806/ 2006