The Interface of Syntax and Information Structure Steedman's CCG approach

Syntactically potent elements such as verbs are associated with a syntactic category that identi es them asfunctionsand speci es the type anddirectionality of their arguments and the type of their result.A \result leftmost" notation is used: { = is a rightward-combining functor over a domain into a range { n is the corresponding leftward-combining functor.{ and may themselves be functional categories.(1) proved :=(SnNP)=NP