type Restaurant:
    r1
    r2

type Berries:
    b1
    b2

task FindFood:
    task BuyFood(restaurant.has_food) for Restaurant as restaurant:
        target = restaurantFood()
    task Forage(berries.have_food) for Berries as berries:
        target = forageFood()

task Main:
    op()