Logical Foundations for Hybrid Type-Logical Grammars