pdf bibFormal semantics of verbs for knowledge inferenceIgor BoykoProceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5)