The phrase "is predicated of" is grammatically correct and can be used in written English.
It is most commonly used in philosophical or academic writing to describe the relationship between a subject and its attributes or qualities. Example: In the philosophy of mind, consciousness is often seen as the central feature of the mind, with all other mental phenomena being predicated of it.
In both cases we have a particular that is also a property, a subject of predication that is also a predicable entity, where the predicable entity is predicated of itself.
When analyzed as an eventuality-predicative V-DE construction, lei is predicated of the eventuality of his running.
In the Prior Analytics, Aristotle adopts a somewhat artificial way of expressing predications: instead of saying "\(X\) is predicated of \(Y\)" he says "\(X\) belongs (huparchei) to \(Y\)".
In the case of 43b, an entity-predicative V-DE construction, the overt AP is predicated of a specific participant and the null element in the de-part refers to the entity of Zhangsan.
In the case of 43a, an eventuality-predicative V-DE construction, the overt AP is predicated of an eventuality and the null element in the de-part is conferential with the eventuality of sleeping by Zhangsan.
For created things, on the Aristotelian scheme, a predication is either substantial (when the genus, species or differentia is predicated of something: 'Socrates is an animal/man/rational') or accidental, when the predicate is any accident in any of the nine Aristotelian categories of accident.
A predicate calculus is a formal system (a formal language and a method of proof) in which one can represent valid inferences among predications, i.e., among statements in which properties are predicated of objects.
If the negation of consciousness is not conceivable, then none of these various kinds of negations can be predicated of consciousness.
If difference cannot be predicated of it, then consciousness is the only reality and anything different from it would be unreal.
What does Being mean?" If, in other words, there are many kinds of Being, or many senses in which existence may be predicated of a thing, what is the most-fundamental kind of Being, the kind that may be predicated of all things?
Thus, things cannot be predicated of things.
