  A challenging problem is the treatment of presuppositions in linguistics, i.e. of assumptions that are only implicit in a given sentence. So, for example, the sentence “The present king of Canada was born in Vienna” has the existential presupposition that there is a present king of Canada.