ORIGINAL FILE NAME: 10626384.TXT


Key Phrases: 
--------------
specification language
sets S
Emergency Departments
Health Service Circular HSC
natural language
consecutive time point
mathematical specification
all integer
time interval
maximum time
