1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/HandTo.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
   15% event HandTo(agent,agent,physobj)
   16 %  event(handTo(agent,agent,physobj)).
   17==> mpred_prop(handTo(agent,agent,physobj),event).
   18==> meta_argtypes(handTo(agent,agent,physobj)).
   19
   20
   21% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/HandTo.e:13
   22% [agent1,agent2,physobj,time]
   23% Initiates(HandTo(agent1,agent2,physobj),
   24%           Holding(agent2,physobj),
   25%           time).
   26% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/HandTo.e:16
   27axiom(initiates(handTo(Agent1, Agent2, Physobj), holding(Agent2, Physobj), Time),
   28    []).
   29
   30
   31% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/HandTo.e:18
   32% [agent1,agent2,physobj,time]
   33% Terminates(HandTo(agent1,agent2,physobj),
   34%            Holding(agent1,physobj),
   35%            time).
   36% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/HandTo.e:21
   37axiom(terminates(handTo(Agent1, Agent2, Physobj), holding(Agent1, Physobj), Time),
   38    []).
   39
   40
   41% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/HandTo.e:23
   42% [agent1,agent2,physobj,time]
   43% Happens(HandTo(agent1,agent2,physobj),time) ->
   44% HoldsAt(Holding(agent1,physobj),time).
   45% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/HandTo.e:25
   46axiom(requires(handTo(Agent1, Agent2, Physobj), Time),
   47    [holds_at(holding(Agent1, Physobj), Time)]).
   48
   49% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/HandTo.e:27
   50% event ShakeHands(agent,agent)
   51 %  event(shakeHands(agent,agent)).
   52% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/HandTo.e:28
   53==> mpred_prop(shakeHands(agent,agent),event).
   54==> meta_argtypes(shakeHands(agent,agent)).
   55
   56% event WriteOn(agent,paper,pen)
   57 %  event(writeOn(agent,paper,pen)).
   58% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/HandTo.e:30
   59==> mpred_prop(writeOn(agent,paper,pen),event).
   60==>