answer(sum_empty, 0).
answer(sum_mixed, 6.5).
answer(min_atom_order, beta).
answer(max_atom_order, gamma).
answer(set_terms, [pair(a, 1), pair(b, 2)]).
answer(min_empty_rejected, ok).
answer(max_empty_rejected, ok).