tbox->transitiveobjectproperty_axioms is now a Set.