(DEFINE (PROBLEM MYSTY-A-21) (:DOMAIN MYSTERY-TYPED) (:OBJECTS OKRA GUAVA LETTUCE SNICKERS LOBSTER MUFFIN PORK SHRIMP SWEETROLL HOTDOG HAMBURGER WONDERBREAD PEA LAMB CHICKEN - FOOD TRIUMPH EMPATHY CURIOSITY INTOXICATION - PLEASURE BOILS HANGOVER ANGER PROSTATITIS GRIEF LONELINESS DREAD JEALOUSY - PAIN GUANABARA PENNSYLVANIA ALSACE - PROVINCE NEPTUNE URANUS PLUTO - PLANET) (:INIT (EATS WONDERBREAD CHICKEN) (EATS HOTDOG LOBSTER) (EATS PEA WONDERBREAD) (ATTACKS PENNSYLVANIA ALSACE) (HARMONY CURIOSITY PLUTO) (CRAVES GRIEF MUFFIN) (EATS GUAVA OKRA) (EATS WONDERBREAD PEA) (EATS CHICKEN WONDERBREAD) (LOCALE HOTDOG ALSACE) (HARMONY TRIUMPH PLUTO) (EATS SWEETROLL MUFFIN) (EATS OKRA GUAVA) (EATS HOTDOG PORK) (EATS LOBSTER MUFFIN) (EATS SNICKERS PORK) (EATS LETTUCE GUAVA) (EATS OKRA SNICKERS) (LOCALE WONDERBREAD PENNSYLVANIA) (LOCALE PEA GUANABARA) (EATS LETTUCE SNICKERS) (LOCALE CHICKEN PENNSYLVANIA) (LOCALE SWEETROLL GUANABARA) (EATS HOTDOG PEA) (EATS HAMBURGER LAMB) (CRAVES INTOXICATION CHICKEN) (EATS LOBSTER HOTDOG) (LOCALE LOBSTER ALSACE) (EATS OKRA LETTUCE) (EATS MUFFIN LOBSTER) (CRAVES EMPATHY SHRIMP) (EATS LETTUCE OKRA) (HARMONY EMPATHY URANUS) (EATS MUFFIN SWEETROLL) (EATS LAMB CHICKEN) (EATS LAMB HAMBURGER) (CRAVES PROSTATITIS MUFFIN) (CRAVES CURIOSITY WONDERBREAD) (CRAVES HANGOVER MUFFIN) (CRAVES JEALOUSY CHICKEN) (CRAVES LONELINESS LAMB) (EATS PEA HOTDOG) (ORBITS NEPTUNE URANUS) (EATS SHRIMP SWEETROLL) (EATS PORK HOTDOG) (EATS SHRIMP PORK) (LOCALE OKRA PENNSYLVANIA) (LOCALE GUAVA ALSACE) (LOCALE PORK ALSACE) (LOCALE LAMB GUANABARA) (ATTACKS GUANABARA PENNSYLVANIA) (EATS PEA HAMBURGER) (LOCALE HAMBURGER GUANABARA) (EATS PORK SHRIMP) (EATS SNICKERS LETTUCE) (EATS PORK SNICKERS) (CRAVES DREAD LAMB) (LOCALE SHRIMP ALSACE) (ORBITS URANUS PLUTO) (LOCALE MUFFIN GUANABARA) (CRAVES TRIUMPH PORK) (LOCALE SNICKERS ALSACE) (EATS HAMBURGER PEA) (EATS SWEETROLL SHRIMP) (CRAVES ANGER MUFFIN) (EATS CHICKEN LAMB) (CRAVES BOILS MUFFIN) (HARMONY INTOXICATION PLUTO) (LOCALE LETTUCE ALSACE) (EATS GUAVA LETTUCE) (EATS SNICKERS OKRA)) (:GOAL (AND (CRAVES LONELINESS PEA))))