The classes of a disjoint classes axiom are now stored in a list.