1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/Cognition.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 Read(agent,text,content)
   16 %  event(read(agent,text,content)).
   17==> mpred_prop(read(agent,text,content),event).
   18==> meta_argtypes(read(agent,text,content)).
   19
   20% event ThinkAbout(agent,content)
   21 %  event(thinkAbout(agent,content)).
   22==> mpred_prop(thinkAbout(agent,content),event).
   23==> meta_argtypes(thinkAbout(agent,content)).
   24
   25% event Think(agent)
   26 %  event(think(agent)).
   27==> mpred_prop(think(agent),event).
   28==> meta_argtypes(think(agent)).
   29
   30% event Understand(agent,content)
   31 %  event(understand(agent,content)).
   32==> mpred_prop(understand(agent,content),event).
   33==> meta_argtypes(understand(agent,content)).
   34
   35% event Dream(agent)
   36 %  event(dream(agent)).
   37==> mpred_prop(dream(agent),event).
   38==> meta_argtypes(dream(agent)).
   39
   40
   41% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Cognition.e:16
   42% [agent,text,content,time]
   43% Happens(Read(agent,text,content),time) ->
   44% HoldsAt(See(agent,text),time).
   45% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Cognition.e:18
   46axiom(requires(read(Agent, Text, Content), Time),
   47    [holds_at(see(Agent, Text), Time)])