(DEFINE (DOMAIN MYSTERY-STRIPS) (:EXTENDS) (:REQUIREMENTS) (:PREDICATES (PROVINCE (? X)) (PLANET (? X)) (FOOD (? X)) (PLEASURE (? X)) (PAIN (? X)) (EATS (? N1) (? N2)) (CRAVES (? V) (? N)) (FEARS (? C) (? V)) (LOCALE (? N) (? A)) (HARMONY (? V) (? S)) (ATTACKS (? I) (? J)) (ORBITS (? I) (? J))) (:TIMELESS) (:ACTION OVERCOME :PARAMETERS ((? C) (? V)) :VARS ((? N) (? S1) (? S2)) :PRECONDITION (AND (PAIN (? C)) (PLEASURE (? V)) (CRAVES (? C) (? N)) (CRAVES (? V) (? N)) (FOOD (? N)) (HARMONY (? V) (? S2)) (PLANET (? S2)) (ORBITS (? S1) (? S2)) (PLANET (? S1))) :EFFECT (AND (NOT (CRAVES (? C) (? N))) (FEARS (? C) (? V)) (NOT (HARMONY (? V) (? S2))) (HARMONY (? V) (? S1)))) (:ACTION FEAST :PARAMETERS ((? V) (? N1) (? N2)) :VARS ((? L1) (? L2)) :PRECONDITION (AND (CRAVES (? V) (? N1)) (FOOD (? N1)) (PLEASURE (? V)) (EATS (? N1) (? N2)) (FOOD (? N2)) (LOCALE (? N1) (? L2)) (ATTACKS (? L1) (? L2))) :EFFECT (AND (NOT (CRAVES (? V) (? N1))) (CRAVES (? V) (? N2)) (NOT (LOCALE (? N1) (? L2))) (LOCALE (? N1) (? L1)))) (:ACTION SUCCUMB :PARAMETERS ((? C) (? V)) :VARS ((? N) (? S1) (? S2)) :PRECONDITION (AND (FEARS (? C) (? V)) (PAIN (? C)) (PLEASURE (? V)) (CRAVES (? V) (? N)) (FOOD (? N)) (HARMONY (? V) (? S1)) (ORBITS (? S1) (? S2))) :EFFECT (AND (NOT (FEARS (? C) (? V))) (CRAVES (? C) (? N)) (NOT (HARMONY (? V) (? S1))) (HARMONY (? V) (? S2)))))