If predication were not ontologically revelatory, the logical validity of inferences like 'Socrates ...