premise: A catcher tags out a baseball player sliding into home. hypothesis: A catcher tags out a baseball player.
entailment: If a catcher tags out another player, then the catcher tags out a baseball player.