"The class of functional properties." . "FunctionalProperty" . . . . . . . .