Tanaka, R., Mineshima, K., & Bekki, D. (2017). Factivity and presupposition in Dependent Type Semantics. Journal of Language Modelling, 5(2), 385–420. https://doi.org/10.15398/jlm.v5i2.153