answer(take_all, [a, b, c]).