answer(once_choice, a).
answer(nested_once, ok).
answer(negated_missing, ok).
answer(negated_existing_rejected, ok).
answer(all_allowed, ok).
answer(not_all_allowed_after_extra, ok).