Dependent Type Semantics. • Preceding analysis [Watanabe et al. 2019]: • Analyzes who, polar, and alternative questions. • Only direct questions are considered. • This study analyzes both direct and embedded questions and defines semantic composition. • It captures a few facts, including question-answer relationships, presupposition, and exhaustivity (to be explained later). • For embedded questions, only factive predicates such as know are considered.