I am wondering if there is a standard treatment of expressions such as "x is ready" or "x is proud". It seems to me that something like BE(x,ready)
or BE-READY(x)
is not enough, given that they do not capture the intuition that the meaning of those expressions is 'x is ready for/to do something'. I have been looking for a reference in the formal semantics literature, but I can't find anything apart from discussions without formal representations.
Ready (x)
is enough, just likeKill (x, y)
means "x kills/killed y". See the Logic Guide for more details.