answer(eq_variable, pair(a, [b, c])).
answer(eq_nested, true).
answer(neq_atoms, true).
answer(neq_structures, true).