This document records the changes made to the prolog 
formal representations:

18/5/1998:
----------
Initial form  --> (changes to) New form
dynamical()   --> dyn()
dynamical(occ())  --> dyn(ent_occ()) for entity  occurrence
                      dyn(pro_occ()) for process occurrence
dynamical(occ_att()) --> dyn(ent_occ_att()) for entity  occurrence