1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/IPRel.e').
    4%;
    5%; Copyright (c) 2005 IBM Corporation and others.
    6%; All rights reserved. This program and the accompanying materials
    7%; are made available under the terms of the Common Public License v1.0
    8%; which accompanies this distribution, and is available at
    9%; http://www.eclipse.org/legal/cpl-v10.html
   10%;
   11%; Contributors:
   12%; IBM - Initial implementation
   13%;
   14%; IPRel: interpersonal relations
   15%;
   16
   17% fluent FriendOf(agent,agent)
   18 %  fluent(friendOf(agent,agent)).
   19==> mpred_prop(friendOf(agent,agent),fluent).
   20==> meta_argtypes(friendOf(agent,agent)).
   21
   22% fluent NeutralOf(agent,agent)
   23 %  fluent(neutralOf(agent,agent)).
   24==> mpred_prop(neutralOf(agent,agent),fluent).
   25==> meta_argtypes(neutralOf(agent,agent)).
   26
   27% fluent EnemyOf(agent,agent)
   28 %  fluent(enemyOf(agent,agent)).
   29==> mpred_prop(enemyOf(agent,agent),fluent).
   30==> meta_argtypes(enemyOf(agent,agent)).
   31
   32% event BecomeFriends(agent,agent)
   33 %  event(becomeFriends(agent,agent)).
   34==> mpred_prop(becomeFriends(agent,agent),event).
   35==> meta_argtypes(becomeFriends(agent,agent)).
   36
   37% event BecomeNeutral(agent,agent)
   38 %  event(becomeNeutral(agent,agent)).
   39==> mpred_prop(becomeNeutral(agent,agent),event).
   40==> meta_argtypes(becomeNeutral(agent,agent)).
   41
   42% event BecomeEnemies(agent,agent)
   43 %  event(becomeEnemies(agent,agent)).
   44==> mpred_prop(becomeEnemies(agent,agent),event).
   45==> meta_argtypes(becomeEnemies(agent,agent)).
   46
   47
   48% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:23
   49% [agent1,agent2,time]
   50% HoldsAt(FriendOf(agent1,agent2),time) ->
   51% !Holds(EnemyOf(agent1,agent2),time).
   52% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:25
   53axiom(not(holds(enemyOf(Agent1, Agent2), Time)),
   54    [holds_at(friendOf(Agent1, Agent2), Time)]).
   55
   56
   57% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:27
   58% [agent1,agent2,time]
   59% HoldsAt(NeutralOf(agent1,agent2),time) ->
   60% !Holds(EnemyOf(agent1,agent2),time).
   61% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:29
   62axiom(not(holds(enemyOf(Agent1, Agent2), Time)),
   63    [holds_at(neutralOf(Agent1, Agent2), Time)]).
   64
   65
   66% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:31
   67% [agent1,agent2,time]
   68% HoldsAt(FriendOf(agent1,agent2),time) ->
   69% HoldsAt(FriendOf(agent2,agent1),time).
   70% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:33
   71axiom(holds_at(friendOf(Agent2, Agent1), Time),
   72    [holds_at(friendOf(Agent1, Agent2), Time)]).
   73
   74
   75% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:35
   76% [agent1,agent2,time]
   77% HoldsAt(NeutralOf(agent1,agent2),time) ->
   78% HoldsAt(NeutralOf(agent2,agent1),time).
   79% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:37
   80axiom(holds_at(neutralOf(Agent2, Agent1), Time),
   81    [holds_at(neutralOf(Agent1, Agent2), Time)]).
   82
   83
   84% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:39
   85% [agent1,agent2,time]
   86% HoldsAt(EnemyOf(agent1,agent2),time) ->
   87% HoldsAt(EnemyOf(agent2,agent1),time).
   88% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:41
   89axiom(holds_at(enemyOf(Agent2, Agent1), Time),
   90    [holds_at(enemyOf(Agent1, Agent2), Time)]).
   91
   92
   93% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:43
   94% [agent1,agent2,time]
   95% Initiates(BecomeFriends(agent1,agent2),FriendOf(agent1,agent2),time).
   96% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:44
   97axiom(initiates(becomeFriends(Agent1, Agent2), friendOf(Agent1, Agent2), Time),
   98    []).
   99
  100
  101% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:46
  102% [agent1,agent2,time]
  103% Initiates(BecomeFriends(agent1,agent2),FriendOf(agent2,agent1),time).
  104% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:47
  105axiom(initiates(becomeFriends(Agent1, Agent2), friendOf(Agent2, Agent1), Time),
  106    []).
  107
  108
  109% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:49
  110% [agent1,agent2,time]
  111% Terminates(BecomeFriends(agent1,agent2),NeutralOf(agent1,agent2),time).
  112% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:50
  113axiom(terminates(becomeFriends(Agent1, Agent2), neutralOf(Agent1, Agent2), Time),
  114    []).
  115
  116
  117% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:52
  118% [agent1,agent2,time]
  119% Terminates(BecomeFriends(agent1,agent2),NeutralOf(agent2,agent1),time).
  120% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:53
  121axiom(terminates(becomeFriends(Agent1, Agent2), neutralOf(Agent2, Agent1), Time),
  122    []).
  123
  124
  125% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:55
  126% [agent1,agent2,time]
  127% Terminates(BecomeFriends(agent1,agent2),EnemyOf(agent1,agent2),time).
  128% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:56
  129axiom(terminates(becomeFriends(Agent1, Agent2), enemyOf(Agent1, Agent2), Time),
  130    []).
  131
  132
  133% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:58
  134% [agent1,agent2,time]
  135% Terminates(BecomeFriends(agent1,agent2),EnemyOf(agent2,agent1),time).
  136% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:59
  137axiom(terminates(becomeFriends(Agent1, Agent2), enemyOf(Agent2, Agent1), Time),
  138    []).
  139
  140
  141% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:61
  142% [agent1,agent2,time]
  143% Initiates(BecomeEnemies(agent1,agent2),EnemyOf(agent1,agent2),time).
  144% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:62
  145axiom(initiates(becomeEnemies(Agent1, Agent2), enemyOf(Agent1, Agent2), Time),
  146    []).
  147
  148
  149% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:64
  150% [agent1,agent2,time]
  151% Initiates(BecomeEnemies(agent1,agent2),EnemyOf(agent2,agent1),time).
  152% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:65
  153axiom(initiates(becomeEnemies(Agent1, Agent2), enemyOf(Agent2, Agent1), Time),
  154    []).
  155
  156
  157% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:67
  158% [agent1,agent2,time]
  159% Terminates(BecomeEnemies(agent1,agent2),NeutralOf(agent1,agent2),time).
  160% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:68
  161axiom(terminates(becomeEnemies(Agent1, Agent2), neutralOf(Agent1, Agent2), Time),
  162    []).
  163
  164
  165% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:70
  166% [agent1,agent2,time]
  167% Terminates(BecomeEnemies(agent1,agent2),NeutralOf(agent2,agent1),time).
  168% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:71
  169axiom(terminates(becomeEnemies(Agent1, Agent2), neutralOf(Agent2, Agent1), Time),
  170    []).
  171
  172
  173% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:73
  174% [agent1,agent2,time]
  175% Terminates(BecomeEnemies(agent1,agent2),FriendOf(agent1,agent2),time).
  176% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:74
  177axiom(terminates(becomeEnemies(Agent1, Agent2), friendOf(Agent1, Agent2), Time),
  178    []).
  179
  180
  181% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:76
  182% [agent1,agent2,time]
  183% Terminates(BecomeEnemies(agent1,agent2),FriendOf(agent2,agent1),time).
  184% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:77
  185axiom(terminates(becomeEnemies(Agent1, Agent2), friendOf(Agent2, Agent1), Time),
  186    []).
  187
  188
  189% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:79
  190% [agent1,agent2,time]
  191% Initiates(BecomeNeutral(agent1,agent2),NeutralOf(agent1,agent2),time).
  192% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:80
  193axiom(initiates(becomeNeutral(Agent1, Agent2), neutralOf(Agent1, Agent2), Time),
  194    []).
  195
  196
  197% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:82
  198% [agent1,agent2,time]
  199% Initiates(BecomeNeutral(agent1,agent2),NeutralOf(agent2,agent1),time).
  200% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:83
  201axiom(initiates(becomeNeutral(Agent1, Agent2), neutralOf(Agent2, Agent1), Time),
  202    []).
  203
  204
  205% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:85
  206% [agent1,agent2,time]
  207% Terminates(BecomeNeutral(agent1,agent2),FriendOf(agent1,agent2),time).
  208% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:86
  209axiom(terminates(becomeNeutral(Agent1, Agent2), friendOf(Agent1, Agent2), Time),
  210    []).
  211
  212
  213% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:88
  214% [agent1,agent2,time]
  215% Terminates(BecomeNeutral(agent1,agent2),FriendOf(agent2,agent1),time).
  216% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:89
  217axiom(terminates(becomeNeutral(Agent1, Agent2), friendOf(Agent2, Agent1), Time),
  218    []).
  219
  220
  221% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:91
  222% [agent1,agent2,time]
  223% Terminates(BecomeNeutral(agent1,agent2),EnemyOf(agent1,agent2),time).
  224% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:92
  225axiom(terminates(becomeNeutral(Agent1, Agent2), enemyOf(Agent1, Agent2), Time),
  226    []).
  227
  228
  229% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:94
  230% [agent1,agent2,time]
  231% Terminates(BecomeNeutral(agent1,agent2),EnemyOf(agent2,agent1),time).
  232% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:95
  233axiom(terminates(becomeNeutral(Agent1, Agent2), enemyOf(Agent2, Agent1), Time),
  234    []).
  235
  236
  237% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:97
  238% [agent1,agent2,time]
  239% HoldsAt(FriendOf(agent1,agent2),time) ->
  240% HoldsAt(Like(agent1,agent2),time).
  241% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:99
  242axiom(holds_at(like(Agent1, Agent2), Time),
  243    [holds_at(friendOf(Agent1, Agent2), Time)]).
  244
  245
  246% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:101
  247% [agent1,agent2,time]
  248% HoldsAt(EnemyOf(agent1,agent2),time) ->
  249% HoldsAt(Dislike(agent1,agent2),time).
  250% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:103
  251axiom(holds_at(dislike(Agent1, Agent2), Time),
  252    [holds_at(enemyOf(Agent1, Agent2), Time)]).
  253
  254% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:105
  255% fluent AcquaintanceOf(agent,agent)
  256 %  fluent(acquaintanceOf(agent,agent)).
  257% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:106
  258==> mpred_prop(acquaintanceOf(agent,agent),fluent).
  259==> meta_argtypes(acquaintanceOf(agent,agent)).
  260
  261
  262% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:107
  263% [agent,time]
  264 % HoldsAt(AcquaintanceOf(agent,agent),time).
  265holds_at(acquaintanceOf(Agent,Agent),Time).
  266
  267
  268% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:109
  269% [agent1,agent2,time]
  270% HoldsAt(AcquaintanceOf(agent1,agent2),time) ->
  271% HoldsAt(AcquaintanceOf(agent2,agent1),time).
  272% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:111
  273axiom(holds_at(acquaintanceOf(Agent2, Agent1), Time),
  274    [holds_at(acquaintanceOf(Agent1, Agent2), Time)]).
  275
  276% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:113
  277% event Introduce(agent,agent)
  278 %  event(introduce(agent,agent)).
  279% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:114
  280==> mpred_prop(introduce(agent,agent),event).
  281==> meta_argtypes(introduce(agent,agent)).
  282
  283
  284% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:115
  285% [agent1,agent2,time]
  286% Initiates(Introduce(agent1,agent2),
  287%           AcquaintanceOf(agent1,agent2),
  288%           time).
  289% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:118
  290axiom(initiates(introduce(Agent1, Agent2), acquaintanceOf(Agent1, Agent2), Time),
  291    []).
  292
  293
  294% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:120
  295% [agent1,agent2,time]
  296% Initiates(Introduce(agent1,agent2),
  297%           AcquaintanceOf(agent2,agent1),
  298%           time).
  299% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:123
  300axiom(initiates(introduce(Agent1, Agent2), acquaintanceOf(Agent2, Agent1), Time),
  301    []).
  302
  303% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:125
  304% event IntroduceMutual(agent,agent,agent)
  305 %  event(introduceMutual(agent,agent,agent)).
  306% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:126
  307==> mpred_prop(introduceMutual(agent,agent,agent),event).
  308==> meta_argtypes(introduceMutual(agent,agent,agent)).
  309
  310
  311% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:127
  312% [agent1,agent2,agent3,time]
  313% Initiates(IntroduceMutual(agent1,agent2,agent3),
  314%           AcquaintanceOf(agent2,agent3),
  315%           time).
  316% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:130
  317axiom(initiates(introduceMutual(Agent1, Agent2, Agent3), acquaintanceOf(Agent2, Agent3), Time),
  318    []).
  319
  320
  321% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:132
  322% [agent1,agent2,agent3,time]
  323% Initiates(IntroduceMutual(agent1,agent2,agent3),
  324%           AcquaintanceOf(agent3,agent2),
  325%           time).
  326% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:135
  327axiom(initiates(introduceMutual(Agent1, Agent2, Agent3), acquaintanceOf(Agent3, Agent2), Time),
  328    []).
  329
  330
  331% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:137
  332% [agent1,agent2,agent3,time]
  333% Happens(IntroduceMutual(agent1,agent2,agent3),time) ->
  334% HoldsAt(AcquaintanceOf(agent1,agent2),time) &
  335% HoldsAt(AcquaintanceOf(agent1,agent3),time).
  336% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:140
  337axiom(requires(introduceMutual(Agent1, Agent2, Agent3), Time),
  338   
  339    [ holds_at(acquaintanceOf(Agent1, Agent2), Time),
  340      holds_at(acquaintanceOf(Agent1, Agent3), Time)
  341    ]).
  342
  343
  344% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:142
  345%; End of file.