1% ectest/Example1a.e:1
    2% translate: begining  File: ectest/Example1a.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% ; deduction
   14% ectest/Example1a.e:12
   15% 
   16% option timediff off
   17option(timediff, off).
   18
   19% 
   20% load foundations/Root.e
   21load('foundations/Root.e').
   22
   23% load foundations/EC.e
   24load('foundations/EC.e').
   25
   26% 
   27% ectest/Example1a.e:18
   28% sort agent
   29sort(agent).
   30
   31% 
   32% fluent Awake(agent)
   33fluent(awake(agent)).
   34
   35% ;;   executable(wake_up(_X)).
   36% event WakeUp(agent)
   37event(wakeUp(agent)).
   38
   39% 
   40% ;;   axiom(initiates(wake_up(X),awake(X),T),[]).
   41% ectest/Example1a.e:25
   42% [agent,time] % Initiates(WakeUp(agent),Awake(agent),time).
   43initiates(wakeUp(Agent), awake(Agent), Time).
   44
   45% 
   46% 
   47% agent James
   48t(agent, james).
   49
   50% ;; axiom(initially(neg(awake(nathan))),[]). 
   51% !HoldsAt(Awake(James),0).
   52not(holds_at(awake(james), 0)).
   53
   54% 
   55% 
   56% ectest/Example1a.e:31
   57% Delta:
   58directive(delta).
   59
   60 % Happens(WakeUp(James),0).
   61happens(wakeUp(james), 0).
   62
   63% 
   64% 
   65% completion Delta Happens
   66completion(delta).
   67
   68completion(happens).
   69
   70% 
   71% range time 0 1
   72range(time, 0, 1).
   73
   74% range offset 1 1
   75range(offset, 1, 1).
   76
   77% ectest/Example1a.e:37
   78% 
   79% ;;   axiom(terminates(fall_asleep(X),awake(Y),T),[]). 
   80% ;;  
   81% ;;   abducible(dummy).
   82% ;; executable(fall_asleep(_X)).
   83% 
   84% ectest/Example1a.e:43
   85% translate: ending  File: ectest/Example1a.e.pro