. All type 2 questions (value-dominant) potentially seek anything with co-extensive
recorded values in the universe of discourse, regardless of set membership
(set membership can be added as an additional constraint). The results are
mediated back to instances from the discovered values before being returned.
Type 2 questions present as a key any recorded attribute, but as a pair – a
measurement and a frame of reference, and seek either confirmation of existence of
any recorded value at that point, or potential instances of interest.