(DEFINE (PROBLEM MYSTY-20) (:DOMAIN MYSTERY-TYPED) (:OBJECTS POTATO-12 HAMBURGER-13 HAROSET-14 WURST-15 CHERRY-7 POPOVER-6 BEEF-5 CHICKEN-16 GRAPEFRUIT-8 MUFFIN-3 RICE-4 MARZIPAN-1 MELON-2 TUNA MELON PORK KALE CHOCOLATE SHRIMP GRAPEFRUIT PEPPER BROCCOLI CANTELOPE PEA HAM BAGUETTE FLOUNDER COD APPLE TOMATO GUAVA CHERRY LAMB YOGURT MUTTON PISTACHIO LEMON SCALLION LETTUCE SNICKERS TURKEY WONDERBREAD HOTDOG PAPAYA POTATO MARZIPAN RICE PEAR HAMBURGER HAROSET SWEETROLL TOFU OKRA ORANGE SCALLOP WURST ONION BEEF ARUGULA MUFFIN LOBSTER BACON CHICKEN CUCUMBER ENDIVE POPOVER - FOOD AESTHETICS ACHIEVEMENT LUBRICITY EXCITEMENT EXPECTATION UNDERSTANDING STIMULATION TRIUMPH REST SATISFACTION INTOXICATION LOVE SATIETY EMPATHY LEARNING ENTERTAINMENT CURIOSITY ACHIEVEMENT-11 EXPECTATION-10 INTOXICATION-9 EXCITEMENT-32 ENTERTAINMENT-31 LEARNING-30 LOVE-29 REST-28 - PLEASURE SCIATICA BOILS LACERATION DREAD ANGER LONELINESS HANGOVER JEALOUSY GRIEF ANGINA PROSTATITIS ANXIETY DEPRESSION ABRASION LONELINESS-24 PROSTATITIS-25 DREAD-26 BOILS-27 ANGINA-23 DEPRESSION-22 ANGER-20 SCIATICA-21 GRIEF-19 LACERATION-63 HANGOVER-64 ANXIETY-17 ABRASION-18 HANGOVER-59 GRIEF-60 BOILS-61 JEALOUSY-62 ANXIETY-57 DEPRESSION-58 LONELINESS-53 PROSTATITIS-54 ABRASION-55 DREAD-56 SCIATICA-51 ANGINA-52 SCIATICA-47 JEALOUSY-48 LACERATION-49 ANGER-50 - PAIN GUANABARA ALSACE KENTUCKY MORAVIA OREGON SURREY PENNSYLVANIA QUEBEC - PROVINCE JUPITER EARTH URANUS VULCAN - PLANET) (:INIT (EATS HAROSET-14 HAMBURGER-13) (CRAVES EXPECTATION-10 HOTDOG) (LOCALE BAGUETTE PENNSYLVANIA) (EATS LAMB CHICKEN) (EATS SCALLION PISTACHIO) (LOCALE SCALLION KENTUCKY) (EATS PISTACHIO BACON) (EATS PORK BROCCOLI) (EATS PEPPER TUNA) (CRAVES ANXIETY-17 POTATO) (CRAVES ACHIEVEMENT-11 TURKEY) (LOCALE MUFFIN-3 SURREY) (LOCALE PORK ALSACE) (LOCALE TOMATO GUANABARA) (HARMONY ENTERTAINMENT-31 URANUS) (CRAVES SCIATICA-47 ENDIVE) (EATS TURKEY TOFU) (LOCALE OKRA SURREY) (CRAVES ANGINA-52 BEEF) (EATS POPOVER PEA) (CRAVES DEPRESSION-58 OKRA) (CRAVES ENTERTAINMENT MUTTON) (EATS PEAR HAMBURGER) (LOCALE CHERRY QUEBEC) (CRAVES DREAD-26 BROCCOLI) (EATS SWEETROLL MUFFIN) (EATS HAM SNICKERS) (EATS KALE RICE-4) (EATS BACON PAPAYA) (LOCALE HOTDOG ALSACE) (CRAVES EXPECTATION CHERRY-7) (CRAVES INTOXICATION-9 PAPAYA) (EATS GRAPEFRUIT MARZIPAN-1) (LOCALE MARZIPAN-1 GUANABARA) (EATS BEEF LAMB) (CRAVES STIMULATION GRAPEFRUIT-8) (EATS TUNA HAMBURGER-13) (ATTACKS SURREY PENNSYLVANIA) (EATS CHICKEN-16 WURST-15) (CRAVES LACERATION CHERRY-7) (EATS HAM PEAR) (HARMONY EXCITEMENT-32 VULCAN) (EATS BEEF-5 HAMBURGER-13) (EATS OKRA RICE) (EATS ARUGULA HOTDOG) (EATS LEMON HAROSET) (EATS HAMBURGER COD) (EATS APPLE WURST) (LOCALE KALE OREGON) (EATS CHERRY-7 CHICKEN-16) (EATS PISTACHIO BAGUETTE) (EATS MUFFIN-3 TOFU) (EATS FLOUNDER TOFU) (EATS LOBSTER HOTDOG) (CRAVES PROSTATITIS PEPPER) (EATS KALE GRAPEFRUIT-8) (EATS MUTTON CANTELOPE) (EATS LOBSTER HAM) (EATS HOTDOG LOBSTER) (CRAVES LACERATION-63 POTATO) (CRAVES DREAD CHERRY-7) (HARMONY LUBRICITY VULCAN) (EATS POTATO CHICKEN) (HARMONY ACHIEVEMENT-11 VULCAN) (EATS TURKEY BEEF) (EATS WONDERBREAD APPLE) (LOCALE SNICKERS PENNSYLVANIA) (LOCALE APPLE QUEBEC) (EATS CHERRY-7 POTATO-12) (LOCALE POPOVER MORAVIA) (HARMONY INTOXICATION EARTH) (EATS PEPPER GRAPEFRUIT-8) (EATS ENDIVE RICE) (EATS PAPAYA SWEETROLL) (EATS TUNA PEPPER) (LOCALE BACON ALSACE) (EATS POPOVER GUAVA) (CRAVES DEPRESSION PEPPER) (CRAVES LONELINESS-24 BROCCOLI) (LOCALE HAMBURGER-13 GUANABARA) (LOCALE COD MORAVIA) (EATS BEEF-5 POPOVER-6) (EATS POTATO-12 CHICKEN-16) (HARMONY REST-28 VULCAN) (EATS POTATO-12 CHERRY-7) (LOCALE CHICKEN GUANABARA) (EATS ONION ENDIVE) (LOCALE CHOCOLATE PENNSYLVANIA) (EATS ORANGE LETTUCE) (CRAVES SCIATICA-21 TURKEY) (CRAVES HANGOVER-64 POTATO) (EATS GUAVA POPOVER) (CRAVES PROSTATITIS-25 BROCCOLI) (LOCALE GRAPEFRUIT-8 GUANABARA) (CRAVES SATIETY HAM) (CRAVES GRIEF-19 PAPAYA) (EATS CHERRY LOBSTER) (EATS WURST LOBSTER) (CRAVES HANGOVER-59 HAMBURGER) (EATS MELON-2 MELON) (CRAVES ANGER-20 TURKEY) (EATS TUNA CHOCOLATE) (CRAVES LONELINESS-53 ORANGE) (CRAVES JEALOUSY-48 ENDIVE) (LOCALE PEA OREGON) (LOCALE POTATO GUANABARA) (CRAVES ANGER-50 ENDIVE) (EATS PEAR HAM) (CRAVES BOILS CHERRY-7) (EATS HAROSET ORANGE) (EATS RICE OKRA) (EATS SNICKERS HAMBURGER) (CRAVES ACHIEVEMENT HAMBURGER-13) (LOCALE CANTELOPE SURREY) (LOCALE SWEETROLL GUANABARA) (HARMONY STIMULATION EARTH) (EATS WURST-15 CHICKEN-16) (LOCALE GUAVA GUANABARA) (EATS HOTDOG ARUGULA) (EATS CHICKEN-16 CHERRY-7) (EATS CHOCOLATE TUNA) (EATS PEA POPOVER) (EATS RICE ONION) (EATS HAM LOBSTER) (EATS PORK MELON) (EATS CHOCOLATE GRAPEFRUIT) (EATS HAMBURGER SNICKERS) (EATS POTATO LETTUCE) (EATS SHRIMP MARZIPAN-1) (EATS CHERRY-7 POPOVER-6) (LOCALE CUCUMBER MORAVIA) (CRAVES LACERATION-49 ENDIVE) (EATS ORANGE BACON) (CRAVES EMPATHY FLOUNDER) (CRAVES ABRASION PEPPER) (EATS TOFU FLOUNDER) (CRAVES LONELINESS TUNA) (EATS HAROSET LEMON) (EATS BACON YOGURT) (EATS SCALLION TOMATO) (LOCALE GRAPEFRUIT ALSACE) (EATS MELON-2 SHRIMP) (LOCALE TUNA GUANABARA) (LOCALE WONDERBREAD QUEBEC) (EATS LOBSTER WURST) (LOCALE WURST-15 OREGON) (EATS CANTELOPE MUTTON) (LOCALE PEAR QUEBEC) (EATS PAPAYA BACON) (CRAVES AESTHETICS POTATO-12) (EATS SNICKERS PEA) (LOCALE MELON-2 ALSACE) (LOCALE TURKEY MORAVIA) (EATS BACON SCALLION) (EATS SCALLION BACON) (LOCALE ARUGULA MORAVIA) (LOCALE HAMBURGER GUANABARA) (EATS PISTACHIO SWEETROLL) (CRAVES INTOXICATION CHOCOLATE) (HARMONY SATISFACTION URANUS) (EATS BROCCOLI RICE-4) (EATS MUFFIN CUCUMBER) (EATS ONION ARUGULA) (ATTACKS KENTUCKY MORAVIA) (EATS HAROSET-14 WURST-15) (EATS HAMBURGER-13 WURST-15) (LOCALE HAROSET-14 PENNSYLVANIA) (LOCALE PISTACHIO GUANABARA) (EATS GUAVA ARUGULA) (EATS WURST APPLE) (LOCALE PAPAYA OREGON) (EATS HAMBURGER-13 HAROSET-14) (EATS SHRIMP MELON-2) (LOCALE MARZIPAN GUANABARA) (LOCALE ORANGE QUEBEC) (LOCALE SCALLOP MORAVIA) (EATS LEMON CUCUMBER) (CRAVES BOILS-27 BROCCOLI) (EATS MUFFIN SWEETROLL) (CRAVES BOILS-61 HAMBURGER) (ATTACKS PENNSYLVANIA QUEBEC) (EATS RICE ENDIVE) (EATS LETTUCE ORANGE) (EATS TOMATO SCALLOP) (LOCALE RICE-4 GUANABARA) (EATS SWEETROLL PISTACHIO) (CRAVES REST-28 CHICKEN) (EATS LETTUCE POTATO) (HARMONY EXCITEMENT EARTH) (EATS CHICKEN FLOUNDER) (CRAVES JEALOUSY-62 HAMBURGER) (EATS ARUGULA GUAVA) (EATS MUFFIN-3 SHRIMP) (HARMONY UNDERSTANDING EARTH) (CRAVES ANXIETY-57 OKRA) (EATS MUTTON BAGUETTE) (EATS POTATO-12 WURST-15) (HARMONY ACHIEVEMENT VULCAN) (HARMONY CURIOSITY EARTH) (LOCALE FLOUNDER ALSACE) (LOCALE ENDIVE ALSACE) (EATS ORANGE HAROSET) (EATS COD TURKEY) (HARMONY INTOXICATION-9 VULCAN) (EATS MELON PORK) (EATS MELON MELON-2) (EATS SNICKERS HAM) (EATS ONION CANTELOPE) (HARMONY ENTERTAINMENT VULCAN) (EATS OKRA MARZIPAN) (CRAVES HANGOVER TUNA) (HARMONY EXPECTATION-10 VULCAN) (CRAVES UNDERSTANDING POPOVER-6) (EATS PEAR WURST) (LOCALE HAROSET SURREY) (EATS POPOVER-6 BEEF-5) (LOCALE CHICKEN-16 ALSACE) (CRAVES ANGINA CHOCOLATE) (ORBITS EARTH URANUS) (LOCALE POPOVER-6 GUANABARA) (EATS RICE-4 BROCCOLI) (EATS APPLE WONDERBREAD) (EATS WURST-15 POPOVER-6) (LOCALE BEEF-5 GUANABARA) (EATS CUCUMBER MARZIPAN) (ORBITS URANUS VULCAN) (LOCALE RICE GUANABARA) (EATS WONDERBREAD YOGURT) (LOCALE LOBSTER QUEBEC) (EATS POPOVER BEEF) (ATTACKS MORAVIA OREGON) (EATS PEA SNICKERS) (EATS LAMB BEEF) (EATS PISTACHIO SCALLION) (CRAVES ANGINA-23 APPLE) (LOCALE MUTTON KENTUCKY) (EATS WURST-15 BEEF-5) (CRAVES ANGER TUNA) (CRAVES LOVE PEA) (EATS CHICKEN POTATO) (ATTACKS OREGON SURREY) (EATS CANTELOPE ONION) (EATS CUCUMBER MUFFIN) (EATS YOGURT BACON) (EATS SCALLOP TOMATO) (LOCALE BROCCOLI QUEBEC) (EATS MARZIPAN-1 SHRIMP) (LOCALE BEEF ALSACE) (EATS MARZIPAN-1 GRAPEFRUIT) (LOCALE MELON KENTUCKY) (HARMONY SATIETY EARTH) (LOCALE LAMB GUANABARA) (EATS FLOUNDER CHICKEN) (EATS CHERRY SCALLOP) (LOCALE LEMON QUEBEC) (EATS CHICKEN-16 HAROSET-14) (CRAVES LEARNING-30 ARUGULA) (LOCALE LETTUCE GUANABARA) (HARMONY EMPATHY VULCAN) (EATS LOBSTER CHERRY) (EATS MARZIPAN CUCUMBER) (EATS SHRIMP MUFFIN-3) (EATS CHICKEN-16 POTATO-12) (CRAVES DREAD-56 ORANGE) (EATS YOGURT WONDERBREAD) (CRAVES JEALOUSY TUNA) (LOCALE CHERRY-7 GUANABARA) (LOCALE HAM SURREY) (EATS GRAPEFRUIT CHOCOLATE) (EATS OKRA ENDIVE) (EATS BACON ORANGE) (LOCALE SHRIMP OREGON) (LOCALE POTATO-12 PENNSYLVANIA) (EATS CUCUMBER LEMON) (CRAVES GRIEF-60 HAMBURGER) (HARMONY TRIUMPH VULCAN) (EATS HAMBURGER-13 BEEF-5) (EATS TOMATO SCALLION) (LOCALE YOGURT ALSACE) (EATS KALE MUFFIN-3) (CRAVES SATISFACTION MELON) (HARMONY LEARNING-30 VULCAN) (HARMONY REST VULCAN) (EATS RICE MUFFIN) (EATS ARUGULA ONION) (CRAVES PROSTATITIS-54 ORANGE) (EATS BACON PISTACHIO) (CRAVES ANXIETY PEPPER) (EATS MUFFIN-3 KALE) (HARMONY LEARNING URANUS) (EATS HAMBURGER PEAR) (EATS SWEETROLL PAPAYA) (CRAVES ABRASION-18 POTATO) (EATS TURKEY COD) (LOCALE MUFFIN GUANABARA) (CRAVES TRIUMPH MARZIPAN-1) (EATS WURST PEAR) (EATS BEEF-5 WURST-15) (EATS ONION RICE) (LOCALE ONION MORAVIA) (CRAVES DEPRESSION-22 SCALLION) (CRAVES SCIATICA CHERRY-7) (HARMONY EXPECTATION VULCAN) (EATS GRAPEFRUIT-8 KALE) (HARMONY LOVE-29 EARTH) (CRAVES ENTERTAINMENT-31 WURST) (EATS BEEF TURKEY) (CRAVES LUBRICITY HAROSET-14) (EATS TOFU TURKEY) (EATS BAGUETTE PISTACHIO) (EATS TOFU MUFFIN-3) (EATS WURST-15 POTATO-12) (EATS BAGUETTE MUTTON) (EATS BROCCOLI PORK) (EATS POPOVER-6 CHERRY-7) (LOCALE PEPPER ALSACE) (EATS WURST-15 HAROSET-14) (EATS ENDIVE OKRA) (EATS CHICKEN LAMB) (CRAVES ABRASION-55 ORANGE) (LOCALE TOFU SURREY) (CRAVES REST TUNA) (EATS ENDIVE ONION) (EATS SCALLOP CHERRY) (CRAVES CURIOSITY PISTACHIO) (EATS HAMBURGER-13 TUNA) (LOCALE WURST KENTUCKY) (EATS HAROSET-14 CHICKEN-16) (CRAVES EXCITEMENT WURST-15) (EATS WURST-15 HAMBURGER-13) (CRAVES LOVE-29 LOBSTER) (EATS BEEF POPOVER) (EATS POPOVER-6 WURST-15) (EATS GRAPEFRUIT-8 PEPPER) (ATTACKS ALSACE KENTUCKY) (EATS COD HAMBURGER) (HARMONY LOVE URANUS) (HARMONY AESTHETICS VULCAN) (CRAVES LEARNING LAMB) (EATS MARZIPAN OKRA) (CRAVES SCIATICA-51 BEEF) (ORBITS JUPITER EARTH) (EATS RICE-4 KALE) (CRAVES EXCITEMENT-32 SWEETROLL) (CRAVES GRIEF CHOCOLATE) (EATS MUFFIN RICE) (ATTACKS GUANABARA ALSACE)) (:GOAL (AND (CRAVES GRIEF PISTACHIO) (CRAVES ANGINA PISTACHIO))))