when logical inference helps determining textual entailment ( and when it doesn ’ t ) .
Towards wide-coverage semantic interpretation