All of Michael's neighbors who enjoy going out often to restaurants with friends order takeout from delivery services often.
∀x (MichaelsNeightbor(x) ∧ EnjoyGoingOutOftenToWith(x, restaurant, friend) → OrderOften(x, takeout))