This directory contains several predicates definition and data files:

1. dynamic.db: describes predicate post_issue that will be used as
   message content in the I-X message envelope. The I-X message itself
   will then be the message content for AKT-BUS. Example messages are
   included in this file.

2. share.db: defining the common predicates that will be used for
   all.

3. edinburgh.db aberdeen.db: defining the relevant predicates for
   the relevant sites. 

4. abdn-obj.db: stores the objects/instances for Aberdeen technology
   information and relevant dynamic constraints. 

5. ./not-program/new-formal.doc: stores the definition of predicates in more
   details.