Object-Role Model ORMModel1.
Constraint Validation Report
"Acronym"
Fact Type ↑
Summary

Term corresponds to label.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint175
Type:
InternalUniquenessConstraint
Verbalization:

It is possible that some term corresponds to more than one label
and that for some label, more than one term corresponds to that label.

In each population of term corresponds to label, each term, label combination occurs at most once.
 ExternalUniquenessConstraint2
Type:
ExternalUniquenessConstraint
Verbalization:

It is obligatory that for each context and term,
at most one acronym is used in that context
and involves that term.
"AcronymIsASubtypeOfStructuralElement"
Fact Type ↑
Summary

Each acronym is an instance of structural element.
Role Players
Constraints
 InternalUniquenessConstraint178
Type:
InternalUniquenessConstraint
Verbalization:

Each acronym is at most one structural element.
 InternalUniquenessConstraint179
Type:
InternalUniquenessConstraint
Verbalization:

Each structural element is at most one acronym.
 SimpleMandatoryConstraint101
Type:
SimpleMandatoryConstraint
Verbalization:

Each acronym is some structural element.
 ExclusionConstraint1
Type:
InclusiveOrConstraint
Verbalization:

For each structural element, exactly one of the following holds:
that structural element is some record;
that structural element is some container;
that structural element is some concept;
that structural element is some acronym.
"AcronymIsInvolvedInAcronymIsUsedInContext"
Fact Type ↑
Summary

Acronym is involved in acronym is used in context.
For each acronym, that acronym is involved in some acronym is used in context.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint64
Type:
InternalUniquenessConstraint
Verbalization:

Each acronym is used in context involves at most one acronym.
 SimpleMandatoryConstraint9
Type:
SimpleMandatoryConstraint
Verbalization:

Each acronym is used in context involves some acronym.
"AcronymIsInvolvedInGlossaryContainsAcronym"
Fact Type ↑
Summary

Acronym is involved in glossary contains acronym.
For each acronym, it is obligatory that that acronym is involved in some glossary contains acronym.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint137
Type:
InternalUniquenessConstraint
Verbalization:

Each glossary contains acronym involves at most one acronym.
 SimpleMandatoryConstraint82
Type:
SimpleMandatoryConstraint
Verbalization:

Each glossary contains acronym involves some acronym.
"AcronymIsUsedInContext"
Fact Type ↑
Summary

Acronym is used in context.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint23
Type:
InternalUniquenessConstraint
Verbalization:

It is possible that some acronym is used in more than one context
and that for some context, more than one acronym is used in that context.

In each population of acronym is used in context, each acronym, context combination occurs at most once.
This association with acronym, context provides the preferred identification scheme for acronym is used in context.
 SimpleMandatoryConstraint102
Type:
SimpleMandatoryConstraint
Verbalization:

Each acronym is used in some context.
"ActionIsASubtypeOfRecord"
Fact Type ↑
Summary

Each action is an instance of record.
Role Players
Constraints
 InternalUniquenessConstraint34
Type:
InternalUniquenessConstraint
Verbalization:

Each action is at most one record.
 InternalUniquenessConstraint35
Type:
InternalUniquenessConstraint
Verbalization:

Each record is at most one action.
 SimpleMandatoryConstraint16
Type:
SimpleMandatoryConstraint
Verbalization:

Each action is some record.
 ExclusiveOrConstraint1
Type:
InclusiveOrConstraint
Verbalization:

For each record, exactly one of the following holds:
that record is some change request;
that record is some action;
that record is some product specific tailoring record;
that record is some product specific request for deviation;
that record is some product specific request for waiver;
that record is some minute of meeting;
that record is some paragraph;
that record is some user;
that record is some glossary entry.
"ChangeRequestIsASubtypeOfRecord"
Fact Type ↑
Summary

Each change request is an instance of record.
Role Players
Constraints
 InternalUniquenessConstraint38
Type:
InternalUniquenessConstraint
Verbalization:

Each change request is at most one record.
 InternalUniquenessConstraint39
Type:
InternalUniquenessConstraint
Verbalization:

Each record is at most one change request.
 SimpleMandatoryConstraint18
Type:
SimpleMandatoryConstraint
Verbalization:

Each change request is some record.
"ChapterComponent"
Fact Type ↑
Summary

Chapter contains at position.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint160
Type:
InternalUniquenessConstraint
Verbalization:

It is possible that some chapter contains at more than one position
and that for some position, more than one chapter contains at that position.

In each population of chapter contains at position, each chapter, position combination occurs at most once.
This association with chapter, position provides the preferred identification scheme for chapter component.
"ChapterComponentContainsChapter"
Fact Type ↑
Summary

Chapter component contains chapter.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint163
Type:
InternalUniquenessConstraint
Verbalization:

Each chapter component contains at most one chapter.
 ExclusiveOrConstraint3
Type:
InclusiveOrConstraint
Verbalization:

For each chapter component, exactly one of the following holds:
that chapter component contains some chapter;
that chapter component contains some paragraph.
"ChapterComponentContainsParagraph"
Fact Type ↑
Summary

Chapter component contains paragraph.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint164
Type:
InternalUniquenessConstraint
Verbalization:

Each chapter component contains at most one paragraph.
"ChapterHasChapterTitle"
Fact Type ↑
Summary

Chapter has chapter title.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint166
Type:
InternalUniquenessConstraint
Verbalization:

Each chapter has at most one chapter title.
 SimpleMandatoryConstraint93
Type:
SimpleMandatoryConstraint
Verbalization:

It is obligatory that each chapter has some chapter title.
"ChapterIsASubtypeOfContainer"
Fact Type ↑
Summary

Each chapter is an instance of container.
Role Players
Constraints
 InternalUniquenessConstraint115
Type:
InternalUniquenessConstraint
Verbalization:

Each chapter is at most one container.
 InternalUniquenessConstraint116
Type:
InternalUniquenessConstraint
Verbalization:

Each container is at most one chapter.
 SimpleMandatoryConstraint64
Type:
SimpleMandatoryConstraint
Verbalization:

Each chapter is some container.
 ExclusionConstraint5
Type:
ExclusionConstraint
Verbalization:

For each container, at most one of the following holds:
that container is some document;
that container is some terms of reference;
that container is some meeting;
that container is some document requirements definition;
that container is some chapter;
that container is some product;
that container is some ECSS pre-tailoring guideline;
that container is some product specific tailoring feedback;
that container is some organization;
that container is some glossary.
"ChapterIsInvolvedInChapterComponent"
Fact Type ↑
Summary

Chapter is involved in chapter component.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint161
Type:
InternalUniquenessConstraint
Verbalization:

Each chapter component involves at most one chapter.
 SimpleMandatoryConstraint91
Type:
SimpleMandatoryConstraint
Verbalization:

Each chapter component involves some chapter.
"ConceptIsASubtypeOfStructuralElement"
Fact Type ↑
Summary

Each concept is an instance of structural element.
Role Players
Constraints
 InternalUniquenessConstraint20
Type:
InternalUniquenessConstraint
Verbalization:

Each concept is at most one structural element.
 InternalUniquenessConstraint21
Type:
InternalUniquenessConstraint
Verbalization:

Each structural element is at most one concept.
 SimpleMandatoryConstraint8
Type:
SimpleMandatoryConstraint
Verbalization:

Each concept is some structural element.
"ConfigurationItemHasConfigurationItemUserIdentifier"
Fact Type ↑
Summary

Configuration item has configuration item user identifier.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint48
Type:
InternalUniquenessConstraint
Verbalization:

Each configuration item has at most one configuration item user identifier.
 InternalUniquenessConstraint106
Type:
InternalUniquenessConstraint
Verbalization:

For each configuration item user identifier, at most one configuration item has that configuration item user identifier.
 SimpleMandatoryConstraint26
Type:
SimpleMandatoryConstraint
Verbalization:

Each configuration item has some configuration item user identifier.
"ConfigurationItemHasObsolescenceDate"
Fact Type ↑
Summary

Configuration item has obsolescence date.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint57
Type:
InternalUniquenessConstraint
Verbalization:

Each configuration item has at most one obsolescence date.
"ConfigurationItemHasUniversallyUniqueIdentifier"
Fact Type ↑
Summary

Configuration item has universally unique identifier.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint96
Type:
InternalUniquenessConstraint
Verbalization:

Each configuration item has at most one universally unique identifier.
 InternalUniquenessConstraint105
Type:
InternalUniquenessConstraint
Verbalization:

For each universally unique identifier, at most one configuration item has that universally unique identifier.
This association with universally unique identifier provides the preferred identification scheme for configuration item.
 SimpleMandatoryConstraint52
Type:
SimpleMandatoryConstraint
Verbalization:

Each configuration item has some universally unique identifier.
"ConfigurationItemIs,AtCreationTime,RepresentedByStructuralElement"
Fact Type ↑
Summary

Configuration item is, at creation time, represented by structural element.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint86
Type:
InternalUniquenessConstraint
Verbalization:

Each configuration item is, at creation time, represented by at most one structural element.
 InternalUniquenessConstraint181
Type:
InternalUniquenessConstraint
Verbalization:

For each structural element, at most one configuration item is, at creation time, represented by that structural element.
 SimpleMandatoryConstraint40
Type:
SimpleMandatoryConstraint
Verbalization:

Each configuration item is, at creation time, represented by some structural element.
"ConfigurationItemIsObsolete"
Fact Type ↑
Summary

*Configuration item is obsolete if and only if
that configuration item has some obsolescence date.

PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint153
Type:
InternalUniquenessConstraint
Verbalization:

In each population of configuration item is obsolete, each configuration item occurs at most once.
"ConfigurationItemIsRepresentedByLastPublishedStructuralElement"
Fact Type ↑
Summary

*Configuration item is represented by last published structural element if and only if
that configuration item is represented by some structural element that is that published structural element that is last publication.

PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint149
Type:
InternalUniquenessConstraint
Verbalization:

Each configuration item is represented by at most one last published structural element.
 InternalUniquenessConstraint154
Type:
InternalUniquenessConstraint
Verbalization:

Each published structural element represents the last publication of at most one configuration item.
"ConfigurationItemIsUnderRevision"
Fact Type ↑
Summary

*Configuration item is under revision if and only if
that configuration item is represented by some last published structural element that can be superseeded by some structural element.

PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint146
Type:
InternalUniquenessConstraint
Verbalization:

In each population of configuration item is under revision, each configuration item occurs at most once.
"ContainerHasStructuralElementType"
Fact Type ↑
Summary

*Container has structural element type if and only if
that container is some document
where structural element type = document
or that container is some document1 that has that structural element type
or that container is some glossary
where structural element type = glossary.


PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint43
Type:
InternalUniquenessConstraint
Verbalization:

It is possible that some container has more than one structural element type
and that for some structural element type, more than one container has that structural element type.

In each population of container has structural element type, each container, structural element type combination occurs at most once.
 SimpleMandatoryConstraint63
Type:
SimpleMandatoryConstraint
Verbalization:

It is obligatory that each container has some structural element type.
"ContainerIsASubtypeOfStructuralElement"
Fact Type ↑
Summary

Each container is an instance of structural element.
Role Players
Constraints
 InternalUniquenessConstraint4
Type:
InternalUniquenessConstraint
Verbalization:

Each container is at most one structural element.
 InternalUniquenessConstraint7
Type:
InternalUniquenessConstraint
Verbalization:

Each structural element is at most one container.
 SimpleMandatoryConstraint1
Type:
SimpleMandatoryConstraint
Verbalization:

Each container is some structural element.
"ContainerIsInvolvedInContainerLogicallyContainsStructuralElementAtPosition"
Fact Type ↑
Summary

Container is involved in container logically contains structural element at position.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint44
Type:
InternalUniquenessConstraint
Verbalization:

Each container logically contains structural element at position involves at most one container.
 SimpleMandatoryConstraint22
Type:
SimpleMandatoryConstraint
Verbalization:

Each container logically contains structural element at position involves some container.
"ContainerLogicallyContainsStructuralElement"
Fact Type ↑
Summary

*Container1 logically contains structural element1 if and only if
that container1 logically contains that structural element1 at some position
or logically contains some structural element2 at some position
where that structural element2 is some container2 that logically contains that structural element1.


PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint1
Type:
InternalUniquenessConstraint
Verbalization:

It is possible that some container logically contains more than one structural element
and that some structural element logically belongs to more than one container.

In each population of container logically contains structural element, each container, structural element combination occurs at most once.
"ContainerLogicallyContainsStructuralElementAtPosition"
Fact Type ↑
Summary

Container logically contains structural element at position.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint47
Type:
InternalUniquenessConstraint
Verbalization:

For each container and position,
that container logically contains at most one structural element at that position.
This association with container, position provides the preferred identification scheme for container logically contains structural element at position.
"ContextEndorsesContext"
Fact Type ↑
Summary

Context endorses context.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint81
Type:
InternalUniquenessConstraint
Verbalization:

It is possible that some context endorses more than one context
and that for some context1, more than one context endorses that context1.

In each population of context endorses context, each context, context combination occurs at most once.
This association with context, context provides the preferred identification scheme for context endorses context.
"ContextHasContextName"
Fact Type ↑
Summary

Context has context name.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint65
Type:
InternalUniquenessConstraint
Verbalization:

Each context has at most one context name.
 SimpleMandatoryConstraint33
Type:
SimpleMandatoryConstraint
Verbalization:

Each context has some context name.
"ContextIsASubtypeOfStructuralElement"
Fact Type ↑
Summary

Each context is an instance of structural element.
Role Players
Constraints
 InternalUniquenessConstraint49
Type:
InternalUniquenessConstraint
Verbalization:

Each context is at most one structural element.
 InternalUniquenessConstraint53
Type:
InternalUniquenessConstraint
Verbalization:

Each structural element is at most one context.
 SimpleMandatoryConstraint72
Type:
SimpleMandatoryConstraint
Verbalization:

Each context is some structural element.
"ContextIsChildOfContext"
Fact Type ↑
Summary

Context is child of context.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint80
Type:
InternalUniquenessConstraint
Verbalization:

Each context is child of at most one context.
 RingConstraint2
Type:
RingConstraint
Verbalization:

No context may cycle back to itself via one or more traversals through context is child of context.
If context2 is parent of some context1
then it is not true that context2 is indirectly related to context1 by repeatedly applying this fact type.
"ContextIsInvolvedInAcronymIsUsedInContext"
Fact Type ↑
Summary

Context is involved in acronym is used in context.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint113
Type:
InternalUniquenessConstraint
Verbalization:

Each acronym is used in context involves at most one context.
 SimpleMandatoryConstraint32
Type:
SimpleMandatoryConstraint
Verbalization:

Each acronym is used in context involves some context.
"ContextIsInvolvedInContextEndorsesContext"
Fact Type ↑
Summary

Context is involved in context endorses context.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint84
Type:
InternalUniquenessConstraint
Verbalization:

Each context endorses context involves at most one context.
 SimpleMandatoryConstraint60
Type:
SimpleMandatoryConstraint
Verbalization:

Each context endorses context involves some context.
"ContextIsInvolvedInContextEndorsesContext"
Fact Type ↑
Summary

Context is involved in context endorses context.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint112
Type:
InternalUniquenessConstraint
Verbalization:

Each context endorses context involves at most one context.
 SimpleMandatoryConstraint61
Type:
SimpleMandatoryConstraint
Verbalization:

Each context endorses context involves some context.
"DocumentComponent"
Fact Type ↑
Summary

Document contains a chapter at position.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint15
Type:
InternalUniquenessConstraint
Verbalization:

It is possible that some document contains a chapter at more than one position
and that for some position, more than one document contains a chapter at that position.

In each population of document contains a chapter at position, each document, position combination occurs at most once.
This association with document, position provides the preferred identification scheme for document component.
 SimpleMandatoryConstraint94
Type:
SimpleMandatoryConstraint
Verbalization:

It is obligatory that each document contains a chapter at some position.
"DocumentComponentLogicallyContainsChapter"
Fact Type ↑
Summary

Document component logically contains chapter.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint159
Type:
InternalUniquenessConstraint
Verbalization:

Each document component logically contains at most one chapter.
 SimpleMandatoryConstraint90
Type:
SimpleMandatoryConstraint
Verbalization:

Each document component logically contains some chapter.
"DocumentDefinesGlossary"
Fact Type ↑
Summary

Document defines glossary.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint165
Type:
InternalUniquenessConstraint
Verbalization:

Each document defines at most one glossary.
"DocumentHasDocumentTitle"
Fact Type ↑
Summary

Document has document title.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint92
Type:
InternalUniquenessConstraint
Verbalization:

Each document has at most one document title.
 SimpleMandatoryConstraint48
Type:
SimpleMandatoryConstraint
Verbalization:

Each document has some document title.
"DocumentHasStructuralElementType"
Fact Type ↑
Summary

*Document has structural element type if and only if
that document is some standard
where structural element type = standard
or that document is some handbook
where structural element type = handbook
or that document is some technical memorandum
where structural element type = technical memorandum.


PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint71
Type:
InternalUniquenessConstraint
Verbalization:

Each document has at most one structural element type.
 SimpleMandatoryConstraint62
Type:
SimpleMandatoryConstraint
Verbalization:

Each document has some structural element type.
"DocumentIsASubtypeOfContainer"
Fact Type ↑
Summary

Each document is an instance of container.
Role Players
Constraints
 InternalUniquenessConstraint89
Type:
InternalUniquenessConstraint
Verbalization:

Each document is at most one container.
 InternalUniquenessConstraint91
Type:
InternalUniquenessConstraint
Verbalization:

Each container is at most one document.
 SimpleMandatoryConstraint21
Type:
SimpleMandatoryConstraint
Verbalization:

Each document is some container.
"DocumentIsInvolvedInDocumentComponent"
Fact Type ↑
Summary

Document is involved in document component.
For each document, it is obligatory that that document is involved in some document component.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint78
Type:
InternalUniquenessConstraint
Verbalization:

Each document component involves at most one document.
 SimpleMandatoryConstraint45
Type:
SimpleMandatoryConstraint
Verbalization:

Each document component involves some document.
"DocumentRequirementsDefinitionIsASubtypeOfContainer"
Fact Type ↑
Summary

Each document requirements definition is an instance of container.
Role Players
Constraints
 InternalUniquenessConstraint103
Type:
InternalUniquenessConstraint
Verbalization:

Each document requirements definition is at most one container.
 InternalUniquenessConstraint104
Type:
InternalUniquenessConstraint
Verbalization:

Each container is at most one document requirements definition.
 SimpleMandatoryConstraint55
Type:
SimpleMandatoryConstraint
Verbalization:

Each document requirements definition is some container.
"ECSS_Pre-tailoringGuidelineIsASubtypeOfContainer"
Fact Type ↑
Summary

Each ECSS pre-tailoring guideline is an instance of container.
Role Players
Constraints
 InternalUniquenessConstraint28
Type:
InternalUniquenessConstraint
Verbalization:

Each ECSS pre-tailoring guideline is at most one container.
 InternalUniquenessConstraint29
Type:
InternalUniquenessConstraint
Verbalization:

Each container is at most one ECSS pre-tailoring guideline.
 SimpleMandatoryConstraint13
Type:
SimpleMandatoryConstraint
Verbalization:

Each ECSS pre-tailoring guideline is some container.
"GlossaryContainsAcronym"
Fact Type ↑
Summary

Glossary contains acronym.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint85
Type:
InternalUniquenessConstraint
Verbalization:

It is possible that some glossary contains more than one acronym
and that some acronym belongs to more than one glossary.

In each population of glossary contains acronym, each glossary, acronym combination occurs at most once.
This association with glossary, acronym provides the preferred identification scheme for glossary contains acronym.
 SimpleMandatoryConstraint44
Type:
SimpleMandatoryConstraint
Verbalization:

It is obligatory that each acronym belongs to some glossary.
"GlossaryContainsGlossaryEntry"
Fact Type ↑
Summary

Glossary contains glossary entry.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint88
Type:
InternalUniquenessConstraint
Verbalization:

Each glossary entry belongs to at most one glossary.
 ExternalUniquenessConstraint1
Type:
ExternalUniquenessConstraint
Verbalization:

For each glossary, context, and term,
at most one glossary entry belongs to that glossary and
is scoped by that context and
uses that term.
 SimpleMandatoryConstraint46
Type:
SimpleMandatoryConstraint
Verbalization:

Each glossary entry belongs to some glossary.
 SimpleMandatoryConstraint42
Type:
SimpleMandatoryConstraint
Verbalization:

It is obligatory that each glossary contains some glossary entry.
"GlossaryEntryHasConceptDefinition"
Fact Type ↑
Summary

Glossary entry has concept definition.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint90
Type:
InternalUniquenessConstraint
Verbalization:

Each glossary entry has at most one concept definition.
 SimpleMandatoryConstraint47
Type:
SimpleMandatoryConstraint
Verbalization:

Each glossary entry has some concept definition.
"GlossaryEntryIsAdaptedFromSource"
Fact Type ↑
Summary

Glossary entry is adapted from source.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint76
Type:
InternalUniquenessConstraint
Verbalization:

Each glossary entry is adapted from at most one source.
 ExclusionConstraint2
Type:
ExclusionConstraint
Verbalization:

For each glossary entry, at most one of the following holds:
that glossary entry is inherited from some source;
that glossary entry is adapted from some source.
"GlossaryEntryIsASubtypeOfRecord"
Fact Type ↑
Summary

Each glossary entry is an instance of record.
Role Players
Constraints
 InternalUniquenessConstraint82
Type:
InternalUniquenessConstraint
Verbalization:

Each glossary entry is at most one record.
 InternalUniquenessConstraint83
Type:
InternalUniquenessConstraint
Verbalization:

Each record is at most one glossary entry.
 SimpleMandatoryConstraint43
Type:
SimpleMandatoryConstraint
Verbalization:

Each glossary entry is some record.
"GlossaryEntryIsInheritedFromSource"
Fact Type ↑
Summary

Glossary entry is inherited from source.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint75
Type:
InternalUniquenessConstraint
Verbalization:

Each glossary entry is inherited from at most one source.
"GlossaryEntryIsInvolvedInGlossaryEntryNote"
Fact Type ↑
Summary

Glossary entry is involved in glossary entry note.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint77
Type:
InternalUniquenessConstraint
Verbalization:

Each glossary entry note involves at most one glossary entry.
 SimpleMandatoryConstraint36
Type:
SimpleMandatoryConstraint
Verbalization:

Each glossary entry note involves some glossary entry.
"GlossaryEntryIsScopedByContext"
Fact Type ↑
Summary

+Glossary entry is scoped by context if
that glossary entry belongs to some glossary that is that context.

PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint72
Type:
InternalUniquenessConstraint
Verbalization:

Each glossary entry is scoped by at most one context.
"GlossaryEntryNote"
Fact Type ↑
Summary

Glossary entry contains a note at position.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint67
Type:
InternalUniquenessConstraint
Verbalization:

It is possible that some glossary entry contains a note at more than one position
and that for some position, more than one glossary entry contains a note at that position.

In each population of glossary entry contains a note at position, each glossary entry, position combination occurs at most once.
This association with glossary entry, position provides the preferred identification scheme for glossary entry note.
"GlossaryEntryNoteHasInformativeParagraph"
Fact Type ↑
Summary

Glossary entry note has informative paragraph.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint14
Type:
InternalUniquenessConstraint
Verbalization:

Each glossary entry note has at most one informative paragraph.
 SimpleMandatoryConstraint37
Type:
SimpleMandatoryConstraint
Verbalization:

Each glossary entry note has some informative paragraph.
"GlossaryEntryProvidesADefinitionForConcept"
Fact Type ↑
Summary

Glossary entry provides a definition for concept.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint69
Type:
InternalUniquenessConstraint
Verbalization:

Each glossary entry provides a definition for at most one concept.
 SimpleMandatoryConstraint41
Type:
SimpleMandatoryConstraint
Verbalization:

For each concept, some glossary entry provides a definition for that concept.
"GlossaryEntryUsesTerm"
Fact Type ↑
Summary

Glossary entry uses term.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint74
Type:
InternalUniquenessConstraint
Verbalization:

Each glossary entry uses at most one term.
 SimpleMandatoryConstraint103
Type:
SimpleMandatoryConstraint
Verbalization:

Each glossary entry uses some term.
"GlossaryIsASubtypeOfContainer"
Fact Type ↑
Summary

Each glossary is an instance of container.
Role Players
Constraints
 InternalUniquenessConstraint17
Type:
InternalUniquenessConstraint
Verbalization:

Each glossary is at most one container.
 InternalUniquenessConstraint18
Type:
InternalUniquenessConstraint
Verbalization:

Each container is at most one glossary.
 SimpleMandatoryConstraint7
Type:
SimpleMandatoryConstraint
Verbalization:

Each glossary is some container.
"GlossaryIsASubtypeOfContext"
Fact Type ↑
Summary

Each glossary is an instance of context.
Role Players
Constraints
 InternalUniquenessConstraint134
Type:
InternalUniquenessConstraint
Verbalization:

Each glossary is at most one context.
 InternalUniquenessConstraint180
Type:
InternalUniquenessConstraint
Verbalization:

Each context is at most one glossary.
 SimpleMandatoryConstraint104
Type:
SimpleMandatoryConstraint
Verbalization:

Each glossary is some context.
"GlossaryIsInvolvedInGlossaryContainsAcronym"
Fact Type ↑
Summary

Glossary is involved in glossary contains acronym.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint114
Type:
InternalUniquenessConstraint
Verbalization:

Each glossary contains acronym involves at most one glossary.
 SimpleMandatoryConstraint77
Type:
SimpleMandatoryConstraint
Verbalization:

Each glossary contains acronym involves some glossary.
"HandbookIsASubtypeOfDocument"
Fact Type ↑
Summary

Each handbook is an instance of document.
Role Players
Constraints
 InternalUniquenessConstraint97
Type:
InternalUniquenessConstraint
Verbalization:

Each handbook is at most one document.
 InternalUniquenessConstraint98
Type:
InternalUniquenessConstraint
Verbalization:

Each document is at most one handbook.
 SimpleMandatoryConstraint51
Type:
SimpleMandatoryConstraint
Verbalization:

Each handbook is some document.
 ExclusionConstraint7
Type:
ExclusionConstraint
Verbalization:

For each document, at most one of the following holds:
that document is some standard;
that document is some handbook;
that document is some technical memorandum.
"InContext,ConceptIsIdentifiedByTermAndDefinedByConceptDefinition"
Fact Type ↑
Summary

*In context, concept is identified by term and defined by concept definition if and only if
some glossary entry provides a definition for that concept
where that glossary entry is scoped by that context
and uses that term
and has that concept definition.


PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint68
Type:
InternalUniquenessConstraint
Verbalization:

It is possible that for some context, concept, and term, in that context, that concept is identified by that term and defined by more than one concept definition
and that for some context, concept, and concept definition, in that context, that concept is identified by more than one term and defined by that concept definition

and that for some context, term, and concept definition, in that context, more than one concept is identified by that term and defined by that concept definition

and that for some concept, term, and concept definition, in more than one context, that concept is identified by that term and defined by that concept definition.

In each population of in context, concept is identified by term and defined by concept definition, each context, concept, term, concept definition combination occurs at most once.
 SimpleMandatoryConstraint39
Type:
SimpleMandatoryConstraint
Verbalization:

For each concept,
in some context, that concept is identified by some term and defined by some concept definition.
"InformativeParagraphIsASubtypeOfParagraph"
Fact Type ↑
Summary

Each informative paragraph is an instance of paragraph.
Role Players
Constraints
 InternalUniquenessConstraint129
Type:
InternalUniquenessConstraint
Verbalization:

Each paragraph is at most one informative paragraph.
 InternalUniquenessConstraint130
Type:
InternalUniquenessConstraint
Verbalization:

Each informative paragraph is at most one paragraph.
 SimpleMandatoryConstraint71
Type:
SimpleMandatoryConstraint
Verbalization:

Each informative paragraph is some paragraph.
 ExclusiveOrConstraint2
Type:
InclusiveOrConstraint
Verbalization:

For each paragraph, exactly one of the following holds:
that paragraph is some informative paragraph;
that paragraph is some persuasive paragraph.
"labelIsASubtypeOfTerm"
Fact Type ↑
Summary

Each label is an instance of term.
Role Players
Constraints
 InternalUniquenessConstraint126
Type:
InternalUniquenessConstraint
Verbalization:

Each label is at most one term.
 InternalUniquenessConstraint131
Type:
InternalUniquenessConstraint
Verbalization:

Each term is at most one label.
 SimpleMandatoryConstraint74
Type:
SimpleMandatoryConstraint
Verbalization:

Each label is some term.
"LabelIsInvolvedInAcronym"
Fact Type ↑
Summary

Label is involved in acronym.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint177
Type:
InternalUniquenessConstraint
Verbalization:

Each acronym involves at most one label.
 SimpleMandatoryConstraint100
Type:
SimpleMandatoryConstraint
Verbalization:

Each acronym involves some label.
"MeetingIsASubtypeOfContainer"
Fact Type ↑
Summary

Each meeting is an instance of container.
Role Players
Constraints
 InternalUniquenessConstraint107
Type:
InternalUniquenessConstraint
Verbalization:

Each meeting is at most one container.
 InternalUniquenessConstraint108
Type:
InternalUniquenessConstraint
Verbalization:

Each container is at most one meeting.
 SimpleMandatoryConstraint57
Type:
SimpleMandatoryConstraint
Verbalization:

Each meeting is some container.
"MeetingRefersToMeetingTitle"
Fact Type ↑
Summary

Meeting refers to meeting title.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint119
Type:
InternalUniquenessConstraint
Verbalization:

Each meeting refers to at most one meeting title.
"MinuteOfMeetingBelongsToMeeting"
Fact Type ↑
Summary

Minute of meeting belongs to meeting.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint111
Type:
InternalUniquenessConstraint
Verbalization:

Each minute of meeting belongs to at most one meeting.
 SimpleMandatoryConstraint59
Type:
SimpleMandatoryConstraint
Verbalization:

Each minute of meeting belongs to some meeting.
 SimpleMandatoryConstraint56
Type:
SimpleMandatoryConstraint
Verbalization:

It is obligatory that each meeting contains some minute of meeting.
"MinuteOfMeetingIsASubtypeOfRecord"
Fact Type ↑
Summary

Each minute of meeting is an instance of record.
Role Players
Constraints
 InternalUniquenessConstraint40
Type:
InternalUniquenessConstraint
Verbalization:

Each minute of meeting is at most one record.
 InternalUniquenessConstraint41
Type:
InternalUniquenessConstraint
Verbalization:

Each record is at most one minute of meeting.
 SimpleMandatoryConstraint19
Type:
SimpleMandatoryConstraint
Verbalization:

Each minute of meeting is some record.
"OrganizationHasCurrentTerm"
Fact Type ↑
Summary

Organization has current term.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint172
Type:
InternalUniquenessConstraint
Verbalization:

Each organization has at most one current term.
 InternalUniquenessConstraint173
Type:
InternalUniquenessConstraint
Verbalization:

For each current term, at most one organization has that current term.
 SimpleMandatoryConstraint97
Type:
SimpleMandatoryConstraint
Verbalization:

Each organization has some current term.
 SubsetConstraint3
Type:
SubsetConstraint
Verbalization:

If some organization has some current term then that organization is identified by that term.
"OrganizationHasOrganizationName"
Fact Type ↑
Summary

*Organization has organization name if and only if
that organization is identified by some term1 that is that organization name
or is identified by some term2 that is involved in some acronym
that is used in some context
and involves some label that is that organization name.


PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint171
Type:
InternalUniquenessConstraint
Verbalization:

For each organization name, at most one organization has that organization name.
 SimpleMandatoryConstraint96
Type:
SimpleMandatoryConstraint
Verbalization:

Each organization has some organization name.
"OrganizationIsASubtypeOfContainer"
Fact Type ↑
Summary

Each organization is an instance of container.
Role Players
Constraints
 InternalUniquenessConstraint19
Type:
InternalUniquenessConstraint
Verbalization:

Each organization is at most one container.
 InternalUniquenessConstraint24
Type:
InternalUniquenessConstraint
Verbalization:

Each container is at most one organization.
 SimpleMandatoryConstraint10
Type:
SimpleMandatoryConstraint
Verbalization:

Each organization is some container.
"OrganizationIsASubtypeOfContext"
Fact Type ↑
Summary

Each organization is an instance of context.
Role Players
Constraints
 InternalUniquenessConstraint22
Type:
InternalUniquenessConstraint
Verbalization:

Each organization is at most one context.
 InternalUniquenessConstraint124
Type:
InternalUniquenessConstraint
Verbalization:

Each context is at most one organization.
 SimpleMandatoryConstraint73
Type:
SimpleMandatoryConstraint
Verbalization:

Each organization is some context.
"OrganizationIsIdentifiedByTerm"
Fact Type ↑
Summary

Organization is identified by term.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint174
Type:
InternalUniquenessConstraint
Verbalization:

For each term, at most one organization is identified by that term.
 SimpleMandatoryConstraint98
Type:
SimpleMandatoryConstraint
Verbalization:

Each organization is identified by some term.
"ParagraphHasStructuralElementType"
Fact Type ↑
Summary

*Paragraph has structural element type if and only if
that paragraph is some informative paragraph
where structural element type = informative paragraph
or that paragraph is some persuasive paragraph
where structural element type = persuasive paragraph
or that paragraph is some persuasive paragraph1 that has that structural element type.


PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint135
Type:
InternalUniquenessConstraint
Verbalization:

It is possible that some paragraph has more than one structural element type
and that for some structural element type, more than one paragraph has that structural element type.

In each population of paragraph has structural element type, each paragraph, structural element type combination occurs at most once.
 SimpleMandatoryConstraint75
Type:
SimpleMandatoryConstraint
Verbalization:

Each paragraph has some structural element type.
"ParagraphIsASubtypeOfRecord"
Fact Type ↑
Summary

Each paragraph is an instance of record.
Role Players
Constraints
 InternalUniquenessConstraint120
Type:
InternalUniquenessConstraint
Verbalization:

Each paragraph is at most one record.
 InternalUniquenessConstraint125
Type:
InternalUniquenessConstraint
Verbalization:

Each record is at most one paragraph.
 SimpleMandatoryConstraint66
Type:
SimpleMandatoryConstraint
Verbalization:

Each paragraph is some record.
"ParagraphWordingIsOfParagraph"
Fact Type ↑
Summary

Paragraph wording is of paragraph.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint138
Type:
InternalUniquenessConstraint
Verbalization:

Each paragraph has at most one paragraph wording.
 SimpleMandatoryConstraint78
Type:
SimpleMandatoryConstraint
Verbalization:

Each paragraph has some paragraph wording.
"PermissionIsASubtypeOfPersuasiveParagraph"
Fact Type ↑
Summary

Each permission is an instance of persuasive paragraph.
Role Players
Constraints
 InternalUniquenessConstraint142
Type:
InternalUniquenessConstraint
Verbalization:

Each permission is at most one persuasive paragraph.
 InternalUniquenessConstraint143
Type:
InternalUniquenessConstraint
Verbalization:

Each persuasive paragraph is at most one permission.
 SimpleMandatoryConstraint80
Type:
SimpleMandatoryConstraint
Verbalization:

Each permission is some persuasive paragraph.
 ExclusionConstraint3
Type:
InclusiveOrConstraint
Verbalization:

For each persuasive paragraph, exactly one of the following holds:
that persuasive paragraph is some requirement;
that persuasive paragraph is some permission;
that persuasive paragraph is some recommendation.
"PermissionProvidesAlternativeMeansOfComplianceToRequirement"
Fact Type ↑
Summary

Permission provides alternative means of compliance to requirement.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint147
Type:
InternalUniquenessConstraint
Verbalization:

Each permission provides alternative means of compliance to at most one requirement.
 SimpleMandatoryConstraint83
Type:
SimpleMandatoryConstraint
Verbalization:

It is obligatory that each permission provides alternative means of compliance to some requirement.
"PersuasiveParagraphHasStructuralElementType"
Fact Type ↑
Summary

*Persuasive paragraph has structural element type if and only if
that persuasive paragraph is some requirement
where structural element type = requirement
or that persuasive paragraph is some recommendation
where structural element type = recommendation
or that persuasive paragraph is some permission
where structural element type = permission.


PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint136
Type:
InternalUniquenessConstraint
Verbalization:

Each persuasive paragraph has at most one structural element type.
 SimpleMandatoryConstraint76
Type:
SimpleMandatoryConstraint
Verbalization:

Each persuasive paragraph has some structural element type.
"PersuasiveParagraphIsASubtypeOfParagraph"
Fact Type ↑
Summary

Each persuasive paragraph is an instance of paragraph.
Role Players
Constraints
 InternalUniquenessConstraint127
Type:
InternalUniquenessConstraint
Verbalization:

Each persuasive paragraph is at most one paragraph.
 InternalUniquenessConstraint128
Type:
InternalUniquenessConstraint
Verbalization:

Each paragraph is at most one persuasive paragraph.
 SimpleMandatoryConstraint70
Type:
SimpleMandatoryConstraint
Verbalization:

Each persuasive paragraph is some paragraph.
"PersuasiveParagraphIsInvolvedInPersuasiveParagraphNote"
Fact Type ↑
Summary

Persuasive paragraph is involved in persuasive paragraph note.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint2
Type:
InternalUniquenessConstraint
Verbalization:

Each persuasive paragraph note involves at most one persuasive paragraph.
 SimpleMandatoryConstraint2
Type:
SimpleMandatoryConstraint
Verbalization:

Each persuasive paragraph note involves some persuasive paragraph.
"PersuasiveParagraphNote"
Fact Type ↑
Summary

Persuasive paragraph contains a note at position.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint13
Type:
InternalUniquenessConstraint
Verbalization:

It is possible that some persuasive paragraph contains a note at more than one position
and that for some position, more than one persuasive paragraph contains a note at that position.

In each population of persuasive paragraph contains a note at position, each persuasive paragraph, position combination occurs at most once.
This association with persuasive paragraph, position provides the preferred identification scheme for persuasive paragraph note.
"PersuasiveParagraphNoteContainsInformativeParagraph"
Fact Type ↑
Summary

Persuasive paragraph note contains informative paragraph.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint5
Type:
InternalUniquenessConstraint
Verbalization:

Each persuasive paragraph note contains at most one informative paragraph.
 SimpleMandatoryConstraint5
Type:
SimpleMandatoryConstraint
Verbalization:

Each persuasive paragraph note contains some informative paragraph.
"PositionIsInvolvedInChapterComponent"
Fact Type ↑
Summary

Position is involved in chapter component.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint162
Type:
InternalUniquenessConstraint
Verbalization:

Each chapter component involves at most one position.
 SimpleMandatoryConstraint92
Type:
SimpleMandatoryConstraint
Verbalization:

Each chapter component involves some position.
"PositionIsInvolvedInContainerLogicallyContainsStructuralElementAtPosition"
Fact Type ↑
Summary

Position is involved in container logically contains structural element at position.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint46
Type:
InternalUniquenessConstraint
Verbalization:

Each container logically contains structural element at position involves at most one position.
 SimpleMandatoryConstraint24
Type:
SimpleMandatoryConstraint
Verbalization:

Each container logically contains structural element at position involves some position.
"PositionIsInvolvedInDocumentComponent"
Fact Type ↑
Summary

Position is involved in document component.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint87
Type:
InternalUniquenessConstraint
Verbalization:

Each document component involves at most one position.
 SimpleMandatoryConstraint89
Type:
SimpleMandatoryConstraint
Verbalization:

Each document component involves some position.
"PositionIsInvolvedInGlossaryEntryNote"
Fact Type ↑
Summary

Position is involved in glossary entry note.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint79
Type:
InternalUniquenessConstraint
Verbalization:

Each glossary entry note involves at most one position.
 SimpleMandatoryConstraint38
Type:
SimpleMandatoryConstraint
Verbalization:

Each glossary entry note involves some position.
"PositionIsInvolvedInPersuasiveParagraphNote"
Fact Type ↑
Summary

Position is involved in persuasive paragraph note.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint12
Type:
InternalUniquenessConstraint
Verbalization:

Each persuasive paragraph note involves at most one position.
 SimpleMandatoryConstraint6
Type:
SimpleMandatoryConstraint
Verbalization:

Each persuasive paragraph note involves some position.
"ProductIsASubtypeOfContainer"
Fact Type ↑
Summary

Each product is an instance of container.
Role Players
Constraints
 InternalUniquenessConstraint117
Type:
InternalUniquenessConstraint
Verbalization:

Each product is at most one container.
 InternalUniquenessConstraint118
Type:
InternalUniquenessConstraint
Verbalization:

Each container is at most one product.
 SimpleMandatoryConstraint65
Type:
SimpleMandatoryConstraint
Verbalization:

Each product is some container.
"ProductSpecificRequestForDeviationIsASubtypeOfRecord"
Fact Type ↑
Summary

Each product specific request for deviation is an instance of record.
Role Players
Constraints
 InternalUniquenessConstraint32
Type:
InternalUniquenessConstraint
Verbalization:

Each product specific request for deviation is at most one record.
 InternalUniquenessConstraint33
Type:
InternalUniquenessConstraint
Verbalization:

Each record is at most one product specific request for deviation.
 SimpleMandatoryConstraint15
Type:
SimpleMandatoryConstraint
Verbalization:

Each product specific request for deviation is some record.
"ProductSpecificRequestForWaiverIsASubtypeOfRecord"
Fact Type ↑
Summary

Each product specific request for waiver is an instance of record.
Role Players
Constraints
 InternalUniquenessConstraint36
Type:
InternalUniquenessConstraint
Verbalization:

Each product specific request for waiver is at most one record.
 InternalUniquenessConstraint37
Type:
InternalUniquenessConstraint
Verbalization:

Each record is at most one product specific request for waiver.
 SimpleMandatoryConstraint17
Type:
SimpleMandatoryConstraint
Verbalization:

Each product specific request for waiver is some record.
"ProductSpecificTailoringFeedbackIsASubtypeOfContainer"
Fact Type ↑
Summary

Each product specific tailoring feedback is an instance of container.
Role Players
Constraints
 InternalUniquenessConstraint109
Type:
InternalUniquenessConstraint
Verbalization:

Each product specific tailoring feedback is at most one container.
 InternalUniquenessConstraint110
Type:
InternalUniquenessConstraint
Verbalization:

Each container is at most one product specific tailoring feedback.
 SimpleMandatoryConstraint58
Type:
SimpleMandatoryConstraint
Verbalization:

Each product specific tailoring feedback is some container.
"ProductSpecificTailoringRecordIsASubtypeOfRecord"
Fact Type ↑
Summary

Each product specific tailoring record is an instance of record.
Role Players
Constraints
 InternalUniquenessConstraint30
Type:
InternalUniquenessConstraint
Verbalization:

Each product specific tailoring record is at most one record.
 InternalUniquenessConstraint31
Type:
InternalUniquenessConstraint
Verbalization:

Each record is at most one product specific tailoring record.
 SimpleMandatoryConstraint14
Type:
SimpleMandatoryConstraint
Verbalization:

Each product specific tailoring record is some record.
"PublicationJustificationTypeHasPublicationJustificationTypeCode"
Fact Type ↑
Summary

Publication justification type has publication justification type code.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint155
Type:
InternalUniquenessConstraint
Verbalization:

For each publication justification type code, at most one publication justification type has that publication justification type code.
This association with publication justification type code provides the preferred identification scheme for publication justification type.
 InternalUniquenessConstraint156
Type:
InternalUniquenessConstraint
Verbalization:

Each publication justification type has at most one publication justification type code.
 SimpleMandatoryConstraint86
Type:
SimpleMandatoryConstraint
Verbalization:

Each publication justification type has some publication justification type code.
"PublicationJustificationTypeHasPublicationJustificationTypeDescription"
Fact Type ↑
Summary

Publication justification type has publication justification type description.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint26
Type:
InternalUniquenessConstraint
Verbalization:

Each publication justification type has at most one publication justification type description.
 SimpleMandatoryConstraint68
Type:
SimpleMandatoryConstraint
Verbalization:

Each publication justification type has some publication justification type description.
"PublishedStructuralElementHasPublicationDate"
Fact Type ↑
Summary

Published structural element has publication date.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint56
Type:
InternalUniquenessConstraint
Verbalization:

Each published structural element has at most one publication date.
 SimpleMandatoryConstraint25
Type:
SimpleMandatoryConstraint
Verbalization:

Each published structural element has some publication date.
"PublishedStructuralElementHasPublicationJustificationType"
Fact Type ↑
Summary

Published structural element has publication justification type.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint157
Type:
InternalUniquenessConstraint
Verbalization:

Each published structural element has at most one publication justification type.
 SimpleMandatoryConstraint87
Type:
SimpleMandatoryConstraint
Verbalization:

Each published structural element has some publication justification type.
"PublishedStructuralElementHasPublishedStructuralElementUserIdentifier"
Fact Type ↑
Summary

*Published structural element has published structural element user identifier if and only if
that published structural element is some structural element that is published
and has that structural element user identifier.


PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint185
Type:
InternalUniquenessConstraint
Verbalization:

Each published structural element has at most one published structural element user identifier.
 InternalUniquenessConstraint187
Type:
InternalUniquenessConstraint
Verbalization:

For each published structural element user identifier, at most one published structural element has that published structural element user identifier.
"PublishedStructuralElementIsASubtypeOfReleasedStructuralElement"
Fact Type ↑
Summary

Each published structural element is an instance of released structural element.
Role Players
Constraints
 InternalUniquenessConstraint121
Type:
InternalUniquenessConstraint
Verbalization:

Each published structural element is at most one released structural element.
 InternalUniquenessConstraint123
Type:
InternalUniquenessConstraint
Verbalization:

Each released structural element is at most one published structural element.
 SimpleMandatoryConstraint69
Type:
SimpleMandatoryConstraint
Verbalization:

Each published structural element is some released structural element.
"PublishedStructuralElementIsLastPublication"
Fact Type ↑
Summary

*Published structural element is last publication if and only if
some configuration item is represented by that last published structural element.

PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint151
Type:
InternalUniquenessConstraint
Verbalization:

In each population of published structural element is last publication, each published structural element occurs at most once.
"PublishedStructuralElementIsSuperseededByANewVersion"
Fact Type ↑
Summary

*Published structural element- is superseeded by a new version if and only if
that published structural element can be superseeded by some structural element that is published.

PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint150
Type:
InternalUniquenessConstraint
Verbalization:

In each population of published structural element- is superseeded by a new version, each published structural element occurs at most once.
"PublishedStructuralElementIsSuperseededByObsolescence"
Fact Type ↑
Summary

*Published structural element is superseeded by obsolescence if and only if
that published structural element represents the last publication of some configuration item that is obsolete
and it is not true that (that published structural element- is superseeded by a new version).


PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint70
Type:
InternalUniquenessConstraint
Verbalization:

In each population of published structural element is superseeded by obsolescence, each published structural element occurs at most once.
"PublishedStructuralElementIsUnderRevision"
Fact Type ↑
Summary

*Published structural element is under revision if and only if
that published structural element can be superseeded by some structural element.

PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint139
Type:
InternalUniquenessConstraint
Verbalization:

In each population of published structural element is under revision, each published structural element occurs at most once.
"RecommendationHasImpactDefinitionDescribingWhatHappensIfThatRecommendationIsNotFulfilled"
Fact Type ↑
Summary

Recommendation has impact definition describing what happens if that recommendation is not fulfilled.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint148
Type:
InternalUniquenessConstraint
Verbalization:

Each recommendation has at most one impact definition describing what happens if that recommendation is not fulfilled.
 SimpleMandatoryConstraint84
Type:
SimpleMandatoryConstraint
Verbalization:

Each recommendation has some impact definition describing what happens if that recommendation is not fulfilled.
"RecommendationIsASubtypeOfPersuasiveParagraph"
Fact Type ↑
Summary

Each recommendation is an instance of persuasive paragraph.
Role Players
Constraints
 InternalUniquenessConstraint144
Type:
InternalUniquenessConstraint
Verbalization:

Each recommendation is at most one persuasive paragraph.
 InternalUniquenessConstraint145
Type:
InternalUniquenessConstraint
Verbalization:

Each persuasive paragraph is at most one recommendation.
 SimpleMandatoryConstraint81
Type:
SimpleMandatoryConstraint
Verbalization:

Each recommendation is some persuasive paragraph.
"RecordHasStructuralElementType"
Fact Type ↑
Summary

*Record has structural element type if and only if
that record is some paragraph
where structural element type = paragraph
or that record is some paragraph1 that has that structural element type.


PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint42
Type:
InternalUniquenessConstraint
Verbalization:

It is possible that some record has more than one structural element type
and that for some structural element type, more than one record has that structural element type.

In each population of record has structural element type, each record, structural element type combination occurs at most once.
 SimpleMandatoryConstraint20
Type:
SimpleMandatoryConstraint
Verbalization:

Each record has some structural element type.
"RecordIsASubtypeOfStructuralElement"
Fact Type ↑
Summary

Each record is an instance of structural element.
Role Players
Constraints
 InternalUniquenessConstraint8
Type:
InternalUniquenessConstraint
Verbalization:

Each record is at most one structural element.
 InternalUniquenessConstraint9
Type:
InternalUniquenessConstraint
Verbalization:

Each structural element is at most one record.
 SimpleMandatoryConstraint4
Type:
SimpleMandatoryConstraint
Verbalization:

Each record is some structural element.
"ReleasedStructuralElementHasReleaseDate"
Fact Type ↑
Summary

Released structural element has release date.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint52
Type:
InternalUniquenessConstraint
Verbalization:

Each released structural element has at most one release date.
 SimpleMandatoryConstraint67
Type:
SimpleMandatoryConstraint
Verbalization:

Each released structural element has some release date.
"ReleasedStructuralElementHasReleasedStructuralElementUserIdentifier"
Fact Type ↑
Summary

*Released structural element has released structural element user identifier if and only if
that released structural element is some structural element that is released
and has that structural element user identifier.


PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint184
Type:
InternalUniquenessConstraint
Verbalization:

Each released structural element has at most one released structural element user identifier.
 InternalUniquenessConstraint186
Type:
InternalUniquenessConstraint
Verbalization:

For each released structural element user identifier, at most one released structural element has that released structural element user identifier.
"ReleasedStructuralElementHasReleaseJustificationType"
Fact Type ↑
Summary

Released structural element has release justification type.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint62
Type:
InternalUniquenessConstraint
Verbalization:

Each released structural element has at most one release justification type.
 SimpleMandatoryConstraint30
Type:
SimpleMandatoryConstraint
Verbalization:

Each released structural element has some release justification type.
"ReleasedStructuralElementIsASubtypeOfStructuralElement"
Fact Type ↑
Summary

Each released structural element is an instance of structural element.
Role Players
Constraints
 InternalUniquenessConstraint11
Type:
InternalUniquenessConstraint
Verbalization:

Each released structural element is at most one structural element.
 InternalUniquenessConstraint59
Type:
InternalUniquenessConstraint
Verbalization:

Each structural element is at most one released structural element.
 SimpleMandatoryConstraint28
Type:
SimpleMandatoryConstraint
Verbalization:

Each released structural element is some structural element.
"ReleaseJustificationTypeHasReleaseJustificationTypeCode"
Fact Type ↑
Summary

Release justification type has release justification type code.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint60
Type:
InternalUniquenessConstraint
Verbalization:

For each release justification type code, at most one release justification type has that release justification type code.
This association with release justification type code provides the preferred identification scheme for release justification type.
 InternalUniquenessConstraint61
Type:
InternalUniquenessConstraint
Verbalization:

Each release justification type has at most one release justification type code.
 SimpleMandatoryConstraint29
Type:
SimpleMandatoryConstraint
Verbalization:

Each release justification type has some release justification type code.
"ReleaseJustificationTypeHasReleaseJustificationTypeDescription"
Fact Type ↑
Summary

Release justification type has release justification type description.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint63
Type:
InternalUniquenessConstraint
Verbalization:

Each release justification type has at most one release justification type description.
 SimpleMandatoryConstraint31
Type:
SimpleMandatoryConstraint
Verbalization:

Each release justification type has some release justification type description.
"RequirementIsASubtypeOfPersuasiveParagraph"
Fact Type ↑
Summary

Each requirement is an instance of persuasive paragraph.
Role Players
Constraints
 InternalUniquenessConstraint140
Type:
InternalUniquenessConstraint
Verbalization:

Each requirement is at most one persuasive paragraph.
 InternalUniquenessConstraint141
Type:
InternalUniquenessConstraint
Verbalization:

Each persuasive paragraph is at most one requirement.
 SimpleMandatoryConstraint79
Type:
SimpleMandatoryConstraint
Verbalization:

Each requirement is some persuasive paragraph.
"SourceAddressesContext"
Fact Type ↑
Summary

Source addresses context.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint133
Type:
InternalUniquenessConstraint
Verbalization:

Each source addresses at most one context.
 ExternalUniquenessConstraint6
Type:
ExternalUniquenessConstraint
Verbalization:

For each glossary, term, and context,
at most one source comes from that glossary and
uses that term and
addresses that context.

This association with glossary, term, context provides the preferred identification scheme for source.
"SourceComesFromGlossary"
Fact Type ↑
Summary

Source comes from glossary.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint73
Type:
InternalUniquenessConstraint
Verbalization:

Each source comes from at most one glossary.
 SimpleMandatoryConstraint34
Type:
SimpleMandatoryConstraint
Verbalization:

Each source comes from some glossary.
"SourceUsesTerm"
Fact Type ↑
Summary

Source uses term.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint66
Type:
InternalUniquenessConstraint
Verbalization:

Each source uses at most one term.
 SimpleMandatoryConstraint35
Type:
SimpleMandatoryConstraint
Verbalization:

Each source uses some term.
"StandardIsASubtypeOfDocument"
Fact Type ↑
Summary

Each standard is an instance of document.
Role Players
Constraints
 InternalUniquenessConstraint93
Type:
InternalUniquenessConstraint
Verbalization:

Each standard is at most one document.
 InternalUniquenessConstraint94
Type:
InternalUniquenessConstraint
Verbalization:

Each document is at most one standard.
 SimpleMandatoryConstraint49
Type:
SimpleMandatoryConstraint
Verbalization:

Each standard is some document.
"StructuralElementBelongsToOrganization"
Fact Type ↑
Summary

Structural element belongs to organization.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint25
Type:
InternalUniquenessConstraint
Verbalization:

Each structural element belongs to at most one organization.
 SimpleMandatoryConstraint11
Type:
SimpleMandatoryConstraint
Verbalization:

Each structural element belongs to some organization.
"StructuralElementCanSuperseedPublishedStructuralElement"
Fact Type ↑
Summary

*Structural element1 can superseed published structural element if and only if
that structural element1 directly logically modifies some previous structural element2 that is that published structural element
or directly logically modifies some previous structural element3 that can superseed that published structural element.


PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint152
Type:
InternalUniquenessConstraint
Verbalization:

Each structural element can superseed at most one published structural element.
"StructuralElementDirectlyLogicallyModifiesPreviousStructuralElement"
Fact Type ↑
Summary

Structural element directly logically modifies previous structural element.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint10
Type:
InternalUniquenessConstraint
Verbalization:

Each structural element directly logically modifies at most one previous structural element.
 RingConstraint1
Type:
RingConstraint
Verbalization:

No structural element may cycle back to itself via one or more traversals through structural element directly logically modifies previous structural element.
If structural element2 is directly logically modified by some next structural element1
then it is not true that structural element2 is indirectly related to structural element1 by repeatedly applying this fact type.
"StructuralElementHasCreationDate"
Fact Type ↑
Summary

Structural element has creation date.
PermanentFact = True
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint58
Type:
InternalUniquenessConstraint
Verbalization:

Each structural element has at most one creation date.
 SimpleMandatoryConstraint27
Type:
SimpleMandatoryConstraint
Verbalization:

Each structural element has some creation date.
"StructuralElementHasStructuralElementType"
Fact Type ↑
Summary

*Structural element has structural element type if and only if
that structural element is some concept
where structural element type = concept
or that structural element exists
where structural element type = acronym
or that structural element is some record
where structural element type = record
or that structural element is some container
where structural element type = container
or that structural element is some container1 that has that structural element type
or that structural element is some record1 that has that structural element type.


Notes: The derivation rule involves inclusive-or conditions, resulting to the fact that a structural element can have several associated types, i.e. for the different types of record, these types and the record type itself, for the different types of container, these types and the container type itself.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint27
Type:
InternalUniquenessConstraint
Verbalization:

It is possible that some structural element has more than one structural element type
and that some structural element type is of more than one structural element.

In each population of structural element has structural element type, each structural element, structural element type combination occurs at most once.
 SimpleMandatoryConstraint12
Type:
SimpleMandatoryConstraint
Verbalization:

Each structural element has some structural element type.
"StructuralElementHasStructuralElementUserIdentifier"
Fact Type ↑
Summary

Structural element has structural element user identifier.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint95
Type:
InternalUniquenessConstraint
Verbalization:

Each structural element has at most one structural element user identifier.
 InternalUniquenessConstraint182
Type:
InternalUniquenessConstraint
Verbalization:

For each structural element user identifier, at most one structural element has that structural element user identifier.
 SimpleMandatoryConstraint50
Type:
SimpleMandatoryConstraint
Verbalization:

Each structural element has some structural element user identifier.
"StructuralElementHasUniversallyUniqueIdentifierGivenAtCreationTime"
Fact Type ↑
Summary

Structural element has universally unique identifier given at creation time.
PermanentFact = True
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint3
Type:
InternalUniquenessConstraint
Verbalization:

For each universally unique identifier, at most one structural element has that universally unique identifier given at creation time.
This association with universally unique identifier provides the preferred identification scheme for structural element.
 InternalUniquenessConstraint6
Type:
InternalUniquenessConstraint
Verbalization:

Each structural element has at most one universally unique identifier given at creation time.
 SimpleMandatoryConstraint3
Type:
SimpleMandatoryConstraint
Verbalization:

Each structural element has some universally unique identifier given at creation time.
"StructuralElementIsARepresentationOfConfigurationItem"
Fact Type ↑
Summary

*Structural element1 is a representation of configuration item if and only if
that configuration item is, at creation time, represented by that structural element1
or that structural element1 directly logically modifies some previous structural element2 that is a representation of that configuration item.


PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint183
Type:
InternalUniquenessConstraint
Verbalization:

Each structural element is a representation of at most one configuration item.
 SimpleMandatoryConstraint85
Type:
SimpleMandatoryConstraint
Verbalization:

Each configuration item is represented by some structural element.
 SimpleMandatoryConstraint105
Type:
SimpleMandatoryConstraint
Verbalization:

Each structural element is a representation of some configuration item.
"StructuralElementIsInvolvedInContainerLogicallyContainsStructuralElementAtPosition"
Fact Type ↑
Summary

Structural element is involved in container logically contains structural element at position.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint45
Type:
InternalUniquenessConstraint
Verbalization:

Each container logically contains structural element at position involves at most one structural element.
 SimpleMandatoryConstraint23
Type:
SimpleMandatoryConstraint
Verbalization:

Each container logically contains structural element at position involves some structural element.
"StructuralElementIsPublished"
Fact Type ↑
Summary

Structural element is published.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint16
Type:
InternalUniquenessConstraint
Verbalization:

In each population of structural element is published, each structural element occurs at most once.
 SubsetConstraint2
Type:
SubsetConstraint
Verbalization:

If some structural element is published then that structural element is released.
"StructuralElementIsReleased"
Fact Type ↑
Summary

Structural element is released.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint122
Type:
InternalUniquenessConstraint
Verbalization:

In each population of structural element is released, each structural element occurs at most once.
"TechnicalMemorandumIsASubtypeOfDocument"
Fact Type ↑
Summary

Each technical memorandum is an instance of document.
Role Players
Constraints
 InternalUniquenessConstraint99
Type:
InternalUniquenessConstraint
Verbalization:

Each technical memorandum is at most one document.
 InternalUniquenessConstraint100
Type:
InternalUniquenessConstraint
Verbalization:

Each document is at most one technical memorandum.
 SimpleMandatoryConstraint53
Type:
SimpleMandatoryConstraint
Verbalization:

Each technical memorandum is some document.
"TermIsInvolvedInAcronym"
Fact Type ↑
Summary

Term is involved in acronym.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
 InternalUniquenessConstraint176
Type:
InternalUniquenessConstraint
Verbalization:

Each acronym involves at most one term.
 SimpleMandatoryConstraint99
Type:
SimpleMandatoryConstraint
Verbalization:

Each acronym involves some term.
"TermsOfReferenceIsASubtypeOfContainer"
Fact Type ↑
Summary

Each terms of reference is an instance of container.
Role Players
Constraints
 InternalUniquenessConstraint101
Type:
InternalUniquenessConstraint
Verbalization:

Each terms of reference is at most one container.
 InternalUniquenessConstraint102
Type:
InternalUniquenessConstraint
Verbalization:

Each container is at most one terms of reference.
 SimpleMandatoryConstraint54
Type:
SimpleMandatoryConstraint
Verbalization:

Each terms of reference is some container.
"UserIsASubtypeOfRecord"
Fact Type ↑
Summary

Each user is an instance of record.
Role Players
Constraints
 InternalUniquenessConstraint132
Type:
InternalUniquenessConstraint
Verbalization:

Each user is at most one record.
 InternalUniquenessConstraint158
Type:
InternalUniquenessConstraint
Verbalization:

Each record is at most one user.
 SimpleMandatoryConstraint88
Type:
SimpleMandatoryConstraint
Verbalization:

Each user is some record.
Signature