Given a premise, retrieve a hypothesis that is entailed by the premise.i believe we've pretty much summed everything up
I think that just about does it.
We've still got a long way to go before we're finished.