HOL2-eat_drink_and_give_thanks