(DEFINE (PROBLEM MYSTY-A-6) (:DOMAIN MYSTERY-TYPED) (:OBJECTS ONION FLOUNDER MUTTON TURKEY BAGUETTE CHOCOLATE MUFFIN PEAR CUCUMBER OKRA ENDIVE WONDERBREAD GRAPEFRUIT SHRIMP HAROSET BEEF ORANGE - FOOD CURIOSITY STIMULATION EXPECTATION LEARNING LUBRICITY ENTERTAINMENT SATISFACTION UNDERSTANDING LOVE - PLEASURE HANGOVER GRIEF DEPRESSION ANGER ABRASION ANGINA PROSTATITIS LACERATION DREAD - PAIN ARIZONA PENNSYLVANIA BAVARIA - PROVINCE JUPITER VULCAN EARTH MARS - PLANET) (:INIT (LOCALE FLOUNDER PENNSYLVANIA) (CRAVES ANGINA OKRA) (EATS ENDIVE SHRIMP) (EATS MUFFIN CHOCOLATE) (LOCALE SHRIMP PENNSYLVANIA) (EATS WONDERBREAD ENDIVE) (CRAVES DEPRESSION CHOCOLATE) (CRAVES PROSTATITIS ENDIVE) (EATS TURKEY MUTTON) (HARMONY LEARNING MARS) (EATS ORANGE SHRIMP) (EATS BAGUETTE CUCUMBER) (ATTACKS ARIZONA PENNSYLVANIA) (EATS OKRA MUFFIN) (CRAVES SATISFACTION WONDERBREAD) (ORBITS JUPITER VULCAN) (EATS WONDERBREAD ORANGE) (EATS HAROSET BEEF) (CRAVES EXPECTATION TURKEY) (EATS CHOCOLATE GRAPEFRUIT) (EATS MUTTON FLOUNDER) (LOCALE GRAPEFRUIT ARIZONA) (EATS SHRIMP ORANGE) (EATS ENDIVE GRAPEFRUIT) (CRAVES GRIEF TURKEY) (CRAVES ANGER PEAR) (LOCALE TURKEY ARIZONA) (EATS PEAR CHOCOLATE) (EATS CUCUMBER PEAR) (EATS PEAR CUCUMBER) (CRAVES UNDERSTANDING HAROSET) (EATS ONION TURKEY) (EATS BEEF HAROSET) (LOCALE HAROSET PENNSYLVANIA) (EATS ORANGE WONDERBREAD) (EATS WONDERBREAD BEEF) (EATS CHOCOLATE PEAR) (HARMONY SATISFACTION MARS) (EATS BEEF WONDERBREAD) (CRAVES DREAD HAROSET) (LOCALE MUTTON BAVARIA) (EATS FLOUNDER MUTTON) (EATS GRAPEFRUIT CHOCOLATE) (LOCALE MUFFIN BAVARIA) (EATS OKRA BAGUETTE) (EATS GRAPEFRUIT ENDIVE) (EATS ENDIVE WONDERBREAD) (LOCALE OKRA PENNSYLVANIA) (LOCALE ENDIVE ARIZONA) (EATS BAGUETTE OKRA) (HARMONY CURIOSITY VULCAN) (LOCALE CHOCOLATE ARIZONA) (CRAVES LEARNING BAGUETTE) (EATS FLOUNDER ONION) (HARMONY STIMULATION MARS) (LOCALE WONDERBREAD BAVARIA) (EATS CHOCOLATE MUFFIN) (EATS SHRIMP GRAPEFRUIT) (EATS SHRIMP WONDERBREAD) (EATS BAGUETTE MUTTON) (CRAVES LUBRICITY CHOCOLATE) (LOCALE ORANGE BAVARIA) (CRAVES ABRASION CUCUMBER) (EATS WONDERBREAD SHRIMP) (ORBITS VULCAN EARTH) (HARMONY EXPECTATION EARTH) (EATS ONION FLOUNDER) (LOCALE CUCUMBER ARIZONA) (ATTACKS PENNSYLVANIA BAVARIA) (HARMONY ENTERTAINMENT VULCAN) (EATS MUTTON BAGUETTE) (CRAVES LOVE ORANGE) (HARMONY UNDERSTANDING VULCAN) (CRAVES CURIOSITY ONION) (HARMONY LUBRICITY VULCAN) (ORBITS EARTH MARS) (EATS HAROSET GRAPEFRUIT) (EATS TURKEY ONION) (EATS MUTTON TURKEY) (LOCALE BAGUETTE PENNSYLVANIA) (HARMONY LOVE EARTH) (LOCALE PEAR BAVARIA) (LOCALE BEEF PENNSYLVANIA) (EATS GRAPEFRUIT SHRIMP) (CRAVES ENTERTAINMENT MUFFIN) (CRAVES STIMULATION MUTTON) (CRAVES HANGOVER MUTTON) (LOCALE ONION ARIZONA) (EATS CUCUMBER BAGUETTE) (EATS MUFFIN OKRA) (CRAVES LACERATION SHRIMP) (EATS SHRIMP ENDIVE) (EATS GRAPEFRUIT HAROSET)) (:GOAL (AND (CRAVES ANGER SHRIMP))))