Note that this model was never implemented or used (?), so does not document anything of value for an end user or developer.