I understand that the representation of an intransitive verb,
V in lambda calculus would be
lambda x. V(x), where
x is the subject.
How do I represent an intransitive verb followed by a prepositional phrase? For example, I agree with you.
One solution is to create a transitive verb
agree_with and use the expression
lambda x y. agree_with(x,y).
Is there a first order representation that doesn't mix the concepts of transitivity and intransitivity?