"propertyChainAxiom" . . . . . "The property that determines the n-tuple of properties that build a sub property chain of a given property." . .