Obligatory presupposition in discourse