C. (2010). What projects and why. Semantics and Linguistic Theory, 20, 309–327. https://doi.org/10.3765/salt.v20i0.2584 Stalnaker, R. (1974). Pragmatic presuppositions. In Semantics and philosophy (pp. 197–214). New York University Press. Strawson, P. F. (1950). On referring. Mind, 59(235), 320–344. Sundholm, G. (1986). Proof theory and meaning. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic: Volume iii: Alternatives in classical logic (pp. 471–506). Springer Netherlands. https://doi.org/10.1007/978-94-009-5203-4_8 Tanaka, R. (2021). Natural language quantification and dependent types [Doctoral dissertation, Ochanomizu University]. 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 Tonhauser, J. (2012). Diagnosing (not-)at-issue content. Proceedings of Semantics of Under-represented Languages of the Americas 6. Tonhauser, J., Beaver, D., Roberts, C., & Simons, M. (2013). Toward a taxonomy of projective content. Language, 89(1), 66–109. https://doi.org/10.1353/lan.2013.0001 82 / 83