W01-1008 obviously a very shallow approach to entailment computation , but nevertheless it proved
hide detail