Given a premise, retrieve a hypothesis that is entailed by the premise.My system is based on his, though of course I have progressed rather further.
I have come a long way with this system.
I have not progressed very far with this type of system.