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