Example: corpus {(P a)} wrt. discourse presupposition with a being out of discourse.
the empty set of core interpretations are with respect to the discourse presupposition
this means we will need to define entailment (with respect to disc. pre) with that in mind
The whole notion of discourse presupposition can be generalized to more general presuppostions (e.g., FOL has presuppostions that constrain the interpretations based on the syntactic categories in the lexicon). Failure to meet these syntactic constraints of the dialects lead to empty set of core interpretations.
Example: corpus {(P a)} wrt. discourse presupposition with a being out of discourse.
The whole notion of discourse presupposition can be generalized to more general presuppostions (e.g., FOL has presuppostions that constrain the interpretations based on the syntactic categories in the lexicon). Failure to meet these syntactic constraints of the dialects lead to empty set of core interpretations.