tbox->subobjectpropertyof_axioms is now a Set.