Class1a
type: Class
subclass of: Restriction
  on property:
    inverse of: cardinalityAtDomain
  cardinality: 1

Class3a
type: Class
subclass of: Restriction
  on property: cardinalityAtRange
  cardinality: 15
subclass of: Restriction
  on property:
    inverse of: cardinalityAtDomainAndRange
  min cardinality: 0
subclass of: Restriction
  on property: singleDatatypeProperty
  cardinality: 3

Class4a
type: Class
subclass of: Restriction
  on property: cardinalityAtDomainAndRange
  min cardinality: 1
subclass of: Restriction
  on property:
    inverse of: cardinalityAtSameEnd1
  min cardinality: 13
subclass of: Restriction
  on property: cardinalityAtSameEnd2
  max cardinality: 1
subclass of: Restriction
  on property: doubleDatatypeProperty1
  min cardinality: 2
subclass of: Restriction
  on property: doubleDatatypeProperty2
  cardinality: 1

Class5a
type: Class
subclass of: Restriction
  on property:
    inverse of: cardinalityAtBothEnds1
  max cardinality: 28
subclass of: Restriction
  on property: cardinalityAtBothEnds2
  min cardinality: 0
subclass of: Restriction
  on property: cardinalityAtBothEnds2
  max cardinality: 1
subclass of: Restriction
  on property: parallelDatatypeProperty1
  min cardinality: 15
subclass of: Restriction
  on property: parallelDatatypeProperty1
  max cardinality: 20
subclass of: Restriction
  on property: parallelDatatypeProperty2
  min cardinality: 15

Class6a
type: Class
subclass of: Restriction
  on property: cardinalityAtBothEnds1
  min cardinality: 0
subclass of: Restriction
  on property: cardinalityAtBothEnds1
  max cardinality: 19
subclass of: Restriction
  on property:
    inverse of: cardinalityAtBothEnds2
  min cardinality: 1
subclass of: Restriction
  on property:
    inverse of: cardinalityAtBothEnds2
  max cardinality: 1

Class7a
type: Class
subclass of: Restriction
  on property: inverseWithCardinality
  min cardinality: 1
subclass of: Restriction
  on property: inverseWithCardinality
  max cardinality: 16

Class8a
type: Class
subclass of: Restriction
  on property: inverseWithSameCardinality1
  min cardinality: 8
subclass of: Restriction
  on property: inverseWithSameCardinality1
  max cardinality: 8
subclass of: Restriction
  on property:
    inverse of: inverseWithSameCardinality2
  min cardinality: 8
subclass of: Restriction
  on property:
    inverse of: inverseWithSameCardinality2
  max cardinality: 8

Class9a
type: Class
subclass of: Restriction
  on property: inverseWithDifferentCardinality1
  min cardinality: 6
subclass of: Restriction
  on property: inverseWithDifferentCardinality1
  max cardinality: 7
subclass of: Restriction
  on property:
    inverse of: inverseWithDifferentCardinality2
  min cardinality: 8
subclass of: Restriction
  on property:
    inverse of: inverseWithDifferentCardinality2
  max cardinality: 9
subclass of: Restriction
  on property:
    inverse of: inverseWithBothCardinalities1
  cardinality: 7
subclass of: Restriction
  on property: inverseWithBothCardinalities2
  min cardinality: 18

Class10a
type: Class
subclass of: Restriction
  on property: inverseWithBothCardinalities1
  min cardinality: 23
subclass of: Restriction
  on property: inverseWithBothCardinalities1
  max cardinality: 27
subclass of: Restriction
  on property:
    inverse of: inverseWithBothCardinalities2
  cardinality: 2

Class11a
type: Class
subclass of: Restriction
  on property: parallel1
  cardinality: 6
subclass of: Restriction
  on property: parallel2
  max cardinality: 5

Class12a
type: Class
subclass of: Restriction
  on property: propertyFromMultiSubClass
  max cardinality: 100

Class12aSub1
type: Class
subclass of: Class12a
subclass of: Restriction
  on property: propertyFromMultiSubClass
  cardinality: 80

Class12aSub2
type: Class
subclass of: Class12a
subclass of: Restriction
  on property: propertyFromMultiSubClass
  cardinality: 70

Class13aSub
type: Class
subclass of: Class13a
subclass of: Restriction
  on property: propertyFromSubClass
  cardinality: 99

Class1b
type: Class
subclass of: Restriction
  on property:
    inverse of: cardinalityAtDomain qualified
  qualified cardinality: 1
  on class: Class2bSub

Class3b
type: Class
subclass of: Restriction
  on property: cardinalityAtRange qualified
  qualified cardinality: 15
  on class: Class2bSub
subclass of: Restriction
  on property:
    inverse of: cardinalityAtDomainAndRange qualified
  min qualified cardinality: 0
  on class: Class4bSub
subclass of: Restriction
  on property: singleDatatypeProperty qualified
  qualified cardinality: 10
  on data range: positiveInteger

Class4b
type: Class
subclass of: Restriction
  on property: cardinalityAtDomainAndRange qualified
  min qualified cardinality: 1
  on class: Class3bSub
subclass of: Restriction
  on property:
    inverse of: cardinalityAtSameEnd1 qualified
  min qualified cardinality: 13
  on class: Class5bSub
subclass of: Restriction
  on property: cardinalityAtSameEnd2 qualified
  max qualified cardinality: 1
  on class: Class5bSub
subclass of: Restriction
  on property: doubleDatatypeProperty1 qualified
  min qualified cardinality: 1
  on data range: short
subclass of: Restriction
  on property: doubleDatatypeProperty1 qualified
  max qualified cardinality: 4
  on data range: short
subclass of: Restriction
  on property: doubleDatatypeProperty2 qualified
  max qualified cardinality: 16
  on data range: negativeInteger

Class5b
type: Class
subclass of: Restriction
  on property:
    inverse of: cardinalityAtBothEnds1 qualified
  max qualified cardinality: 28
  on class: Class6bSub
subclass of: Restriction
  on property: cardinalityAtBothEnds2 qualified
  min qualified cardinality: 0
  on class: Class6bSub
subclass of: Restriction
  on property: cardinalityAtBothEnds2 qualified
  max qualified cardinality: 1
  on class: Class6bSub
subclass of: Restriction
  on property: parallelDatatypeProperty1 qualified
  min qualified cardinality: 1
  on data range: float
subclass of: Restriction
  on property: parallelDatatypeProperty1 qualified
  max qualified cardinality: 21
  on data range: float
subclass of: Restriction
  on property: parallelDatatypeProperty2 qualified
  min qualified cardinality: 3
  on data range: float
subclass of: Restriction
  on property: parallelDatatypeProperty2 qualified
  max qualified cardinality: 6
  on data range: float

Class6b
type: Class
subclass of: Restriction
  on property: cardinalityAtBothEnds1 qualified
  min qualified cardinality: 0
  on class: Class5bSub
subclass of: Restriction
  on property: cardinalityAtBothEnds1 qualified
  max qualified cardinality: 19
  on class: Class5bSub
subclass of: Restriction
  on property:
    inverse of: cardinalityAtBothEnds2 qualified
  min qualified cardinality: 1
  on class: Class5bSub
subclass of: Restriction
  on property:
    inverse of: cardinalityAtBothEnds2 qualified
  max qualified cardinality: 1
  on class: Class5bSub
subclass of: Restriction
  on property: differentlyQualifiedDatatypeProperty qualified
  qualified cardinality: 4
  on data range: positiveInteger
subclass of: Restriction
  on property: differentlyQualifiedDatatypeProperty qualified
  qualified cardinality: 7
  on data range: negativeInteger

Class7b
type: Class
subclass of: Restriction
  on property: inverseWithCardinality qualified
  min qualified cardinality: 1
  on class: Class6bSub
subclass of: Restriction
  on property: inverseWithCardinality qualified
  max qualified cardinality: 16
  on class: Class6bSub

Class8b
type: Class
subclass of: Restriction
  on property: inverseWithSameCardinality1 qualified
  min qualified cardinality: 8
  on class: Class7bSub
subclass of: Restriction
  on property: inverseWithSameCardinality1 qualified
  max qualified cardinality: 8
  on class: Class7bSub
subclass of: Restriction
  on property:
    inverse of: inverseWithSameCardinality2 qualified
  min qualified cardinality: 8
  on class: Class7bSub
subclass of: Restriction
  on property:
    inverse of: inverseWithSameCardinality2 qualified
  max qualified cardinality: 8
  on class: Class7bSub

Class9b
type: Class
subclass of: Restriction
  on property: inverseWithDifferentCardinality1 qualified
  min qualified cardinality: 6
  on class: Class8bSub
subclass of: Restriction
  on property: inverseWithDifferentCardinality1 qualified
  max qualified cardinality: 7
  on class: Class8bSub
subclass of: Restriction
  on property:
    inverse of: inverseWithDifferentCardinality2 qualified
  min qualified cardinality: 8
  on class: Class8bSub
subclass of: Restriction
  on property:
    inverse of: inverseWithDifferentCardinality2 qualified
  max qualified cardinality: 9
  on class: Class8bSub
subclass of: Restriction
  on property:
    inverse of: inverseWithBothCardinalities1 qualified
  qualified cardinality: 7
  on class: Class10bSub
subclass of: Restriction
  on property: inverseWithBothCardinalities2 qualified
  min qualified cardinality: 18
  on class: Class10bSub

Class10b
type: Class
subclass of: Restriction
  on property: inverseWithBothCardinalities1 qualified
  min qualified cardinality: 23
  on class: Class9bSub
subclass of: Restriction
  on property: inverseWithBothCardinalities1 qualified
  max qualified cardinality: 27
  on class: Class9bSub
subclass of: Restriction
  on property:
    inverse of: inverseWithBothCardinalities2 qualified
  qualified cardinality: 2
  on class: Class9bSub

Class11b
type: Class
subclass of: Restriction
  on property: parallel1 qualified
  qualified cardinality: 6
  on class: Class10bSub
subclass of: Restriction
  on property: parallel2 qualified
  max qualified cardinality: 5
  on class: Class10bSub
subclass of: Restriction
  on property:
    inverse of: differentlyQualifiedObjectProperty qualified
  qualified cardinality: 8
  on class: Class12bSub1
subclass of: Restriction
  on property:
    inverse of: differentlyQualifiedObjectProperty qualified
  qualified cardinality: 9
  on class: Class12bSub2

Class12b
type: Class
subclass of: Restriction
  on property: propertyFromMultiSubClass qualified
  max qualified cardinality: 101
  on class: Class13bSub

Class12bSub1
type: Class
subclass of: Class12b
subclass of: Restriction
  on property: propertyFromMultiSubClass qualified
  qualified cardinality: 81
  on class: Class13bSub

Class12bSub2
type: Class
subclass of: Class12b
subclass of: Restriction
  on property: propertyFromMultiSubClass qualified
  cardinality: 71

Class13bSub
type: Class
subclass of: Class13b
subclass of: Restriction
  on property: propertyFromSubClass qualified
  qualified cardinality: 98
  on class: Class14bSub

singleLinkMixedAnchor
type: Class
subclass of: Restriction
  on property:
    inverse of: singleLinkUnqualifiedProperty
  min cardinality: 14
subclass of: Restriction
  on property:
    inverse of: singleLinkQualifiedProperty
  max qualified cardinality: 16
  on class: Class12bSub1

multiLinkMixedAnchor
type: Class
subclass of: Restriction
  on property:
    inverse of: multiLinkUnqualifiedProperty
  min cardinality: 2
subclass of: Restriction
  on property:
    inverse of: multiLinkQualifiedProperty
  min cardinality: 4
subclass of: Restriction
  on property:
    inverse of: multiLinkQualifiedProperty
  min qualified cardinality: 2
  on class: Class12bSub1
subclass of: Restriction
  on property:
    inverse of: multiLinkQualifiedProperty
  max qualified cardinality: 3
  on class: Class12bSub2