Gdomain.txt

From IDSwiki
Jump to: navigation, search

Goldfinger Domain (text)

The goldfinger domain translated into text is shown below:


 Action FALL-OUT
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ALLIES ?C1 ?C2)
 (ALLIES ?C2 ?C1)
 The following are the changes it makes in the world:
 NOT  (ALLIES ?C2 ?C1)
 NOT  (ALLIES ?C1 ?C2)
 (ENEMIES ?C2 ?C1)
 (ENEMIES ?C1 ?C2)
 -----
 -----
 Action MAKE-UP
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ENEMIES ?C1 ?C2)
 (ENEMIES ?C2 ?C1)
 The following are the changes it makes in the world:
 NOT  (ENEMIES ?C2 ?C1)
 NOT  (ENEMIES ?C1 ?C2)
 (ALLIES ?C2 ?C1)
 (ALLIES ?C1 ?C2)
 -----
 -----
 Action SACK-ASSISTANT
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ASSISTANT ?C1 ?C2)
 The following are the changes it makes in the world:
 NOT  (ALLEGIANCE ?C2 ?C1)
 NOT  (ASSISTANT ?C1 ?C2)
 (UNEMPLOYED ?C2)
 -----
 -----
 Action HIRE-ASSISTANT
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (UNEMPLOYED ?C2)
 The following are the changes it makes in the world:
 NOT  (UNEMPLOYED ?C2)
 (ALLEGIANCE ?C2 ?C1)
 (ASSISTANT ?C1 ?C2)
 -----
 -----
 Action GET-ASSISTANT-TO-WARN
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (at ?C3 ?L)
 (FEELING-OF-POWER ?C1 LOW)
 (ASSISTANT ?C1 ?C3)
 (ALLEGIANCE ?C3 ?C1)
 (ENEMIES ?C1 ?C2)
 (ALIVE ?C3)
 The following are the changes it makes in the world:
 NOT  (FEELING-OF-POWER ?C1 LOW)
 (FEELING-OF-POWER ?C1 HIGH)
 -----
 -----
 Action ASK-QUESTIONS-DURING-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ASKED-QUESTIONS-OF ?C1 ?C2)
 -----
 -----
 Action WIN-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 NOT  (FEELING-OF-POWER ?C2 HIGH)
 (FEELING-OF-POWER ?C2 LOW)
 NOT  (PLAYING-GOLF ?C1 ?C2 ?L)
 (PLAYED-GOLF ?C1 ?C2 ?L)
 (WON-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action END-PLAY-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 NOT  (PLAYING-GOLF ?C1 ?C2 ?L)
 (PLAYED-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : GOLF-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action GET-MISSION
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (BOSS ?C2 ?C1)
 The following are the changes it makes in the world:
 (GOT-MISSION ?C1)
 -----
 -----
 Action REWARD-LOYALTY
 --------------------------
 It has 2 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action HAVE-KILLED
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (SEDUCED ?C3 ?C2)
 (ALLEGIANCE ?C2 ?C3)
 (ALIVE ?C2)
 The following are the changes it makes in the world:
 NOT  (ALIVE ?C2)
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action CHANGE-ALLEGIANCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (IMPRESSED-BY ?C1 ?C3)
 (ALLEGIANCE ?C1 ?C2)
 (BE-THE-BOSS ?C2 ?C1)
 NOT  (= ?C1 ?C2)
 NOT  (= ?C1 ?C3)
 The following are the changes it makes in the world:
 NOT  (BE-THE-BOSS ?C2 ?C1)
 NOT  (ALLEGIANCE ?C1 ?C2)
 (ALLEGIANCE ?C1 ?C3)
 -----
 -----
 Action SEDUCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ALIVE ?C2)
 (ATTRACTIVE ?C1)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (SEDUCED ?C1 ?C2)
 -----
 -----
 Action IMPRESS-AT-CARDS
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C3 ?L)
 The following are the changes it makes in the world:
 (IMPRESSED-BY ?C2 ?C1)
 -----
 -----
 Action WIN-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ATTRACTIVE ?C1)
 (WON-CARDS ?C1 ?C2 ?L)
 (PLAYED-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action TRAVEL-TO
 --------------------------
 It has 3 objects of interest: 
 ?C : CHAR
 ?LF : LOCATION
 ?LT : LOCATION
 The following must be true when it is performed:
 (at ?C ?LF)
 NOT  (= ?LF ?LT)
 The following are the changes it makes in the world:
 (at ?C ?LT)
 NOT  (at ?C ?LF)
 -----
 -----
 Action MAKE-UP
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ENEMIES ?C1 ?C2)
 (ENEMIES ?C2 ?C1)
 The following are the changes it makes in the world:
 NOT  (ENEMIES ?C2 ?C1)
 NOT  (ENEMIES ?C1 ?C2)
 (ALLIES ?C2 ?C1)
 (ALLIES ?C1 ?C2)
 -----
 -----
 Action SACK-ASSISTANT
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ASSISTANT ?C1 ?C2)
 The following are the changes it makes in the world:
 NOT  (ALLEGIANCE ?C2 ?C1)
 NOT  (ASSISTANT ?C1 ?C2)
 (UNEMPLOYED ?C2)
 -----
 -----
 Action HIRE-ASSISTANT
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (UNEMPLOYED ?C2)
 The following are the changes it makes in the world:
 NOT  (UNEMPLOYED ?C2)
 (ALLEGIANCE ?C2 ?C1)
 (ASSISTANT ?C1 ?C2)
 -----
 -----
 Action GET-ASSISTANT-TO-WARN
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (at ?C3 ?L)
 (FEELING-OF-POWER ?C1 LOW)
 (ASSISTANT ?C1 ?C3)
 (ALLEGIANCE ?C3 ?C1)
 (ENEMIES ?C1 ?C2)
 (ALIVE ?C3)
 The following are the changes it makes in the world:
 NOT  (FEELING-OF-POWER ?C1 LOW)
 (FEELING-OF-POWER ?C1 HIGH)
 -----
 -----
 Action ASK-QUESTIONS-DURING-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ASKED-QUESTIONS-OF ?C1 ?C2)
 -----
 -----
 Action WIN-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 NOT  (FEELING-OF-POWER ?C2 HIGH)
 (FEELING-OF-POWER ?C2 LOW)
 NOT  (PLAYING-GOLF ?C1 ?C2 ?L)
 (PLAYED-GOLF ?C1 ?C2 ?L)
 (WON-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action END-PLAY-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 NOT  (PLAYING-GOLF ?C1 ?C2 ?L)
 (PLAYED-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : GOLF-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action GET-MISSION
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (BOSS ?C2 ?C1)
 The following are the changes it makes in the world:
 (GOT-MISSION ?C1)
 -----
 -----
 Action REWARD-LOYALTY
 --------------------------
 It has 2 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action HAVE-KILLED
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (SEDUCED ?C3 ?C2)
 (ALLEGIANCE ?C2 ?C3)
 (ALIVE ?C2)
 The following are the changes it makes in the world:
 NOT  (ALIVE ?C2)
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action CHANGE-ALLEGIANCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (IMPRESSED-BY ?C1 ?C3)
 (ALLEGIANCE ?C1 ?C2)
 (BE-THE-BOSS ?C2 ?C1)
 NOT  (= ?C1 ?C2)
 NOT  (= ?C1 ?C3)
 The following are the changes it makes in the world:
 NOT  (BE-THE-BOSS ?C2 ?C1)
 NOT  (ALLEGIANCE ?C1 ?C2)
 (ALLEGIANCE ?C1 ?C3)
 -----
 -----
 Action SEDUCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ALIVE ?C2)
 (ATTRACTIVE ?C1)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (SEDUCED ?C1 ?C2)
 -----
 -----
 Action IMPRESS-AT-CARDS
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C3 ?L)
 The following are the changes it makes in the world:
 (IMPRESSED-BY ?C2 ?C1)
 -----
 -----
 Action WIN-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ATTRACTIVE ?C1)
 (WON-CARDS ?C1 ?C2 ?L)
 (PLAYED-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action TRAVEL-TO
 --------------------------
 It has 3 objects of interest: 
 ?C : CHAR
 ?LF : LOCATION
 ?LT : LOCATION
 The following must be true when it is performed:
 (at ?C ?LF)
 NOT  (= ?LF ?LT)
 The following are the changes it makes in the world:
 (at ?C ?LT)
 NOT  (at ?C ?LF)
 -----
 -----
 Action SACK-ASSISTANT
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ASSISTANT ?C1 ?C2)
 The following are the changes it makes in the world:
 NOT  (ALLEGIANCE ?C2 ?C1)
 NOT  (ASSISTANT ?C1 ?C2)
 (UNEMPLOYED ?C2)
 -----
 -----
 Action HIRE-ASSISTANT
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (UNEMPLOYED ?C2)
 The following are the changes it makes in the world:
 NOT  (UNEMPLOYED ?C2)
 (ALLEGIANCE ?C2 ?C1)
 (ASSISTANT ?C1 ?C2)
 -----
 -----
 Action GET-ASSISTANT-TO-WARN
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (at ?C3 ?L)
 (FEELING-OF-POWER ?C1 LOW)
 (ASSISTANT ?C1 ?C3)
 (ALLEGIANCE ?C3 ?C1)
 (ENEMIES ?C1 ?C2)
 (ALIVE ?C3)
 The following are the changes it makes in the world:
 NOT  (FEELING-OF-POWER ?C1 LOW)
 (FEELING-OF-POWER ?C1 HIGH)
 -----
 -----
 Action ASK-QUESTIONS-DURING-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ASKED-QUESTIONS-OF ?C1 ?C2)
 -----
 -----
 Action WIN-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 NOT  (FEELING-OF-POWER ?C2 HIGH)
 (FEELING-OF-POWER ?C2 LOW)
 NOT  (PLAYING-GOLF ?C1 ?C2 ?L)
 (PLAYED-GOLF ?C1 ?C2 ?L)
 (WON-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action END-PLAY-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 NOT  (PLAYING-GOLF ?C1 ?C2 ?L)
 (PLAYED-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : GOLF-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action GET-MISSION
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (BOSS ?C2 ?C1)
 The following are the changes it makes in the world:
 (GOT-MISSION ?C1)
 -----
 -----
 Action REWARD-LOYALTY
 --------------------------
 It has 2 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action HAVE-KILLED
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (SEDUCED ?C3 ?C2)
 (ALLEGIANCE ?C2 ?C3)
 (ALIVE ?C2)
 The following are the changes it makes in the world:
 NOT  (ALIVE ?C2)
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action CHANGE-ALLEGIANCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (IMPRESSED-BY ?C1 ?C3)
 (ALLEGIANCE ?C1 ?C2)
 (BE-THE-BOSS ?C2 ?C1)
 NOT  (= ?C1 ?C2)
 NOT  (= ?C1 ?C3)
 The following are the changes it makes in the world:
 NOT  (BE-THE-BOSS ?C2 ?C1)
 NOT  (ALLEGIANCE ?C1 ?C2)
 (ALLEGIANCE ?C1 ?C3)
 -----
 -----
 Action SEDUCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ALIVE ?C2)
 (ATTRACTIVE ?C1)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (SEDUCED ?C1 ?C2)
 -----
 -----
 Action IMPRESS-AT-CARDS
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C3 ?L)
 The following are the changes it makes in the world:
 (IMPRESSED-BY ?C2 ?C1)
 -----
 -----
 Action WIN-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ATTRACTIVE ?C1)
 (WON-CARDS ?C1 ?C2 ?L)
 (PLAYED-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action TRAVEL-TO
 --------------------------
 It has 3 objects of interest: 
 ?C : CHAR
 ?LF : LOCATION
 ?LT : LOCATION
 The following must be true when it is performed:
 (at ?C ?LF)
 NOT  (= ?LF ?LT)
 The following are the changes it makes in the world:
 (at ?C ?LT)
 NOT  (at ?C ?LF)
 -----
 -----
 Action HIRE-ASSISTANT
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (UNEMPLOYED ?C2)
 The following are the changes it makes in the world:
 NOT  (UNEMPLOYED ?C2)
 (ALLEGIANCE ?C2 ?C1)
 (ASSISTANT ?C1 ?C2)
 -----
 -----
 Action GET-ASSISTANT-TO-WARN
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (at ?C3 ?L)
 (FEELING-OF-POWER ?C1 LOW)
 (ASSISTANT ?C1 ?C3)
 (ALLEGIANCE ?C3 ?C1)
 (ENEMIES ?C1 ?C2)
 (ALIVE ?C3)
 The following are the changes it makes in the world:
 NOT  (FEELING-OF-POWER ?C1 LOW)
 (FEELING-OF-POWER ?C1 HIGH)
 -----
 -----
 Action ASK-QUESTIONS-DURING-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ASKED-QUESTIONS-OF ?C1 ?C2)
 -----
 -----
 Action WIN-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 NOT  (FEELING-OF-POWER ?C2 HIGH)
 (FEELING-OF-POWER ?C2 LOW)
 NOT  (PLAYING-GOLF ?C1 ?C2 ?L)
 (PLAYED-GOLF ?C1 ?C2 ?L)
 (WON-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action END-PLAY-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 NOT  (PLAYING-GOLF ?C1 ?C2 ?L)
 (PLAYED-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : GOLF-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action GET-MISSION
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (BOSS ?C2 ?C1)
 The following are the changes it makes in the world:
 (GOT-MISSION ?C1)
 -----
 -----
 Action REWARD-LOYALTY
 --------------------------
 It has 2 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action HAVE-KILLED
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (SEDUCED ?C3 ?C2)
 (ALLEGIANCE ?C2 ?C3)
 (ALIVE ?C2)
 The following are the changes it makes in the world:
 NOT  (ALIVE ?C2)
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action CHANGE-ALLEGIANCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (IMPRESSED-BY ?C1 ?C3)
 (ALLEGIANCE ?C1 ?C2)
 (BE-THE-BOSS ?C2 ?C1)
 NOT  (= ?C1 ?C2)
 NOT  (= ?C1 ?C3)
 The following are the changes it makes in the world:
 NOT  (BE-THE-BOSS ?C2 ?C1)
 NOT  (ALLEGIANCE ?C1 ?C2)
 (ALLEGIANCE ?C1 ?C3)
 -----
 -----
 Action SEDUCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ALIVE ?C2)
 (ATTRACTIVE ?C1)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (SEDUCED ?C1 ?C2)
 -----
 -----
 Action IMPRESS-AT-CARDS
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C3 ?L)
 The following are the changes it makes in the world:
 (IMPRESSED-BY ?C2 ?C1)
 -----
 -----
 Action WIN-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ATTRACTIVE ?C1)
 (WON-CARDS ?C1 ?C2 ?L)
 (PLAYED-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action TRAVEL-TO
 --------------------------
 It has 3 objects of interest: 
 ?C : CHAR
 ?LF : LOCATION
 ?LT : LOCATION
 The following must be true when it is performed:
 (at ?C ?LF)
 NOT  (= ?LF ?LT)
 The following are the changes it makes in the world:
 (at ?C ?LT)
 NOT  (at ?C ?LF)
 -----
 -----
 Action GET-ASSISTANT-TO-WARN
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (at ?C3 ?L)
 (FEELING-OF-POWER ?C1 LOW)
 (ASSISTANT ?C1 ?C3)
 (ALLEGIANCE ?C3 ?C1)
 (ENEMIES ?C1 ?C2)
 (ALIVE ?C3)
 The following are the changes it makes in the world:
 NOT  (FEELING-OF-POWER ?C1 LOW)
 (FEELING-OF-POWER ?C1 HIGH)
 -----
 -----
 Action ASK-QUESTIONS-DURING-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ASKED-QUESTIONS-OF ?C1 ?C2)
 -----
 -----
 Action WIN-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 NOT  (FEELING-OF-POWER ?C2 HIGH)
 (FEELING-OF-POWER ?C2 LOW)
 NOT  (PLAYING-GOLF ?C1 ?C2 ?L)
 (PLAYED-GOLF ?C1 ?C2 ?L)
 (WON-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action END-PLAY-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 NOT  (PLAYING-GOLF ?C1 ?C2 ?L)
 (PLAYED-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : GOLF-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action GET-MISSION
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (BOSS ?C2 ?C1)
 The following are the changes it makes in the world:
 (GOT-MISSION ?C1)
 -----
 -----
 Action REWARD-LOYALTY
 --------------------------
 It has 2 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action HAVE-KILLED
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (SEDUCED ?C3 ?C2)
 (ALLEGIANCE ?C2 ?C3)
 (ALIVE ?C2)
 The following are the changes it makes in the world:
 NOT  (ALIVE ?C2)
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action CHANGE-ALLEGIANCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (IMPRESSED-BY ?C1 ?C3)
 (ALLEGIANCE ?C1 ?C2)
 (BE-THE-BOSS ?C2 ?C1)
 NOT  (= ?C1 ?C2)
 NOT  (= ?C1 ?C3)
 The following are the changes it makes in the world:
 NOT  (BE-THE-BOSS ?C2 ?C1)
 NOT  (ALLEGIANCE ?C1 ?C2)
 (ALLEGIANCE ?C1 ?C3)
 -----
 -----
 Action SEDUCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ALIVE ?C2)
 (ATTRACTIVE ?C1)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (SEDUCED ?C1 ?C2)
 -----
 -----
 Action IMPRESS-AT-CARDS
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C3 ?L)
 The following are the changes it makes in the world:
 (IMPRESSED-BY ?C2 ?C1)
 -----
 -----
 Action WIN-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ATTRACTIVE ?C1)
 (WON-CARDS ?C1 ?C2 ?L)
 (PLAYED-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action TRAVEL-TO
 --------------------------
 It has 3 objects of interest: 
 ?C : CHAR
 ?LF : LOCATION
 ?LT : LOCATION
 The following must be true when it is performed:
 (at ?C ?LF)
 NOT  (= ?LF ?LT)
 The following are the changes it makes in the world:
 (at ?C ?LT)
 NOT  (at ?C ?LF)
 -----
 -----
 Action ASK-QUESTIONS-DURING-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ASKED-QUESTIONS-OF ?C1 ?C2)
 -----
 -----
 Action WIN-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 NOT  (FEELING-OF-POWER ?C2 HIGH)
 (FEELING-OF-POWER ?C2 LOW)
 NOT  (PLAYING-GOLF ?C1 ?C2 ?L)
 (PLAYED-GOLF ?C1 ?C2 ?L)
 (WON-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action END-PLAY-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 NOT  (PLAYING-GOLF ?C1 ?C2 ?L)
 (PLAYED-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : GOLF-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action GET-MISSION
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (BOSS ?C2 ?C1)
 The following are the changes it makes in the world:
 (GOT-MISSION ?C1)
 -----
 -----
 Action REWARD-LOYALTY
 --------------------------
 It has 2 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action HAVE-KILLED
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (SEDUCED ?C3 ?C2)
 (ALLEGIANCE ?C2 ?C3)
 (ALIVE ?C2)
 The following are the changes it makes in the world:
 NOT  (ALIVE ?C2)
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action CHANGE-ALLEGIANCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (IMPRESSED-BY ?C1 ?C3)
 (ALLEGIANCE ?C1 ?C2)
 (BE-THE-BOSS ?C2 ?C1)
 NOT  (= ?C1 ?C2)
 NOT  (= ?C1 ?C3)
 The following are the changes it makes in the world:
 NOT  (BE-THE-BOSS ?C2 ?C1)
 NOT  (ALLEGIANCE ?C1 ?C2)
 (ALLEGIANCE ?C1 ?C3)
 -----
 -----
 Action SEDUCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ALIVE ?C2)
 (ATTRACTIVE ?C1)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (SEDUCED ?C1 ?C2)
 -----
 -----
 Action IMPRESS-AT-CARDS
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C3 ?L)
 The following are the changes it makes in the world:
 (IMPRESSED-BY ?C2 ?C1)
 -----
 -----
 Action WIN-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ATTRACTIVE ?C1)
 (WON-CARDS ?C1 ?C2 ?L)
 (PLAYED-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action TRAVEL-TO
 --------------------------
 It has 3 objects of interest: 
 ?C : CHAR
 ?LF : LOCATION
 ?LT : LOCATION
 The following must be true when it is performed:
 (at ?C ?LF)
 NOT  (= ?LF ?LT)
 The following are the changes it makes in the world:
 (at ?C ?LT)
 NOT  (at ?C ?LF)
 -----
 -----
 Action WIN-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 NOT  (FEELING-OF-POWER ?C2 HIGH)
 (FEELING-OF-POWER ?C2 LOW)
 NOT  (PLAYING-GOLF ?C1 ?C2 ?L)
 (PLAYED-GOLF ?C1 ?C2 ?L)
 (WON-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action END-PLAY-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 NOT  (PLAYING-GOLF ?C1 ?C2 ?L)
 (PLAYED-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : GOLF-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action GET-MISSION
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (BOSS ?C2 ?C1)
 The following are the changes it makes in the world:
 (GOT-MISSION ?C1)
 -----
 -----
 Action REWARD-LOYALTY
 --------------------------
 It has 2 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action HAVE-KILLED
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (SEDUCED ?C3 ?C2)
 (ALLEGIANCE ?C2 ?C3)
 (ALIVE ?C2)
 The following are the changes it makes in the world:
 NOT  (ALIVE ?C2)
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action CHANGE-ALLEGIANCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (IMPRESSED-BY ?C1 ?C3)
 (ALLEGIANCE ?C1 ?C2)
 (BE-THE-BOSS ?C2 ?C1)
 NOT  (= ?C1 ?C2)
 NOT  (= ?C1 ?C3)
 The following are the changes it makes in the world:
 NOT  (BE-THE-BOSS ?C2 ?C1)
 NOT  (ALLEGIANCE ?C1 ?C2)
 (ALLEGIANCE ?C1 ?C3)
 -----
 -----
 Action SEDUCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ALIVE ?C2)
 (ATTRACTIVE ?C1)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (SEDUCED ?C1 ?C2)
 -----
 -----
 Action IMPRESS-AT-CARDS
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C3 ?L)
 The following are the changes it makes in the world:
 (IMPRESSED-BY ?C2 ?C1)
 -----
 -----
 Action WIN-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ATTRACTIVE ?C1)
 (WON-CARDS ?C1 ?C2 ?L)
 (PLAYED-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action TRAVEL-TO
 --------------------------
 It has 3 objects of interest: 
 ?C : CHAR
 ?LF : LOCATION
 ?LT : LOCATION
 The following must be true when it is performed:
 (at ?C ?LF)
 NOT  (= ?LF ?LT)
 The following are the changes it makes in the world:
 (at ?C ?LT)
 NOT  (at ?C ?LF)
 -----
 -----
 Action END-PLAY-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 NOT  (PLAYING-GOLF ?C1 ?C2 ?L)
 (PLAYED-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : GOLF-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action GET-MISSION
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (BOSS ?C2 ?C1)
 The following are the changes it makes in the world:
 (GOT-MISSION ?C1)
 -----
 -----
 Action REWARD-LOYALTY
 --------------------------
 It has 2 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action HAVE-KILLED
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (SEDUCED ?C3 ?C2)
 (ALLEGIANCE ?C2 ?C3)
 (ALIVE ?C2)
 The following are the changes it makes in the world:
 NOT  (ALIVE ?C2)
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action CHANGE-ALLEGIANCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (IMPRESSED-BY ?C1 ?C3)
 (ALLEGIANCE ?C1 ?C2)
 (BE-THE-BOSS ?C2 ?C1)
 NOT  (= ?C1 ?C2)
 NOT  (= ?C1 ?C3)
 The following are the changes it makes in the world:
 NOT  (BE-THE-BOSS ?C2 ?C1)
 NOT  (ALLEGIANCE ?C1 ?C2)
 (ALLEGIANCE ?C1 ?C3)
 -----
 -----
 Action SEDUCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ALIVE ?C2)
 (ATTRACTIVE ?C1)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (SEDUCED ?C1 ?C2)
 -----
 -----
 Action IMPRESS-AT-CARDS
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C3 ?L)
 The following are the changes it makes in the world:
 (IMPRESSED-BY ?C2 ?C1)
 -----
 -----
 Action WIN-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ATTRACTIVE ?C1)
 (WON-CARDS ?C1 ?C2 ?L)
 (PLAYED-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action TRAVEL-TO
 --------------------------
 It has 3 objects of interest: 
 ?C : CHAR
 ?LF : LOCATION
 ?LT : LOCATION
 The following must be true when it is performed:
 (at ?C ?LF)
 NOT  (= ?LF ?LT)
 The following are the changes it makes in the world:
 (at ?C ?LT)
 NOT  (at ?C ?LF)
 -----
 -----
 Action START-PLAY-GOLF
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : GOLF-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-GOLF ?C1 ?C2 ?L)
 -----
 -----
 Action GET-MISSION
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (BOSS ?C2 ?C1)
 The following are the changes it makes in the world:
 (GOT-MISSION ?C1)
 -----
 -----
 Action REWARD-LOYALTY
 --------------------------
 It has 2 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action HAVE-KILLED
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (SEDUCED ?C3 ?C2)
 (ALLEGIANCE ?C2 ?C3)
 (ALIVE ?C2)
 The following are the changes it makes in the world:
 NOT  (ALIVE ?C2)
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action CHANGE-ALLEGIANCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (IMPRESSED-BY ?C1 ?C3)
 (ALLEGIANCE ?C1 ?C2)
 (BE-THE-BOSS ?C2 ?C1)
 NOT  (= ?C1 ?C2)
 NOT  (= ?C1 ?C3)
 The following are the changes it makes in the world:
 NOT  (BE-THE-BOSS ?C2 ?C1)
 NOT  (ALLEGIANCE ?C1 ?C2)
 (ALLEGIANCE ?C1 ?C3)
 -----
 -----
 Action SEDUCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ALIVE ?C2)
 (ATTRACTIVE ?C1)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (SEDUCED ?C1 ?C2)
 -----
 -----
 Action IMPRESS-AT-CARDS
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C3 ?L)
 The following are the changes it makes in the world:
 (IMPRESSED-BY ?C2 ?C1)
 -----
 -----
 Action WIN-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ATTRACTIVE ?C1)
 (WON-CARDS ?C1 ?C2 ?L)
 (PLAYED-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action TRAVEL-TO
 --------------------------
 It has 3 objects of interest: 
 ?C : CHAR
 ?LF : LOCATION
 ?LT : LOCATION
 The following must be true when it is performed:
 (at ?C ?LF)
 NOT  (= ?LF ?LT)
 The following are the changes it makes in the world:
 (at ?C ?LT)
 NOT  (at ?C ?LF)
 -----
 -----
 Action GET-MISSION
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (BOSS ?C2 ?C1)
 The following are the changes it makes in the world:
 (GOT-MISSION ?C1)
 -----
 -----
 Action REWARD-LOYALTY
 --------------------------
 It has 2 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action HAVE-KILLED
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (SEDUCED ?C3 ?C2)
 (ALLEGIANCE ?C2 ?C3)
 (ALIVE ?C2)
 The following are the changes it makes in the world:
 NOT  (ALIVE ?C2)
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action CHANGE-ALLEGIANCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (IMPRESSED-BY ?C1 ?C3)
 (ALLEGIANCE ?C1 ?C2)
 (BE-THE-BOSS ?C2 ?C1)
 NOT  (= ?C1 ?C2)
 NOT  (= ?C1 ?C3)
 The following are the changes it makes in the world:
 NOT  (BE-THE-BOSS ?C2 ?C1)
 NOT  (ALLEGIANCE ?C1 ?C2)
 (ALLEGIANCE ?C1 ?C3)
 -----
 -----
 Action SEDUCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ALIVE ?C2)
 (ATTRACTIVE ?C1)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (SEDUCED ?C1 ?C2)
 -----
 -----
 Action IMPRESS-AT-CARDS
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C3 ?L)
 The following are the changes it makes in the world:
 (IMPRESSED-BY ?C2 ?C1)
 -----
 -----
 Action WIN-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ATTRACTIVE ?C1)
 (WON-CARDS ?C1 ?C2 ?L)
 (PLAYED-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action TRAVEL-TO
 --------------------------
 It has 3 objects of interest: 
 ?C : CHAR
 ?LF : LOCATION
 ?LT : LOCATION
 The following must be true when it is performed:
 (at ?C ?LF)
 NOT  (= ?LF ?LT)
 The following are the changes it makes in the world:
 (at ?C ?LT)
 NOT  (at ?C ?LF)
 -----
 -----
 Action REWARD-LOYALTY
 --------------------------
 It has 2 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action HAVE-KILLED
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (SEDUCED ?C3 ?C2)
 (ALLEGIANCE ?C2 ?C3)
 (ALIVE ?C2)
 The following are the changes it makes in the world:
 NOT  (ALIVE ?C2)
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action CHANGE-ALLEGIANCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (IMPRESSED-BY ?C1 ?C3)
 (ALLEGIANCE ?C1 ?C2)
 (BE-THE-BOSS ?C2 ?C1)
 NOT  (= ?C1 ?C2)
 NOT  (= ?C1 ?C3)
 The following are the changes it makes in the world:
 NOT  (BE-THE-BOSS ?C2 ?C1)
 NOT  (ALLEGIANCE ?C1 ?C2)
 (ALLEGIANCE ?C1 ?C3)
 -----
 -----
 Action SEDUCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ALIVE ?C2)
 (ATTRACTIVE ?C1)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (SEDUCED ?C1 ?C2)
 -----
 -----
 Action IMPRESS-AT-CARDS
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C3 ?L)
 The following are the changes it makes in the world:
 (IMPRESSED-BY ?C2 ?C1)
 -----
 -----
 Action WIN-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ATTRACTIVE ?C1)
 (WON-CARDS ?C1 ?C2 ?L)
 (PLAYED-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action TRAVEL-TO
 --------------------------
 It has 3 objects of interest: 
 ?C : CHAR
 ?LF : LOCATION
 ?LT : LOCATION
 The following must be true when it is performed:
 (at ?C ?LF)
 NOT  (= ?LF ?LT)
 The following are the changes it makes in the world:
 (at ?C ?LT)
 NOT  (at ?C ?LF)
 -----
 -----
 Action HAVE-KILLED
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (ASSISTANT ?C1 ?C2)
 (SEDUCED ?C3 ?C2)
 (ALLEGIANCE ?C2 ?C3)
 (ALIVE ?C2)
 The following are the changes it makes in the world:
 NOT  (ALIVE ?C2)
 (BE-THE-BOSS ?C1 ?C2)
 -----
 -----
 Action CHANGE-ALLEGIANCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (IMPRESSED-BY ?C1 ?C3)
 (ALLEGIANCE ?C1 ?C2)
 (BE-THE-BOSS ?C2 ?C1)
 NOT  (= ?C1 ?C2)
 NOT  (= ?C1 ?C3)
 The following are the changes it makes in the world:
 NOT  (BE-THE-BOSS ?C2 ?C1)
 NOT  (ALLEGIANCE ?C1 ?C2)
 (ALLEGIANCE ?C1 ?C3)
 -----
 -----
 Action SEDUCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ALIVE ?C2)
 (ATTRACTIVE ?C1)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (SEDUCED ?C1 ?C2)
 -----
 -----
 Action IMPRESS-AT-CARDS
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C3 ?L)
 The following are the changes it makes in the world:
 (IMPRESSED-BY ?C2 ?C1)
 -----
 -----
 Action WIN-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ATTRACTIVE ?C1)
 (WON-CARDS ?C1 ?C2 ?L)
 (PLAYED-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action TRAVEL-TO
 --------------------------
 It has 3 objects of interest: 
 ?C : CHAR
 ?LF : LOCATION
 ?LT : LOCATION
 The following must be true when it is performed:
 (at ?C ?LF)
 NOT  (= ?LF ?LT)
 The following are the changes it makes in the world:
 (at ?C ?LT)
 NOT  (at ?C ?LF)
 -----
 -----
 Action CHANGE-ALLEGIANCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 The following must be true when it is performed:
 (IMPRESSED-BY ?C1 ?C3)
 (ALLEGIANCE ?C1 ?C2)
 (BE-THE-BOSS ?C2 ?C1)
 NOT  (= ?C1 ?C2)
 NOT  (= ?C1 ?C3)
 The following are the changes it makes in the world:
 NOT  (BE-THE-BOSS ?C2 ?C1)
 NOT  (ALLEGIANCE ?C1 ?C2)
 (ALLEGIANCE ?C1 ?C3)
 -----
 -----
 Action SEDUCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ALIVE ?C2)
 (ATTRACTIVE ?C1)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (SEDUCED ?C1 ?C2)
 -----
 -----
 Action IMPRESS-AT-CARDS
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C3 ?L)
 The following are the changes it makes in the world:
 (IMPRESSED-BY ?C2 ?C1)
 -----
 -----
 Action WIN-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ATTRACTIVE ?C1)
 (WON-CARDS ?C1 ?C2 ?L)
 (PLAYED-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action TRAVEL-TO
 --------------------------
 It has 3 objects of interest: 
 ?C : CHAR
 ?LF : LOCATION
 ?LT : LOCATION
 The following must be true when it is performed:
 (at ?C ?LF)
 NOT  (= ?LF ?LT)
 The following are the changes it makes in the world:
 (at ?C ?LT)
 NOT  (at ?C ?LF)
 -----
 -----
 Action SEDUCE
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (ALIVE ?C2)
 (ATTRACTIVE ?C1)
 (ALLEGIANCE ?C2 ?C1)
 The following are the changes it makes in the world:
 (SEDUCED ?C1 ?C2)
 -----
 -----
 Action IMPRESS-AT-CARDS
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C3 ?L)
 The following are the changes it makes in the world:
 (IMPRESSED-BY ?C2 ?C1)
 -----
 -----
 Action WIN-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ATTRACTIVE ?C1)
 (WON-CARDS ?C1 ?C2 ?L)
 (PLAYED-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action TRAVEL-TO
 --------------------------
 It has 3 objects of interest: 
 ?C : CHAR
 ?LF : LOCATION
 ?LT : LOCATION
 The following must be true when it is performed:
 (at ?C ?LF)
 NOT  (= ?LF ?LT)
 The following are the changes it makes in the world:
 (at ?C ?LT)
 NOT  (at ?C ?LF)
 -----
 -----
 Action IMPRESS-AT-CARDS
 --------------------------
 It has 4 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?C3 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C3 ?L)
 The following are the changes it makes in the world:
 (IMPRESSED-BY ?C2 ?C1)
 -----
 -----
 Action WIN-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ATTRACTIVE ?C1)
 (WON-CARDS ?C1 ?C2 ?L)
 (PLAYED-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action TRAVEL-TO
 --------------------------
 It has 3 objects of interest: 
 ?C : CHAR
 ?LF : LOCATION
 ?LT : LOCATION
 The following must be true when it is performed:
 (at ?C ?LF)
 NOT  (= ?LF ?LT)
 The following are the changes it makes in the world:
 (at ?C ?LT)
 NOT  (at ?C ?LF)
 -----
 -----
 Action WIN-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : GOODCHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (PLAYING-CARDS ?C1 ?C2 ?L)
 The following are the changes it makes in the world:
 (ATTRACTIVE ?C1)
 (WON-CARDS ?C1 ?C2 ?L)
 (PLAYED-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action START-PLAY-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action TRAVEL-TO
 --------------------------
 It has 3 objects of interest: 
 ?C : CHAR
 ?LF : LOCATION
 ?LT : LOCATION
 The following must be true when it is performed:
 (at ?C ?LF)
 NOT  (= ?LF ?LT)
 The following are the changes it makes in the world:
 (at ?C ?LT)
 NOT  (at ?C ?LF)
 -----
 -----
 Action START-PLAY-CARDS
 --------------------------
 It has 3 objects of interest: 
 ?C1 : CHAR
 ?C2 : CHAR
 ?L : CARD-LOCATION
 The following must be true when it is performed:
 (at ?C1 ?L)
 (at ?C2 ?L)
 (DIFFERENT ?C1 ?C2)
 The following are the changes it makes in the world:
 (PLAYING-CARDS ?C1 ?C2 ?L)
 -----
 -----
 Action TRAVEL-TO
 --------------------------
 It has 3 objects of interest: 
 ?C : CHAR
 ?LF : LOCATION
 ?LT : LOCATION
 The following must be true when it is performed:
 (at ?C ?LF)
 NOT  (= ?LF ?LT)
 The following are the changes it makes in the world:
 (at ?C ?LT)
 NOT  (at ?C ?LF)
 -----
 -----
 Action TRAVEL-TO
 --------------------------
 It has 3 objects of interest: 
 ?C : CHAR
 ?LF : LOCATION
 ?LT : LOCATION
 The following must be true when it is performed:
 (at ?C ?LF)
 NOT  (= ?LF ?LT)
 The following are the changes it makes in the world:
 (at ?C ?LT)
 NOT  (at ?C ?LF)
 -----
 -----