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