Semantic interpretation with OpenCCG and Hybrid Logic