(DEFINE (PROBLEM MYSTY-A-13) (:DOMAIN MYSTERY-TYPED) (:OBJECTS TUNA CHOCOLATE WONDERBREAD PEAR LOBSTER GUAVA CHICKEN BROCCOLI MUFFIN SNICKERS SCALLOP LEMON PAPAYA KALE - FOOD REST EXCITEMENT - PLEASURE PROSTATITIS ANGINA ANGER GRIEF LACERATION LONELINESS ABRASION DREAD ANXIETY SCIATICA HANGOVER JEALOUSY BOILS DEPRESSION GRIEF-8 ABRASION-3 HANGOVER-4 LACERATION-1 ANXIETY-2 SCIATICA-15 ANGER-16 JEALOUSY-5 LONELINESS-6 DREAD-7 PROSTATITIS-13 DEPRESSION-14 DEPRESSION-32 SCIATICA-9 LONELINESS-10 ANGINA-11 BOILS-12 - PAIN MANITOBA BAVARIA ARIZONA KENTUCKY - PROVINCE VENUS MARS NEPTUNE URANUS - PLANET) (:INIT (EATS TUNA GUAVA) (LOCALE SCALLOP KENTUCKY) (EATS SCALLOP KALE) (LOCALE GUAVA KENTUCKY) (CRAVES LONELINESS-6 BROCCOLI) (ATTACKS MANITOBA BAVARIA) (EATS SCALLOP LEMON) (EATS SCALLOP MUFFIN) (CRAVES PROSTATITIS-13 MUFFIN) (EATS SNICKERS BROCCOLI) (EATS GUAVA TUNA) (EATS KALE SCALLOP) (ATTACKS ARIZONA KENTUCKY) (EATS BROCCOLI SNICKERS) (EATS LEMON PAPAYA) (LOCALE SNICKERS BAVARIA) (EATS MUFFIN SNICKERS) (CRAVES DREAD-7 BROCCOLI) (EATS PAPAYA LEMON) (CRAVES HANGOVER PEAR) (ORBITS MARS NEPTUNE) (LOCALE CHICKEN BAVARIA) (CRAVES DEPRESSION-14 MUFFIN) (HARMONY EXCITEMENT MARS) (CRAVES ABRASION-3 CHICKEN) (CRAVES ANXIETY-2 CHICKEN) (CRAVES LACERATION WONDERBREAD) (EATS LOBSTER TUNA) (CRAVES SCIATICA-9 LEMON) (EATS PEAR WONDERBREAD) (ORBITS NEPTUNE URANUS) (CRAVES JEALOUSY LOBSTER) (EATS LEMON SCALLOP) (EATS PEAR BROCCOLI) (CRAVES EXCITEMENT PAPAYA) (CRAVES HANGOVER-4 CHICKEN) (CRAVES DEPRESSION LOBSTER) (CRAVES ANGER-16 BROCCOLI) (EATS WONDERBREAD CHICKEN) (EATS MUFFIN KALE) (CRAVES LONELINESS WONDERBREAD) (EATS CHOCOLATE LOBSTER) (EATS GUAVA CHICKEN) (CRAVES GRIEF WONDERBREAD) (LOCALE PEAR ARIZONA) (EATS CHICKEN WONDERBREAD) (LOCALE BROCCOLI MANITOBA) (EATS PAPAYA BROCCOLI) (CRAVES GRIEF-8 CHICKEN) (EATS SNICKERS MUFFIN) (CRAVES BOILS LOBSTER) (HARMONY REST URANUS) (LOCALE LEMON BAVARIA) (EATS CHOCOLATE PEAR) (CRAVES ANGINA TUNA) (CRAVES SCIATICA PEAR) (LOCALE PAPAYA MANITOBA) (CRAVES SCIATICA-15 BROCCOLI) (EATS TUNA LOBSTER) (EATS BROCCOLI PAPAYA) (CRAVES BOILS-12 LEMON) (EATS GUAVA LEMON) (CRAVES DEPRESSION-32 LEMON) (CRAVES ANXIETY PEAR) (CRAVES LONELINESS-10 LEMON) (EATS PEAR CHOCOLATE) (LOCALE MUFFIN MANITOBA) (EATS KALE MUFFIN) (LOCALE CHOCOLATE ARIZONA) (EATS MUFFIN SCALLOP) (CRAVES ANGER TUNA) (CRAVES DREAD WONDERBREAD) (LOCALE LOBSTER MANITOBA) (ATTACKS BAVARIA ARIZONA) (EATS BROCCOLI PEAR) (LOCALE KALE KENTUCKY) (LOCALE WONDERBREAD KENTUCKY) (CRAVES ANGINA-11 LEMON) (EATS LEMON GUAVA) (ORBITS VENUS MARS) (CRAVES LACERATION-1 CHICKEN) (EATS WONDERBREAD PEAR) (LOCALE TUNA MANITOBA) (CRAVES REST LEMON) (CRAVES JEALOUSY-5 BROCCOLI) (CRAVES ABRASION WONDERBREAD) (EATS LOBSTER CHOCOLATE) (CRAVES PROSTATITIS TUNA) (EATS CHICKEN GUAVA)) (:GOAL (AND (CRAVES ABRASION-3 WONDERBREAD) (CRAVES ANXIETY-2 WONDERBREAD))))