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
46axiom(requires(read(Agent, Text, Content), Time),
47 [holds_at(see(Agent, Text), Time)])