Docs / Semantics / Questions / Constituent
import Linglib.Semantics.Questions.Constituent · namespace Question
The constituent question which D P, which e ∈ D is P?, is the join of the declaratives of
P e for e ∈ D, Hamblin's wh-question as an inquisitive content. Its alternatives are the
maximal instances (mem_alt_which_of_maximal), all of them when the instances form an antichain
(alt_which_of_antichain).
A wh-question Which x ∈ D satisfies P x? (Hamblin) has one alternative
per element of D, given by the proposition P e for each e ∈ D.
We define this as the inquisitive disjunction of the principal ideals
generated by the per-element predicates.
The wh-question which e ∈ D is P? is the join of the declaratives of P e for
e ∈ D.
Used by mem_which, info_which, which_eq_generate, mem_alt_which_of_maximal, alt_which_of_antichain, alt_which_of_forall_subset_eq, which_univ
Used in BhattDayal2020, DeoThomas2025, GroenendijkStokhof1984, Karttunen1977, MartinezVera2026 and 1 more
Built from
Built from