The range of a higher-order phrase over D, the upward-entailing generalized quantifiers that
live on D: the positive combinations of its members and the trivial quantifiers.
- upwardGQ P D = insert Set.univ (insert ∅ (latticeClosure (P '' D)))
Used by isStrongestTrueAnswer_upwardGQ_univ, presupposition_upwardGQ, weakAnswer_upwardGQ, isLeast_supported_upwardGQ, isLeast_supported_upwardGQ_pair, isExhaustivelyResolvableOn_upwardGQ, upwardGQ_whDomain_singular, Form.answers, isStrongestTrueAnswer_upwardGQ_starred_pair, isStrongestTrueAnswer_upwardGQ_starred_singleton, isStrongestTrueAnswer_upwardGQ_starred_atoms, not_strawsonEquiv_starred, two_group_answer_iff, collective_answer_iff
Used in AlonsoOvalleRouillard2023