linguistically motivated large - scale nlp with c & c and boxer .
Towards wide-coverage semantic interpretation