Given a premise, retrieve a hypothesis that is entailed by the premise.so i use it for that quite often um
It's frequently handy for situations like that.
I haven't picked it up, let alone used it, in years.