| Line | Axiom |
|---|---|
| 1 | Each ReportSet has one to many Reports. |
| 2 | Each Report has one to many Fragments. |
| 3 | Each Fragment has one to many FactSets. |
| 4 | Each FactSet has one to many Facts. |
| 5 | Each Fact has one to many Aspects. |
| 6 | Each Fact has exactly one FactValue. |
| 7 | Each Fact has one to many ParentheticalExplanations. |
| 8 | Each NumericFactValue is a type of FactValue. |
| 9 | Each NonnumericFactValue is a type of FactValue. |
| 10 | Units is a property of a NumericFactValue. |
| 11 | Rounding is a property of a NumericFactValue. |
| 12 | Prose is a type of NonnumericFactValue. |
| 13 | An InformationModelDefinition is a property of a FactSet. |
| 14 | A ReportElement is a part of an InformationModelDefinition. |
| 15 | A Network is a type of ReportElement. |
| 16 | A Table is a type of ReportElement. |
| 17 | An Axis is a type of ReportElement. |
| 18 | A Member is a type of ReportElement. |
| 19 | A LineItems is a type of ReportElement. |
| 20 | A Concept is a type of ReportElement. |
| 21 | An Abstract is a type of ReportElement. |
| 22 | A ConceptArrangementPattern is a part of an InformationModelDefinition. |
| 23 | A TextBlock is a type of ConceptArrangmentPattern. |
| 24 | A Set is a type of ConceptArrangmentPattern. |
| 25 | A Roll Up is a type of ConceptArrangmentPattern. |
| 26 | A Roll Forward is a type of ConceptArrangmentPattern. |
| 27 | A Variance is a type of ConceptArrangmentPattern. |
| 28 | An Adjustment is a type of ConceptArrangmentPattern. |
| 29 | A ComplexComputation is a type of ConceptArrangmentPattern. |
| 30 | A Level1NoteTextBlock is a type of TextBlock. |
| 31 | A Level2PolicyTextBlock is a type of TextBlock. |
| 32 | A Level3DisclosureTextBlock is a type of TextBlock. |
| 33 | A MemberArrangmentPattern is a part of an InformationModelDescription. |
| 34 | A MemberAggregation is a type of MemberArrangmentPattern. |
| 35 | A MemberNonaggretation is a type of MemberArrangmentPattern. |
| 36 | A MemberFlatList is a type of MemberArrangmentPattern. |
| 37 | A Rule is part of an InformationModelDefinition. |
| 38 | A MathematicalRule is a type of Rule. |
| 39 | A StructuralRule is a type of Rule. |
| 40 | A MechanicalRule is a type of Rule. |
| 41 | A ConsistencyRule is a type of Rule. |
| 42 | A TypeClassRule is a type of Rule. |
| 43 | A LogicalRule is a type of Rule. |
| 44 | An AccountingRule is a type of Rule. |
| 45 | A CoreAspect is a type of Aspect. |
| 46 | A NoncoreAspect is a type of Aspect. |
| 47 | A ReportingEntityAspect is a type of CoreAspect. |
| 48 | A CalendarPeriodAspect is a type of CoreAspect. |
| 49 | A ConceptAspect is a type of Aspect. |
| 50 | A Stock is a type of CalendarPeriodAspect. |
| 51 | A Flow is a type of CalendarPeriodAspect. |
| 52 | A Disclosure is a property of a FactSet. |
| 53 | A ReportingScheme is a property of a Report. |
| 54 | A ReportingStyle is a property of a Report. |
| 55 | A Disclosure has zero to many Templates. |
| 56 | A Disclosure has zero to many Exemplars. |
| 57 | A Topic has zero to many Disclosures. |
| 58 | A ReportingChecklistRule is a type of Rule. |
| 59 | A DisclosureMechanicsRule is a type of MechanicalRule. |
| 60 | A MappingRule is part of a ConsistencyCrosscheckRule. |
| 61 | An ImputeRule is part of a ConsistencyCrosscheckRule. |
| 62 | A ConsistencyRule is part of a ConsistencyCrosscheckRule. |
| 63 | A Report has a FragmentArrangementPattern. |
| 64 | Each InformationModelDefinition has zero to many Rules. |