In some theories of formal semantics, including David Dowty's, stative verbs have a logical form that is the lambda expression .
Apart from Dowty, Z. Vendler and C. S. Smith[REF] have also written influential work on aspectual classification of verbs.