(DEFINE (PROBLEM MYSTY-A-1) (:DOMAIN MYSTERY-TYPED) (:OBJECTS HAM WONDERBREAD LETTUCE SNICKERS MUFFIN BEEF COD SWEETROLL LAMB SCALLION KALE PORK CHICKEN SHRIMP - FOOD ACHIEVEMENT INTOXICATION UNDERSTANDING - PLEASURE SCIATICA GRIEF ANXIETY DREAD ANGINA ABRASION PROSTATITIS - PAIN GOIAS ARIZONA - PROVINCE SATURN MARS NEPTUNE - PLANET) (:INIT (EATS MUFFIN WONDERBREAD) (EATS SWEETROLL HAM) (EATS CHICKEN SHRIMP) (HARMONY ACHIEVEMENT MARS) (EATS SWEETROLL COD) (EATS WONDERBREAD MUFFIN) (LOCALE KALE GOIAS) (EATS SWEETROLL LAMB) (LOCALE LETTUCE GOIAS) (CRAVES ANGINA LAMB) (EATS LETTUCE SNICKERS) (EATS HAM SWEETROLL) (LOCALE HAM GOIAS) (CRAVES GRIEF MUFFIN) (LOCALE BEEF GOIAS) (EATS CHICKEN PORK) (LOCALE SCALLION ARIZONA) (EATS SHRIMP LAMB) (EATS BEEF LAMB) (LOCALE COD ARIZONA) (EATS WONDERBREAD LETTUCE) (LOCALE SWEETROLL GOIAS) (HARMONY UNDERSTANDING MARS) (ORBITS SATURN MARS) (EATS SCALLION KALE) (EATS LAMB SHRIMP) (EATS LAMB BEEF) (ORBITS MARS NEPTUNE) (LOCALE PORK GOIAS) (LOCALE SHRIMP GOIAS) (CRAVES ABRASION LAMB) (CRAVES INTOXICATION CHICKEN) (EATS BEEF COD) (EATS PORK CHICKEN) (CRAVES DREAD LAMB) (LOCALE SNICKERS ARIZONA) (EATS HAM MUFFIN) (EATS COD BEEF) (EATS SNICKERS LETTUCE) (EATS PORK KALE) (EATS KALE SCALLION) (CRAVES UNDERSTANDING SHRIMP) (EATS SCALLION SHRIMP) (LOCALE LAMB GOIAS) (EATS LETTUCE WONDERBREAD) (EATS MUFFIN HAM) (EATS SNICKERS HAM) (CRAVES SCIATICA MUFFIN) (CRAVES ACHIEVEMENT HAM) (EATS KALE PORK) (ATTACKS GOIAS ARIZONA) (EATS SHRIMP CHICKEN) (EATS COD SWEETROLL) (CRAVES ANXIETY MUFFIN) (CRAVES PROSTATITIS PORK) (HARMONY INTOXICATION NEPTUNE) (LOCALE WONDERBREAD GOIAS) (LOCALE CHICKEN ARIZONA) (EATS SHRIMP SCALLION) (EATS HAM SNICKERS) (EATS LAMB SWEETROLL) (LOCALE MUFFIN ARIZONA)) (:GOAL (AND (CRAVES PROSTATITIS SNICKERS))))