Tanaka, Ribeka, Koji Mineshima, and Daisuke Bekki. 2017. “Factivity and Presupposition in Dependent Type Semantics”. Journal of Language Modelling 5 (2):385–420. https://doi.org/10.15398/jlm.v5i2.153.