Definition: The function (SUPL p1 y) = p2 generates a nongradable property p2 from a generic concept or a plurality y, and a gradable property p1. The resulting property p2 has the highest degree within the comparison frame given by y on a scale associated with the property p1.
e.g. “Peter is the best.”