1% ectest/Story1.e:1
    2% translate: begining  File: ectest/Story1.e.pro 
    3% ;
    4% ; Copyright (c) 2005 IBM Corporation and others.
    5% ; All rights reserved. This program and the accompanying materials
    6% ; are made available under the terms of the Common Public License v1.0
    7% ; which accompanies this distribution, and is available at
    8% ; http://www.eclipse.org/legal/cpl-v10.html
    9% ;
   10% ; Contributors:
   11% ; IBM - Initial implementation
   12% ;
   13% ; @article{FrankEtAl:2003,
   14% ;   author = "Stefan L. Frank and Mathieu Koppen and Leo G. M. Noordman and Wietske Vonk",
   15% ;   year = "2003",
   16% ;   title = "Modeling knowledge-based inferences in story comprehension",
   17% ;   journal = "Cognitive Science",
   18% ;   volume = "27",
   19% ;   pages = "875--910",
   20% ; }
   21% ;
   22% ectest/Story1.e:20
   23% 
   24% option modeldiff on
   25option(modeldiff, on).
   26
   27% 
   28% load foundations/Root.e
   29load('foundations/Root.e').
   30
   31% load foundations/EC.e
   32load('foundations/EC.e').
   33
   34% 
   35% ectest/Story1.e:26
   36% sort agent
   37sort(agent).
   38
   39% 
   40% include examples/FrankEtAl2003/FrankEtAl.e
   41t(include, 'examples/FrankEtAl2003/FrankEtAl.e').
   42
   43% 
   44% agent Bob, Jilly
   45t(agent, bob).
   46
   47t(agent, jilly).
   48
   49% 
   50% ectest/Story1.e:32
   51% !HoldsAt(Raining(),0).
   52not(holds_at(raining(), 0)).
   53
   54% 
   55% !HoldsAt(SunShining(),0).
   56not(holds_at(sunShining(), 0)).
   57
   58% 
   59% 
   60% (HoldsAt(PlaySoccer(Bob),1) & HoldsAt(PlaySoccer(Jilly),1)) |
   61% (HoldsAt(PlayHideAndSeek(Bob),1) & HoldsAt(PlayHideAndSeek(Jilly),1)) |
   62% (HoldsAt(PlayComputerGame(Bob),1) & HoldsAt(PlayComputerGame(Jilly),1)).
   63(   holds_at(playSoccer(bob), 1),
   64    holds_at(playSoccer(jilly), 1)
   65;   holds_at(playHideAndSeek(bob), 1),
   66    holds_at(playHideAndSeek(jilly), 1)
   67;   holds_at(playComputerGame(bob), 1),
   68    holds_at(playComputerGame(jilly), 1)
   69).
   70
   71% 
   72% ectest/Story1.e:38
   73% 
   74% HoldsAt(Win(Bob),1) | HoldsAt(Win(Jilly),1).
   75(   holds_at(win(bob), 1)
   76;   holds_at(win(jilly), 1)
   77).
   78
   79% 
   80% 
   81% range time 0 1
   82range(time, 0, 1).
   83
   84% range offset 0 0
   85range(offset, 0, 0).
   86
   87% 
   88% ; End of file.
   89% ectest/Story1.e:45
   90% translate: ending  File: ectest/Story1.e.pro