%% ?- answer(X0).

answer(X) :- list_to_set([pair(a, 1), pair(a, 1), pair(a, 2)], X).