(DEFINE (PROBLEM MYSTY-A-10) (:DOMAIN MYSTERY-TYPED) (:OBJECTS LEMON YOGURT OKRA CHOCOLATE - FOOD LEARNING CURIOSITY LOVE - PLEASURE ANXIETY DREAD SCIATICA LONELINESS BOILS GRIEF ANGINA ABRASION - PAIN BAVARIA QUEBEC - PROVINCE SATURN MERCURY JUPITER VULCAN - PLANET) (:INIT (CRAVES CURIOSITY OKRA) (EATS LEMON CHOCOLATE) (LOCALE OKRA BAVARIA) (HARMONY CURIOSITY JUPITER) (CRAVES LOVE CHOCOLATE) (EATS OKRA CHOCOLATE) (CRAVES ANXIETY YOGURT) (EATS YOGURT OKRA) (LOCALE LEMON QUEBEC) (ORBITS SATURN MERCURY) (ORBITS MERCURY JUPITER) (EATS CHOCOLATE LEMON) (LOCALE CHOCOLATE QUEBEC) (CRAVES DREAD YOGURT) (CRAVES BOILS YOGURT) (HARMONY LOVE VULCAN) (LOCALE YOGURT QUEBEC) (ATTACKS BAVARIA QUEBEC) (ORBITS JUPITER VULCAN) (CRAVES ABRASION OKRA) (CRAVES SCIATICA YOGURT) (CRAVES GRIEF OKRA) (EATS OKRA YOGURT) (EATS LEMON YOGURT) (HARMONY LEARNING JUPITER) (EATS YOGURT LEMON) (CRAVES ANGINA OKRA) (CRAVES LEARNING LEMON) (EATS CHOCOLATE OKRA) (CRAVES LONELINESS YOGURT)) (:GOAL (AND (CRAVES BOILS CHOCOLATE))))