(DEFINE (PROBLEM MYSTY-4) (:DOMAIN MYSTERY-TYPED) (:OBJECTS POTATO BACON SNICKERS SWEETROLL COD PEPPER KALE MARZIPAN CUCUMBER PEAR OKRA SCALLOP TURKEY WURST PEA - FOOD STIMULATION REST CURIOSITY EXCITEMENT UNDERSTANDING EXPECTATION TRIUMPH - PLEASURE SCIATICA ABRASION LONELINESS PROSTATITIS GRIEF DEPRESSION HANGOVER DREAD JEALOUSY ANGINA ANGER BOILS - PAIN QUEBEC SURREY ALSACE MORAVIA - PROVINCE MARS NEPTUNE JUPITER URANUS - PLANET) (:INIT (EATS PEA COD) (CRAVES EXCITEMENT CUCUMBER) (EATS BACON SNICKERS) (EATS PEAR SCALLOP) (CRAVES DEPRESSION CUCUMBER) (HARMONY CURIOSITY URANUS) (CRAVES CURIOSITY COD) (CRAVES UNDERSTANDING PEAR) (LOCALE BACON QUEBEC) (EATS PEPPER KALE) (LOCALE PEA MORAVIA) (CRAVES ANGINA PEAR) (CRAVES SCIATICA SWEETROLL) (EATS BACON POTATO) (CRAVES REST SNICKERS) (HARMONY UNDERSTANDING URANUS) (LOCALE SCALLOP SURREY) (LOCALE SWEETROLL SURREY) (CRAVES ANGER PEA) (EATS TURKEY WURST) (ORBITS MARS NEPTUNE) (LOCALE COD MORAVIA) (LOCALE WURST ALSACE) (HARMONY TRIUMPH JUPITER) (LOCALE CUCUMBER QUEBEC) (EATS PEA SCALLOP) (EATS SWEETROLL POTATO) (CRAVES DREAD CUCUMBER) (EATS SNICKERS SWEETROLL) (LOCALE MARZIPAN SURREY) (EATS SCALLOP PEA) (LOCALE SNICKERS MORAVIA) (CRAVES LONELINESS PEPPER) (CRAVES EXPECTATION WURST) (EATS WURST SCALLOP) (HARMONY EXCITEMENT JUPITER) (EATS PEPPER BACON) (EATS MARZIPAN COD) (EATS SNICKERS BACON) (LOCALE OKRA QUEBEC) (EATS KALE PEPPER) (EATS POTATO BACON) (HARMONY STIMULATION JUPITER) (EATS PEAR CUCUMBER) (EATS OKRA CUCUMBER) (EATS CUCUMBER PEAR) (LOCALE KALE ALSACE) (EATS TURKEY OKRA) (CRAVES BOILS PEA) (CRAVES HANGOVER CUCUMBER) (CRAVES GRIEF KALE) (EATS MARZIPAN KALE) (CRAVES TRIUMPH PEA) (EATS WURST TURKEY) (LOCALE PEAR QUEBEC) (LOCALE PEPPER SURREY) (ATTACKS QUEBEC SURREY) (HARMONY REST URANUS) (EATS BACON PEPPER) (HARMONY EXPECTATION JUPITER) (EATS COD MARZIPAN) (EATS SCALLOP PEAR) (EATS CUCUMBER OKRA) (EATS PEA WURST) (ATTACKS SURREY ALSACE) (ORBITS NEPTUNE JUPITER) (ATTACKS ALSACE MORAVIA) (EATS OKRA TURKEY) (EATS PEPPER COD) (EATS COD PEA) (LOCALE POTATO SURREY) (CRAVES ABRASION PEPPER) (EATS WURST PEA) (CRAVES PROSTATITIS PEPPER) (EATS POTATO SWEETROLL) (LOCALE TURKEY QUEBEC) (EATS COD PEPPER) (CRAVES STIMULATION POTATO) (CRAVES JEALOUSY PEAR) (ORBITS JUPITER URANUS) (EATS SWEETROLL SNICKERS) (EATS SCALLOP WURST) (EATS KALE MARZIPAN)) (:GOAL (AND (CRAVES ANGINA CUCUMBER))))