For 10 points, name these propositions taken for granted in a conversation.
These propositions are treated as anaphors in van der Sandt's adoption of binding theory. These propositions were defined to be satisfied at some point if they would be left-redundant when added at that point, in a paper classifying embeddings as plugs, holes, or filters. Gazdar defined the potential type of these propositions, which might not become the actual type due to cancellation. The accommodation of these propositions occurs when one is added to the common ground, thus requiring an update to the context set of possible worlds. The projection problem is to determine the rules for inheritance of these propositions, and their preservation under operators such as negation distinguishes them from entailments. For 10 points, name these propositions taken for granted in a conversation.
These propositions are treated as anaphors in van der Sandt's adoption of binding theory.
presuppositions