ACTION t07
SELECT ?p WHERE { ?p a owl:TransitiveProperty }
RULE
	Forall ?x ?z ?y (
		?x[#p->?z] :- And(
		?x[#p->?y]
		?y[#p->?z]  ))