Presupposition and non-truth-conditional semantics · Study