 The collection of ontology entities also includes propositions and constraints. They are key in the formulation of the basic principles of information content in situation theory, to be introduced next. 