transitive_inference