Given a premise, retrieve a hypothesis that is entailed by the premise.and they probably they do it all by hand probably
I bet everything's done by hand.
They've implemented several software products to automate the process.