(DEFINE (PROBLEM MYSTY-21) (:DOMAIN MYSTERY-TYPED) (:OBJECTS PAPAYA GRAPEFRUIT CHOCOLATE TURKEY LAMB ENDIVE TOMATO SWEETROLL BEEF BAGUETTE COD HAMBURGER HAM WURST POTATO TUNA APPLE PEPPER LETTUCE WONDERBREAD CHICKEN BROCCOLI LEMON MELON ONION POPOVER MARZIPAN HOTDOG FLOUNDER PISTACHIO KALE CHERRY PORK MUTTON SCALLOP RICE LOBSTER MUFFIN GUAVA PEA YOGURT - FOOD EXPECTATION LUBRICITY CURIOSITY LOVE AESTHETICS INTOXICATION ENTERTAINMENT ACHIEVEMENT UNDERSTANDING SATISFACTION LEARNING - PLEASURE SCIATICA HANGOVER ABRASION ANGER DREAD GRIEF JEALOUSY PROSTATITIS BOILS DEPRESSION LONELINESS LACERATION ANGINA JEALOUSY-2 ANXIETY GRIEF-4 BOILS-1 SCIATICA-3 LACERATION-7 LONELINESS-8 HANGOVER-6 ANXIETY-16 DEPRESSION-5 PROSTATITIS-13 ANGER-14 ANGINA-15 ABRASION-11 DREAD-12 - PAIN PENNSYLVANIA GUANABARA ARIZONA MANITOBA BOSNIA BAVARIA - PROVINCE SATURN NEPTUNE VULCAN VENUS - PLANET) (:INIT (EATS GUAVA POPOVER) (EATS TUNA YOGURT) (EATS LETTUCE KALE) (LOCALE ENDIVE GUANABARA) (EATS PAPAYA BAGUETTE) (EATS RICE APPLE) (EATS APPLE RICE) (EATS ONION PORK) (LOCALE LETTUCE PENNSYLVANIA) (EATS BROCCOLI FLOUNDER) (EATS BROCCOLI GUAVA) (EATS POPOVER WURST) (EATS MUFFIN LOBSTER) (CRAVES ACHIEVEMENT CHERRY) (EATS YOGURT PISTACHIO) (EATS LOBSTER PISTACHIO) (EATS CHERRY FLOUNDER) (EATS PISTACHIO SCALLOP) (LOCALE POPOVER MANITOBA) (EATS YOGURT RICE) (ORBITS SATURN NEPTUNE) (EATS KALE PEA) (CRAVES PROSTATITIS COD) (EATS SCALLOP MARZIPAN) (CRAVES DEPRESSION HAMBURGER) (EATS WONDERBREAD CHICKEN) (CRAVES AESTHETICS MELON) (HARMONY LEARNING VULCAN) (LOCALE CHICKEN GUANABARA) (HARMONY INTOXICATION VENUS) (LOCALE HOTDOG PENNSYLVANIA) (EATS TURKEY LAMB) (EATS MUTTON FLOUNDER) (EATS ONION LEMON) (EATS HAM HAMBURGER) (EATS ENDIVE LAMB) (EATS SCALLOP LOBSTER) (LOCALE FLOUNDER GUANABARA) (ORBITS VULCAN VENUS) (CRAVES ANXIETY WURST) (EATS PEA KALE) (EATS MUFFIN FLOUNDER) (EATS PEPPER MUTTON) (EATS GUAVA BROCCOLI) (EATS RICE YOGURT) (EATS HAM WURST) (CRAVES JEALOUSY-2 WURST) (LOCALE PORK ARIZONA) (EATS PEPPER LOBSTER) (EATS COD HAMBURGER) (EATS PEA GUAVA) (EATS GRAPEFRUIT LAMB) (EATS KALE MUTTON) (CRAVES SATISFACTION MUFFIN) (LOCALE HAMBURGER MANITOBA) (EATS CHICKEN WONDERBREAD) (EATS PORK MARZIPAN) (HARMONY UNDERSTANDING VENUS) (EATS HOTDOG CHERRY) (EATS KALE PORK) (EATS POPOVER KALE) (ATTACKS GUANABARA ARIZONA) (LOCALE LAMB ARIZONA) (EATS LAMB SWEETROLL) (LOCALE MELON PENNSYLVANIA) (ATTACKS MANITOBA BOSNIA) (EATS TOMATO PAPAYA) (EATS LETTUCE CHICKEN) (EATS ONION SCALLOP) (EATS HAMBURGER HAM) (CRAVES LONELINESS HAMBURGER) (EATS GUAVA PEA) (EATS LEMON YOGURT) (EATS BAGUETTE ENDIVE) (CRAVES LOVE CHICKEN) (LOCALE GUAVA ARIZONA) (EATS SCALLOP TUNA) (EATS ENDIVE BAGUETTE) (CRAVES ABRASION SWEETROLL) (EATS PORK ONION) (LOCALE CHOCOLATE BAVARIA) (HARMONY LOVE NEPTUNE) (CRAVES LONELINESS-8 MELON) (EATS MARZIPAN ONION) (EATS KALE LETTUCE) (EATS LETTUCE MUTTON) (LOCALE PAPAYA MANITOBA) (CRAVES GRIEF BAGUETTE) (EATS BEEF TURKEY) (LOCALE POTATO PENNSYLVANIA) (CRAVES SCIATICA-3 PEPPER) (CRAVES ANGER-14 CHERRY) (CRAVES DEPRESSION-5 PISTACHIO) (EATS TURKEY LOBSTER) (EATS WURST POPOVER) (EATS LAMB BEEF) (ATTACKS BOSNIA BAVARIA) (EATS SCALLOP ONION) (EATS MUTTON LETTUCE) (EATS CHICKEN LETTUCE) (CRAVES HANGOVER TURKEY) (EATS GRAPEFRUIT CHOCOLATE) (EATS HAMBURGER COD) (ORBITS NEPTUNE VULCAN) (LOCALE WONDERBREAD BOSNIA) (HARMONY LUBRICITY VENUS) (EATS ENDIVE TURKEY) (LOCALE BEEF GUANABARA) (LOCALE MARZIPAN PENNSYLVANIA) (EATS LEMON ONION) (CRAVES PROSTATITIS-13 CHERRY) (EATS COD BEEF) (LOCALE LEMON GUANABARA) (CRAVES LACERATION HAM) (HARMONY CURIOSITY NEPTUNE) (EATS ONION MARZIPAN) (CRAVES LUBRICITY PEPPER) (EATS WONDERBREAD SCALLOP) (EATS GUAVA HOTDOG) (LOCALE RICE ARIZONA) (CRAVES DREAD-12 MUTTON) (LOCALE SWEETROLL PENNSYLVANIA) (EATS SWEETROLL BEEF) (EATS LOBSTER MUFFIN) (EATS WURST POTATO) (CRAVES BOILS-1 TUNA) (EATS KALE HOTDOG) (EATS PORK KALE) (EATS MARZIPAN SCALLOP) (EATS FLOUNDER CHERRY) (LOCALE ONION PENNSYLVANIA) (EATS LOBSTER SCALLOP) (LOCALE CHERRY GUANABARA) (EATS PEA POPOVER) (EATS PISTACHIO LOBSTER) (HARMONY ENTERTAINMENT VULCAN) (CRAVES ANGER SWEETROLL) (ATTACKS ARIZONA MANITOBA) (EATS APPLE ONION) (EATS BEEF COD) (EATS MELON PEA) (EATS LAMB GRAPEFRUIT) (EATS POTATO COD) (CRAVES ENTERTAINMENT HOTDOG) (LOCALE SCALLOP PENNSYLVANIA) (CRAVES EXPECTATION ENDIVE) (LOCALE BROCCOLI MANITOBA) (EATS CHOCOLATE TOMATO) (LOCALE GRAPEFRUIT GUANABARA) (EATS FLOUNDER BROCCOLI) (CRAVES ABRASION-11 MUTTON) (CRAVES BOILS HAMBURGER) (EATS CHERRY HOTDOG) (EATS RICE MELON) (LOCALE PEPPER ARIZONA) (LOCALE TOMATO MANITOBA) (CRAVES INTOXICATION ONION) (EATS SCALLOP WONDERBREAD) (EATS BEEF LAMB) (LOCALE KALE MANITOBA) (LOCALE PEA ARIZONA) (LOCALE WURST GUANABARA) (EATS SCALLOP MUTTON) (EATS YOGURT LEMON) (HARMONY SATISFACTION NEPTUNE) (CRAVES SCIATICA TURKEY) (EATS POPOVER GUAVA) (EATS YOGURT TUNA) (EATS TOMATO CHOCOLATE) (EATS MUTTON PEPPER) (CRAVES GRIEF-4 TUNA) (EATS ONION APPLE) (LOCALE MUFFIN PENNSYLVANIA) (EATS FLOUNDER MUTTON) (CRAVES CURIOSITY WONDERBREAD) (CRAVES LEARNING GUAVA) (EATS HOTDOG GUAVA) (EATS LOBSTER PEPPER) (EATS BEEF SWEETROLL) (LOCALE COD PENNSYLVANIA) (HARMONY EXPECTATION NEPTUNE) (EATS SWEETROLL LAMB) (CRAVES DREAD SWEETROLL) (LOCALE LOBSTER PENNSYLVANIA) (CRAVES LACERATION-7 MELON) (EATS LAMB ENDIVE) (LOCALE HAM GUANABARA) (EATS MELON RICE) (LOCALE YOGURT BOSNIA) (EATS TURKEY ENDIVE) (EATS MUTTON CHERRY) (EATS PAPAYA TOMATO) (EATS KALE POPOVER) (EATS CHERRY MUTTON) (HARMONY ACHIEVEMENT VENUS) (EATS CHOCOLATE GRAPEFRUIT) (LOCALE BAGUETTE GUANABARA) (EATS POPOVER PEA) (LOCALE TUNA MANITOBA) (EATS LOBSTER TURKEY) (EATS PORK RICE) (CRAVES ANGINA-15 CHERRY) (EATS WURST HAM) (EATS BAGUETTE PAPAYA) (EATS MUTTON KALE) (EATS HOTDOG KALE) (LOCALE MUTTON BOSNIA) (EATS PISTACHIO YOGURT) (LOCALE TURKEY GUANABARA) (EATS TURKEY BEEF) (EATS POTATO WURST) (CRAVES ANXIETY-16 PISTACHIO) (EATS LAMB TURKEY) (EATS FLOUNDER MUFFIN) (EATS TUNA SCALLOP) (EATS COD POTATO) (CRAVES JEALOUSY BAGUETTE) (EATS RICE PORK) (LOCALE PISTACHIO ARIZONA) (LOCALE APPLE PENNSYLVANIA) (EATS PEA MELON) (CRAVES UNDERSTANDING LOBSTER) (EATS MARZIPAN PORK) (CRAVES HANGOVER-6 ONION) (CRAVES ANGINA HAM) (EATS MUTTON SCALLOP) (EATS SCALLOP PISTACHIO) (ATTACKS PENNSYLVANIA GUANABARA) (HARMONY AESTHETICS VULCAN)) (:GOAL (AND (CRAVES ANXIETY BEEF) (CRAVES JEALOUSY-2 BEEF))))