grouped(two, [2, 3]).
grouped(one, [1, 1, 2]).
grouped_set(two, [2, 3]).
grouped_set(one, [1, 2]).
existential([2, 1, 1, 3, 2], [1, 2, 3]).
no_solutions.
retrieved(bob, true).
retrieved(carol, true).
shared_clause(pair(ok, ok)).
shared_set_variables([a, b]).