(DEFINE (PROBLEM MYSTY-12) (:DOMAIN MYSTERY-TYPED) (:OBJECTS TUNA BROCCOLI LETTUCE SWEETROLL KALE LAMB SCALLOP TOMATO CANTELOPE MARZIPAN HAROSET APPLE FLOUNDER CHICKEN - FOOD UNDERSTANDING INTOXICATION SATISFACTION CURIOSITY ACHIEVEMENT REST SATIETY TRIUMPH LEARNING EXCITEMENT ENTERTAINMENT - PLEASURE ABRASION BOILS LACERATION GRIEF JEALOUSY DREAD LONELINESS ANGER ANGINA SCIATICA ANXIETY DEPRESSION HANGOVER JEALOUSY-1 HANGOVER-2 PROSTATITIS ANXIETY-7 ANGINA-8 DEPRESSION-3 ANGER-4 LONELINESS-15 LACERATION-16 BOILS-5 GRIEF-6 PROSTATITIS-11 DREAD-12 ABRASION-13 SCIATICA-14 DEPRESSION-31 ANGER-32 JEALOUSY-9 ABRASION-10 GRIEF-29 HANGOVER-30 DREAD-26 ANGINA-27 BOILS-28 LONELINESS-22 ANXIETY-23 PROSTATITIS-24 LACERATION-25 - PAIN MANITOBA BAVARIA ARIZONA - PROVINCE EARTH URANUS VULCAN VENUS - PLANET) (:INIT (CRAVES INTOXICATION LETTUCE) (EATS TUNA SCALLOP) (EATS LETTUCE BROCCOLI) (CRAVES DREAD-26 FLOUNDER) (CRAVES DEPRESSION-3 TOMATO) (HARMONY INTOXICATION URANUS) (HARMONY SATISFACTION VULCAN) (HARMONY CURIOSITY URANUS) (CRAVES SCIATICA-14 MARZIPAN) (HARMONY REST VENUS) (CRAVES PROSTATITIS-11 MARZIPAN) (CRAVES ABRASION-10 HAROSET) (CRAVES SCIATICA SWEETROLL) (LOCALE APPLE BAVARIA) (CRAVES BOILS BROCCOLI) (LOCALE BROCCOLI BAVARIA) (CRAVES SATIETY CANTELOPE) (CRAVES ANGER SWEETROLL) (CRAVES ABRASION-13 MARZIPAN) (ATTACKS BAVARIA ARIZONA) (LOCALE FLOUNDER BAVARIA) (EATS HAROSET APPLE) (EATS APPLE HAROSET) (EATS SCALLOP TUNA) (HARMONY ACHIEVEMENT VENUS) (EATS KALE APPLE) (EATS HAROSET CHICKEN) (EATS TUNA BROCCOLI) (CRAVES ANGER-32 HAROSET) (CRAVES ANGINA-8 TOMATO) (CRAVES HANGOVER-2 SCALLOP) (LOCALE TOMATO ARIZONA) (LOCALE LAMB MANITOBA) (EATS KALE TOMATO) (CRAVES UNDERSTANDING TUNA) (CRAVES REST TOMATO) (EATS BROCCOLI LETTUCE) (CRAVES CURIOSITY LAMB) (EATS SCALLOP LAMB) (LOCALE SCALLOP ARIZONA) (CRAVES ANXIETY-7 TOMATO) (CRAVES ABRASION TUNA) (LOCALE SWEETROLL ARIZONA) (CRAVES ANXIETY-23 CHICKEN) (CRAVES PROSTATITIS-24 CHICKEN) (CRAVES LONELINESS LETTUCE) (LOCALE TUNA BAVARIA) (EATS TOMATO LAMB) (EATS TOMATO KALE) (EATS APPLE KALE) (LOCALE LETTUCE MANITOBA) (EATS FLOUNDER MARZIPAN) (ORBITS VULCAN VENUS) (CRAVES ANXIETY SWEETROLL) (CRAVES ACHIEVEMENT SCALLOP) (EATS MARZIPAN FLOUNDER) (EATS LAMB TOMATO) (CRAVES HANGOVER-30 APPLE) (CRAVES ANGINA SWEETROLL) (EATS CANTELOPE TOMATO) (EATS CHICKEN HAROSET) (ORBITS EARTH URANUS) (EATS LAMB SCALLOP) (HARMONY ENTERTAINMENT VENUS) (CRAVES JEALOUSY-9 HAROSET) (EATS APPLE SWEETROLL) (CRAVES GRIEF LETTUCE) (EATS SWEETROLL APPLE) (ORBITS URANUS VULCAN) (EATS CANTELOPE LAMB) (LOCALE CANTELOPE MANITOBA) (CRAVES BOILS-28 FLOUNDER) (EATS TUNA SWEETROLL) (EATS SWEETROLL LETTUCE) (EATS SWEETROLL TUNA) (EATS FLOUNDER APPLE) (CRAVES LONELINESS-15 CANTELOPE) (CRAVES EXCITEMENT APPLE) (EATS BROCCOLI TUNA) (CRAVES DREAD LETTUCE) (CRAVES HANGOVER LAMB) (HARMONY EXCITEMENT URANUS) (LOCALE MARZIPAN MANITOBA) (CRAVES PROSTATITIS SCALLOP) (LOCALE HAROSET MANITOBA) (HARMONY LEARNING URANUS) (CRAVES ANGER-4 TOMATO) (EATS LETTUCE SWEETROLL) (CRAVES TRIUMPH MARZIPAN) (ATTACKS MANITOBA BAVARIA) (CRAVES LEARNING HAROSET) (CRAVES JEALOUSY LETTUCE) (EATS APPLE FLOUNDER) (CRAVES DEPRESSION-31 HAROSET) (CRAVES LONELINESS-22 CHICKEN) (CRAVES DREAD-12 MARZIPAN) (CRAVES LACERATION-16 CANTELOPE) (EATS SCALLOP KALE) (CRAVES DEPRESSION KALE) (HARMONY UNDERSTANDING VULCAN) (HARMONY TRIUMPH VULCAN) (EATS KALE SCALLOP) (CRAVES SATISFACTION KALE) (HARMONY SATIETY VENUS) (CRAVES BOILS-5 CANTELOPE) (EATS CHICKEN MARZIPAN) (LOCALE CHICKEN BAVARIA) (CRAVES GRIEF-29 APPLE) (CRAVES LACERATION BROCCOLI) (CRAVES GRIEF-6 CANTELOPE) (CRAVES ENTERTAINMENT CHICKEN) (EATS MARZIPAN CHICKEN) (CRAVES ANGINA-27 FLOUNDER) (EATS LAMB CANTELOPE) (CRAVES JEALOUSY-1 SCALLOP) (CRAVES LACERATION-25 CHICKEN) (LOCALE KALE MANITOBA) (EATS TOMATO CANTELOPE)) (:GOAL (AND (CRAVES JEALOUSY LAMB))))