committed_answer(first).
left_answer(a).
right_answer(a, a).
right_answer(a, b).
cut_failure_answer.
disjunction_answer(a).
call_local_answer(fallback, ok).
if_then_answer(a).
if_then_answer(b).