Wide-Coverage Semantic Analysis with Boxer
linguistically motivated large - scale nlp with c & c and boxer .