Given a premise, retrieve a hypothesis that is entailed by the premise.We know that type very well since we live on one.
We are very familiar with that type, since we stay on one.
We have never seen a type like that before.