(DEFINE (PROBLEM MYSTY-A-12) (:DOMAIN MYSTERY-TYPED) (:OBJECTS TURKEY PEA RICE HAM MARZIPAN SCALLOP MUTTON TOFU PISTACHIO SHRIMP CUCUMBER ONION FLOUNDER - FOOD ACHIEVEMENT LOVE EXCITEMENT UNDERSTANDING LEARNING LUBRICITY INTOXICATION - PLEASURE ANXIETY GRIEF DEPRESSION BOILS LACERATION DREAD JEALOUSY PROSTATITIS LONELINESS ANGER HANGOVER HANGOVER-2 ABRASION SCIATICA ANGINA ANGER-3 ANGINA-4 DREAD-1 ANXIETY-8 LONELINESS-16 JEALOUSY-5 LACERATION-6 BOILS-7 DEPRESSION-12 ABRASION-13 GRIEF-14 SCIATICA-15 DREAD-10 PROSTATITIS-11 HANGOVER-31 ANGER-32 BOILS-9 GRIEF-27 JEALOUSY-28 ABRASION-29 ANGINA-30 LONELINESS-23 PROSTATITIS-24 ANXIETY-25 DEPRESSION-26 - PAIN PENNSYLVANIA ARIZONA OREGON - PROVINCE PLUTO MARS EARTH URANUS - PLANET) (:INIT (CRAVES ANGER HAM) (CRAVES ABRASION MARZIPAN) (EATS TOFU ONION) (CRAVES UNDERSTANDING PISTACHIO) (CRAVES ANGER-3 SCALLOP) (CRAVES BOILS-7 TOFU) (EATS HAM SCALLOP) (LOCALE MUTTON PENNSYLVANIA) (ORBITS MARS EARTH) (ORBITS PLUTO MARS) (EATS HAM MARZIPAN) (CRAVES DEPRESSION TURKEY) (ORBITS EARTH URANUS) (LOCALE MARZIPAN OREGON) (HARMONY LEARNING URANUS) (EATS SCALLOP PISTACHIO) (EATS SCALLOP FLOUNDER) (LOCALE ONION ARIZONA) (CRAVES HANGOVER HAM) (CRAVES LONELINESS-23 FLOUNDER) (HARMONY ACHIEVEMENT EARTH) (CRAVES INTOXICATION FLOUNDER) (EATS RICE TURKEY) (EATS SHRIMP PISTACHIO) (CRAVES HANGOVER-2 MARZIPAN) (EATS CUCUMBER SHRIMP) (EATS TOFU PISTACHIO) (CRAVES BOILS-9 CUCUMBER) (CRAVES ANXIETY-8 MUTTON) (CRAVES LOVE HAM) (EATS CUCUMBER TOFU) (CRAVES DREAD-1 SCALLOP) (EATS MUTTON TOFU) (CRAVES DEPRESSION-26 FLOUNDER) (EATS FLOUNDER SCALLOP) (EATS MUTTON PEA) (CRAVES LONELINESS HAM) (EATS PEA MARZIPAN) (LOCALE SCALLOP OREGON) (EATS TOFU MUTTON) (CRAVES ANGINA-4 SCALLOP) (CRAVES ANXIETY TURKEY) (HARMONY LOVE URANUS) (EATS PISTACHIO SHRIMP) (CRAVES PROSTATITIS-24 FLOUNDER) (EATS PISTACHIO SCALLOP) (LOCALE TURKEY PENNSYLVANIA) (HARMONY EXCITEMENT URANUS) (CRAVES LEARNING SHRIMP) (CRAVES JEALOUSY-28 ONION) (CRAVES ANGINA-30 ONION) (HARMONY LUBRICITY URANUS) (EATS ONION SCALLOP) (EATS PISTACHIO TOFU) (EATS SCALLOP ONION) (EATS PISTACHIO ONION) (LOCALE FLOUNDER ARIZONA) (CRAVES ANGER-32 CUCUMBER) (CRAVES SCIATICA MARZIPAN) (EATS TOFU CUCUMBER) (EATS PISTACHIO FLOUNDER) (CRAVES LACERATION-6 TOFU) (EATS PEA TURKEY) (EATS SHRIMP FLOUNDER) (EATS PEA MUTTON) (CRAVES DREAD PEA) (LOCALE RICE PENNSYLVANIA) (LOCALE HAM PENNSYLVANIA) (LOCALE CUCUMBER OREGON) (CRAVES JEALOUSY PEA) (HARMONY UNDERSTANDING EARTH) (CRAVES DREAD-10 SHRIMP) (EATS TURKEY PEA) (CRAVES ANGINA MARZIPAN) (CRAVES PROSTATITIS-11 SHRIMP) (CRAVES JEALOUSY-5 TOFU) (EATS SCALLOP HAM) (HARMONY INTOXICATION URANUS) (EATS MARZIPAN HAM) (EATS FLOUNDER SHRIMP) (EATS SHRIMP MUTTON) (CRAVES DEPRESSION-12 PISTACHIO) (CRAVES GRIEF-14 PISTACHIO) (EATS TURKEY RICE) (CRAVES EXCITEMENT TOFU) (LOCALE SHRIMP OREGON) (EATS FLOUNDER PISTACHIO) (CRAVES PROSTATITIS RICE) (ATTACKS ARIZONA OREGON) (EATS RICE HAM) (LOCALE PEA OREGON) (EATS SHRIMP CUCUMBER) (CRAVES GRIEF-27 ONION) (CRAVES LUBRICITY CUCUMBER) (CRAVES BOILS TURKEY) (CRAVES ABRASION-13 PISTACHIO) (CRAVES ACHIEVEMENT PEA) (CRAVES LACERATION PEA) (CRAVES HANGOVER-31 CUCUMBER) (EATS MARZIPAN PEA) (LOCALE TOFU PENNSYLVANIA) (CRAVES SCIATICA-15 PISTACHIO) (EATS HAM RICE) (CRAVES LONELINESS-16 TOFU) (CRAVES ABRASION-29 ONION) (CRAVES GRIEF TURKEY) (EATS ONION TOFU) (CRAVES ANXIETY-25 FLOUNDER) (LOCALE PISTACHIO PENNSYLVANIA) (EATS ONION PISTACHIO) (EATS MUTTON SHRIMP) (ATTACKS PENNSYLVANIA ARIZONA)) (:GOAL (AND (CRAVES ANXIETY-25 FLOUNDER))))