"allValuesFrom" . . . . "The property that determines the class that a universal property restriction refers to." . .