answer(eq_variable, pair(a, "bc")).
answer(eq_nested, true).
answer(neq_atoms, true).
answer(neq_structures, true).