. . . "AllDisjointProperties" . . "The class of collections of pairwise disjoint properties." . .