Proceedings of the First Workshop on Inference in Computational Semantics (ICoS-1)