1% ectest/Example3.e:1
    2% translate: begining  File: ectest/Example3.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% ectest/Example3.e:11
   14% load foundations/Root.e
   15load('foundations/Root.e').
   16
   17% load foundations/EC.e
   18load('foundations/EC.e').
   19
   20% 
   21% sort agent
   22sort(agent).
   23
   24% 
   25% fluent Awake(agent)
   26fluent(awake(agent)).
   27
   28% ectest/Example3.e:17
   29% event WakeUp(agent)
   30event(wakeUp(agent)).
   31
   32% 
   33% ectest/Example3.e:19
   34% [agent,time] % Initiates(WakeUp(agent),Awake(agent),time).
   35initiates(wakeUp(Agent), awake(Agent), Time).
   36
   37% 
   38% 
   39% agent James, Jessie
   40t(agent, james).
   41
   42t(agent, jessie).
   43
   44% !HoldsAt(Awake(James),0).
   45not(holds_at(awake(james), 0)).
   46
   47% 
   48% HoldsAt(Awake(James),1).
   49holds_at(awake(james), 1).
   50
   51% 
   52% 
   53% ectest/Example3.e:25
   54% range time 0 1
   55range(time, 0, 1).
   56
   57% range offset 1 1
   58range(offset, 1, 1).
   59
   60% ectest/Example3.e:27
   61% translate: ending  File: ectest/Example3.e.pro