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