The limits · The exclusions · Element

The excluded

What is ruled out.

The part

What it is

Categories of inference and categories of use. Both are needed, since an acceptable inference can have an unacceptable use.

Written specifically enough to be applied by someone building something new.

The smallest level

The attributes it carries

Each attribute is one of the framework’s shared types. What a date is, and how it is written, is defined once for the whole model — the note here says what it means in this particular place.