Interweaving theoretical and empirical work, we investigate how language interfaces with the conceptual intentional systems of the mind. Current research areas include the processing of quantifier integration in real time, ellipsis, degree operators, extraposition as well as verification procedures associated with quantified statements.