Rules Structure

A Module is divided in chapter with section. A rule with a higher chapter and section number overrides any other lower-numbered section, if you find inconsistent rules. Each module has a ``chapter 1: prolog'' with is nearly same in all modules (except for the foreword) and a ``chapter 2: introduction'', with give a short overview of the module.

Examples explain a difficult rule by a easy to understand example. Examples look like this:

Example:

actual example

Sometimes attributes are written in all capital like ``DEX'' and sometimes like ``Dex''. There is no difference between these different notations, except that ``Dex'' uses less horizontal space on the paper :).

If something appears in italic it should emphasizes something like ``you are not allowed to do that'', e.g it means you are not allowed to do it in any circumstance. If an attribute should appear in italic, only means that it is part of a formula. This also means an error and will be terminated in a later version.

If something appears in typewriter it has something to do with computers, like email-addresses, files, etc.