Learning Argument Structure Generalizations

1. Function-argument structure, syntactic categories, and semantic types. A function of type a ( b applies to an argument of type a, and the result is of type b. When an expression of semantic type a ( b combines with an expression of type a by the semantic rule of “function-argument application”, the resulting expression is of type b ... ................
................