Formal semantics of verbs for knowledge inference Igor Boyko author 2006 text Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5) Johan Bos editor Alexander Koller editor conference publication boyko-2006-formal https://aclanthology.org/W06-3914/ 2006