answer(plain, "ab").
answer(qualified, "ab").
answer(qualified_bag, "bab").
answer(nested, [1, 2]).
answer(witness_kept, [1 - a, 2 - b]).