Model Well-formednes
This window shows the well-formednes rules for the active model.
Every fact type must have an intra UC
There must exist at least one Uniqueness Constraint on the roles within the object of fact type.
The N rule must be valid for every nominalized fact type
The N-1 rule must be valid for every fact type
The subtype rule must be valid for every subype
The alias of an object/fact type must be unique
All object type expressions must be used
Non-lexical object types without totality constraints must have a fact type expressions
The actual population of every fact type must be verbalizable
A strict equality constraint must apply on each subtype tupel
Fact types may not contain redundant role combinations
The population should match the value constraints
Facts must have at least one sample population
Roles must have distinct semantic meanings
