(DEFINE (PROBLEM STRIPS-MYSTY-3) (:DOMAIN MYSTERY-STRIPS) (:OBJECTS LOBSTER LETTUCE WURST CUCUMBER TOMATO OKRA COD ONION LEMON CHICKEN SATIETY DEPRESSION LONELINESS SCIATICA PROSTATITIS ANGINA ABRASION GRIEF LACERATION DREAD HANGOVER ANXIETY JEALOUSY BOILS ANGER JEALOUSY-2 GRIEF-7 HANGOVER-8 DEPRESSION-3 LONELINESS-4 ANGER-1 DREAD-16 PROSTATITIS-5 SCIATICA-6 ABRASION-15 PROSTATITIS-10 BOILS-11 LACERATION-12 ANXIETY-13 ANGINA-14 GRIEF-9 QUEBEC GOIAS MERCURY NEPTUNE VENUS URANUS) (:INIT (FOOD LOBSTER) (FOOD LETTUCE) (FOOD WURST) (FOOD CUCUMBER) (FOOD TOMATO) (FOOD OKRA) (FOOD COD) (FOOD ONION) (FOOD LEMON) (FOOD CHICKEN) (PLEASURE SATIETY) (PAIN DEPRESSION) (PAIN LONELINESS) (PAIN SCIATICA) (PAIN PROSTATITIS) (PAIN ANGINA) (PAIN ABRASION) (PAIN GRIEF) (PAIN LACERATION) (PAIN DREAD) (PAIN HANGOVER) (PAIN ANXIETY) (PAIN JEALOUSY) (PAIN BOILS) (PAIN ANGER) (PAIN JEALOUSY-2) (PAIN GRIEF-7) (PAIN HANGOVER-8) (PAIN DEPRESSION-3) (PAIN LONELINESS-4) (PAIN ANGER-1) (PAIN DREAD-16) (PAIN PROSTATITIS-5) (PAIN SCIATICA-6) (PAIN ABRASION-15) (PAIN PROSTATITIS-10) (PAIN BOILS-11) (PAIN LACERATION-12) (PAIN ANXIETY-13) (PAIN ANGINA-14) (PAIN GRIEF-9) (PROVINCE QUEBEC) (PROVINCE GOIAS) (PLANET MERCURY) (PLANET NEPTUNE) (PLANET VENUS) (PLANET URANUS) (EATS CUCUMBER LEMON) (CRAVES SCIATICA LOBSTER) (CRAVES GRIEF WURST) (CRAVES BOILS CUCUMBER) (CRAVES ANGINA LETTUCE) (CRAVES ANGER CUCUMBER) (CRAVES LACERATION-12 LEMON) (CRAVES GRIEF-7 OKRA) (LOCALE OKRA QUEBEC) (CRAVES HANGOVER-8 OKRA) (LOCALE CUCUMBER GOIAS) (EATS ONION LETTUCE) (CRAVES ABRASION LETTUCE) (CRAVES ANXIETY WURST) (CRAVES BOILS-11 LEMON) (CRAVES DREAD-16 COD) (EATS LEMON ONION) (CRAVES JEALOUSY CUCUMBER) (EATS OKRA TOMATO) (EATS OKRA WURST) (CRAVES PROSTATITIS-10 LEMON) (CRAVES LACERATION WURST) (CRAVES DEPRESSION-3 OKRA) (CRAVES SCIATICA-6 COD) (LOCALE LOBSTER GOIAS) (EATS COD OKRA) (LOCALE TOMATO GOIAS) (EATS LEMON CUCUMBER) (ORBITS MERCURY NEPTUNE) (EATS CHICKEN LOBSTER) (CRAVES ANGINA-14 LEMON) (LOCALE LEMON QUEBEC) (EATS CUCUMBER TOMATO) (LOCALE COD QUEBEC) (CRAVES LONELINESS LOBSTER) (EATS LETTUCE ONION) (CRAVES JEALOUSY-2 TOMATO) (HARMONY SATIETY URANUS) (ORBITS VENUS URANUS) (EATS WURST OKRA) (LOCALE LETTUCE GOIAS) (EATS TOMATO LOBSTER) (EATS LOBSTER CHICKEN) (LOCALE WURST QUEBEC) (EATS OKRA COD) (CRAVES SATIETY LETTUCE) (CRAVES DREAD WURST) (CRAVES ANXIETY-13 LEMON) (EATS LETTUCE WURST) (CRAVES ABRASION-15 ONION) (EATS TOMATO OKRA) (CRAVES HANGOVER WURST) (CRAVES GRIEF-9 CHICKEN) (CRAVES PROSTATITIS-5 COD) (EATS WURST LETTUCE) (CRAVES LONELINESS-4 OKRA) (CRAVES DEPRESSION LOBSTER) (EATS ONION LEMON) (ORBITS NEPTUNE VENUS) (EATS CHICKEN COD) (EATS COD CHICKEN) (EATS LOBSTER TOMATO) (LOCALE ONION GOIAS) (CRAVES PROSTATITIS LOBSTER) (EATS TOMATO CUCUMBER) (LOCALE CHICKEN QUEBEC) (ATTACKS QUEBEC GOIAS) (CRAVES ANGER-1 OKRA)) (:GOAL (AND (CRAVES JEALOUSY WURST))))