A Type Composition Logic for Generative Lexicon · Study