(DEFINE (PROBLEM MYSTY-3) (:DOMAIN MYSTERY-TYPED) (:OBJECTS LOBSTER LETTUCE WURST CUCUMBER TOMATO OKRA COD ONION LEMON CHICKEN - FOOD SATIETY - PLEASURE 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 - PAIN QUEBEC GOIAS - PROVINCE MERCURY NEPTUNE VENUS URANUS - PLANET) (:INIT (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))))