tbox->equivalent_objectproperties_axiom is now a Set.