answer(context_term_nested_order, a).
answer(context_term_nested_order, b).
answer(context_term_nested_order, c).