(DEFINE (PROBLEM MYSTY-37) (:DOMAIN MYSTERY-TYPED) (:OBJECTS HAROSET KALE LETTUCE TOMATO SHRIMP HOTDOG LEMON BROCCOLI TUNA TOFU HAM SWEETROLL BACON BEEF SCALLOP MARZIPAN CUCUMBER WONDERBREAD FLOUNDER - FOOD SATISFACTION INTOXICATION LUBRICITY EMPATHY AESTHETICS CURIOSITY EXPECTATION STIMULATION ENTERTAINMENT - PLEASURE ANGINA DEPRESSION HANGOVER ANGER JEALOUSY PROSTATITIS GRIEF DREAD LACERATION SCIATICA ABRASION ANXIETY BOILS ANXIETY-2 LONELINESS ANGINA-4 HANGOVER-1 ANGER-8 LACERATION-3 SCIATICA-7 JEALOUSY-6 PROSTATITIS-15 DREAD-16 ABRASION-5 - PAIN ARIZONA MANITOBA GUANABARA ALSACE - PROVINCE URANUS JUPITER PLUTO VULCAN - PLANET) (:INIT (HARMONY SATISFACTION JUPITER) (EATS TOFU SCALLOP) (EATS SWEETROLL MARZIPAN) (EATS WONDERBREAD KALE) (HARMONY ENTERTAINMENT JUPITER) (EATS BACON HOTDOG) (CRAVES ANGINA-4 HAM) (CRAVES INTOXICATION SHRIMP) (CRAVES CURIOSITY BEEF) (LOCALE SCALLOP ARIZONA) (LOCALE BEEF ARIZONA) (LOCALE BACON MANITOBA) (LOCALE FLOUNDER ARIZONA) (ATTACKS MANITOBA GUANABARA) (HARMONY INTOXICATION JUPITER) (EATS BROCCOLI MARZIPAN) (LOCALE TUNA ALSACE) (EATS KALE WONDERBREAD) (CRAVES LACERATION-3 SWEETROLL) (CRAVES EMPATHY BROCCOLI) (CRAVES ENTERTAINMENT WONDERBREAD) (EATS TUNA FLOUNDER) (HARMONY AESTHETICS PLUTO) (CRAVES BOILS HOTDOG) (LOCALE LEMON ARIZONA) (LOCALE KALE ARIZONA) (CRAVES STIMULATION MARZIPAN) (EATS TOMATO HAROSET) (LOCALE BROCCOLI ARIZONA) (EATS BROCCOLI TOFU) (CRAVES ANGER-8 SWEETROLL) (EATS HAROSET TOMATO) (EATS HAROSET TOFU) (CRAVES LACERATION SHRIMP) (EATS WONDERBREAD CUCUMBER) (CRAVES PROSTATITIS-15 WONDERBREAD) (HARMONY EMPATHY PLUTO) (CRAVES GRIEF TOMATO) (EATS HOTDOG HAM) (EATS WONDERBREAD HAROSET) (HARMONY CURIOSITY JUPITER) (CRAVES ANGINA KALE) (EATS TOMATO LEMON) (CRAVES EXPECTATION SCALLOP) (CRAVES PROSTATITIS TOMATO) (CRAVES JEALOUSY-6 SCALLOP) (LOCALE SHRIMP GUANABARA) (EATS MARZIPAN BROCCOLI) (EATS WONDERBREAD SHRIMP) (ORBITS PLUTO VULCAN) (EATS KALE LEMON) (EATS FLOUNDER MARZIPAN) (HARMONY LUBRICITY VULCAN) (CRAVES HANGOVER-1 HAM) (EATS HOTDOG LEMON) (LOCALE LETTUCE MANITOBA) (ORBITS URANUS JUPITER) (LOCALE SWEETROLL ARIZONA) (EATS HAM HOTDOG) (EATS LEMON HOTDOG) (CRAVES SCIATICA HOTDOG) (EATS HAM WONDERBREAD) (CRAVES LONELINESS BROCCOLI) (CRAVES AESTHETICS BACON) (EATS HAROSET WONDERBREAD) (EATS HAM BACON) (CRAVES ABRASION-5 WONDERBREAD) (CRAVES JEALOUSY TOMATO) (LOCALE HOTDOG ALSACE) (EATS BEEF CUCUMBER) (EATS LEMON KALE) (EATS SWEETROLL LETTUCE) (CRAVES SCIATICA-7 BACON) (EATS SCALLOP SHRIMP) (CRAVES LUBRICITY LEMON) (CRAVES SATISFACTION LETTUCE) (EATS BACON HAM) (CRAVES DREAD-16 WONDERBREAD) (EATS BACON LETTUCE) (EATS SCALLOP TOFU) (CRAVES HANGOVER KALE) (EATS TOFU HAROSET) (EATS CUCUMBER BEEF) (EATS WONDERBREAD BEEF) (LOCALE CUCUMBER ARIZONA) (CRAVES DEPRESSION KALE) (LOCALE TOFU ARIZONA) (CRAVES DREAD SHRIMP) (CRAVES ANXIETY-2 BROCCOLI) (EATS MARZIPAN FLOUNDER) (HARMONY EXPECTATION VULCAN) (EATS SHRIMP WONDERBREAD) (EATS BEEF SCALLOP) (EATS LETTUCE BACON) (CRAVES ANGER KALE) (LOCALE MARZIPAN ARIZONA) (CRAVES ABRASION HOTDOG) (HARMONY STIMULATION VULCAN) (EATS LEMON TOMATO) (EATS TOFU BROCCOLI) (EATS SCALLOP BEEF) (EATS MARZIPAN SWEETROLL) (CRAVES ANXIETY HOTDOG) (LOCALE HAM MANITOBA) (LOCALE TOMATO ARIZONA) (ATTACKS GUANABARA ALSACE) (EATS LETTUCE SWEETROLL) (LOCALE WONDERBREAD GUANABARA) (EATS FLOUNDER TUNA) (EATS HOTDOG BACON) (EATS WONDERBREAD HAM) (EATS BEEF WONDERBREAD) (EATS TUNA HAM) (EATS CUCUMBER WONDERBREAD) (ATTACKS ARIZONA MANITOBA) (LOCALE HAROSET ARIZONA) (EATS SHRIMP SCALLOP) (EATS HAM TUNA) (ORBITS JUPITER PLUTO)) (:GOAL (AND (CRAVES PROSTATITIS-15 MARZIPAN) (CRAVES DREAD-16 KALE) (CRAVES LACERATION HAM) (CRAVES LACERATION-3 LEMON) (CRAVES PROSTATITIS SHRIMP) (CRAVES JEALOUSY TOMATO) (CRAVES ANXIETY BACON) (CRAVES ANXIETY-2 TOFU) (CRAVES GRIEF WONDERBREAD) (CRAVES JEALOUSY-6 TOMATO))))