(DEFINE (PROBLEM MYSTY-A-2) (:DOMAIN MYSTERY-TYPED) (:OBJECTS HAROSET SCALLOP HOTDOG SCALLION MELON SNICKERS LEMON CHOCOLATE LETTUCE KALE PISTACHIO CANTELOPE SHRIMP - FOOD UNDERSTANDING ACHIEVEMENT INTOXICATION SATIETY - PLEASURE PROSTATITIS ANGINA ANGER LONELINESS ANXIETY SCIATICA GRIEF LACERATION HANGOVER DREAD DEPRESSION GRIEF-2 ABRASION BOILS JEALOUSY DEPRESSION-1 PROSTATITIS-8 LONELINESS-3 HANGOVER-4 SCIATICA-6 ANGER-7 ANXIETY-14 ANGINA-15 LACERATION-16 DREAD-5 ABRASION-13 DREAD-10 BOILS-11 JEALOUSY-12 - PAIN GUANABARA ALSACE GOIAS - PROVINCE URANUS MARS NEPTUNE MERCURY - PLANET) (:INIT (CRAVES DEPRESSION-1 LEMON) (EATS CHOCOLATE CANTELOPE) (EATS LEMON SCALLOP) (LOCALE SNICKERS GUANABARA) (LOCALE SCALLION ALSACE) (EATS LEMON CHOCOLATE) (LOCALE LETTUCE ALSACE) (EATS CHOCOLATE LETTUCE) (CRAVES PROSTATITIS-8 CHOCOLATE) (EATS SCALLION HAROSET) (ORBITS MARS NEPTUNE) (CRAVES JEALOUSY SNICKERS) (EATS CANTELOPE SHRIMP) (CRAVES ANGER-7 KALE) (CRAVES ACHIEVEMENT SNICKERS) (CRAVES HANGOVER-4 CHOCOLATE) (CRAVES DREAD-5 PISTACHIO) (CRAVES ANGINA-15 PISTACHIO) (EATS CHOCOLATE SCALLION) (CRAVES HANGOVER SCALLION) (CRAVES BOILS SNICKERS) (EATS PISTACHIO CHOCOLATE) (EATS SCALLOP MELON) (CRAVES JEALOUSY-12 SHRIMP) (EATS SCALLOP HAROSET) (LOCALE KALE GOIAS) (CRAVES SATIETY LETTUCE) (CRAVES LACERATION SCALLION) (EATS HOTDOG SNICKERS) (CRAVES DREAD-10 SHRIMP) (EATS CHOCOLATE LEMON) (CRAVES ABRASION-13 CANTELOPE) (CRAVES GRIEF-2 SNICKERS) (EATS CANTELOPE PISTACHIO) (EATS KALE LEMON) (LOCALE HAROSET GOIAS) (EATS HOTDOG SCALLION) (CRAVES ANXIETY SCALLOP) (EATS SNICKERS MELON) (LOCALE MELON GOIAS) (EATS MELON SNICKERS) (HARMONY UNDERSTANDING MERCURY) (HARMONY SATIETY MARS) (LOCALE LEMON ALSACE) (CRAVES LONELINESS-3 CHOCOLATE) (CRAVES ANXIETY-14 PISTACHIO) (CRAVES BOILS-11 SHRIMP) (EATS LETTUCE CHOCOLATE) (CRAVES PROSTATITIS HAROSET) (EATS KALE LETTUCE) (HARMONY INTOXICATION NEPTUNE) (EATS MELON SCALLOP) (EATS PISTACHIO CANTELOPE) (CRAVES DREAD MELON) (LOCALE PISTACHIO ALSACE) (EATS SHRIMP LETTUCE) (EATS LETTUCE KALE) (EATS SHRIMP CANTELOPE) (CRAVES SCIATICA-6 KALE) (ORBITS NEPTUNE MERCURY) (CRAVES LONELINESS SCALLOP) (CRAVES UNDERSTANDING HAROSET) (EATS SNICKERS HOTDOG) (CRAVES ABRASION SNICKERS) (EATS CANTELOPE CHOCOLATE) (LOCALE SHRIMP ALSACE) (CRAVES GRIEF HOTDOG) (CRAVES ANGER HAROSET) (ORBITS URANUS MARS) (EATS LEMON KALE) (EATS HAROSET SCALLION) (CRAVES INTOXICATION CHOCOLATE) (CRAVES LACERATION-16 PISTACHIO) (ATTACKS ALSACE GOIAS) (LOCALE SCALLOP GOIAS) (CRAVES SCIATICA HOTDOG) (CRAVES ANGINA HAROSET) (EATS CHOCOLATE PISTACHIO) (LOCALE CHOCOLATE ALSACE) (LOCALE HOTDOG ALSACE) (CRAVES DEPRESSION MELON) (EATS LETTUCE SHRIMP) (HARMONY ACHIEVEMENT MARS) (EATS SCALLOP LEMON) (LOCALE CANTELOPE GOIAS) (ATTACKS GUANABARA ALSACE) (EATS SCALLION HOTDOG) (EATS SCALLION CHOCOLATE) (EATS HAROSET SCALLOP)) (:GOAL (AND (CRAVES ABRASION-13 SCALLOP) (CRAVES JEALOUSY LEMON))))