Logic Programming : from NLP to NLU ?
linguistically motivated large - scale nlp with c & c and boxer .