Given a premise, retrieve a hypothesis that is entailed by the premise.A list of abbreviations follows the resource list.
A resource list comes just before the abbreviations list.
The abbreviations list comjes before the resource list.