Given a premise, retrieve a hypothesis that is entailed by the premise.yeah but they don't use that no more
They don't use that anymore.
They still use that often, and have discussed implementing another just like it.