In order to accommodate the LLFs with syntactic types in LLFs of (Muskens, 2010), we extend the semantic type system with np, n, s, pp basic syntactic types corresponding to basic CCG cate-gories.
complex types are now built up from the set {e, t, np, n, s, pp} of types.