To say something G of the class of Fs is to say there exists a predicative property H coextensive wi...