Inferencing with verbs