. All type 1 questions (instance-dominant) seek potential set-membership within
acknowledged sets via directly matching values in prepared knowledge
structures. All present as a key an attribute for all members of the set, and seek
either a confirmation of existence or a tuple representing identities and attributes,
for a value or range of values.