Specifically, where w k is the distribution of w k and Q 1 ...Q n ∈ {no, f ew, some, most, all} .
f takes a distribution w k and returns a quantifier for each predicate in the model, corresponding to the set overlap between w k and p 1...n .