You are told that Tom is older than John. Next you are told that Mike is older than Tom. Deriving that John is younger than Mike is an example of which of the following types of relations? Group of answer choices Mutual entailment Combinatorial mutual entailment Symmetry Transitivity