ClassAssertion C1 a0
ClassAssertion C2 a0
DisjointClasses C0 C1
SubClassOf C2 C0

ClassAssertion C0 a0
ClassAssertion C2 a0
DisjointClasses C4 C7
SubClassOf C0 C1
SubClassOf C1 C3
SubClassOf C2 C5
SubClassOf C3 C4
SubClassOf C5 C6
SubClassOf C6 C7

ClassAssertion C2 a0
ClassAssertion C4 a0
DisjointClasses C1 C3
SubClassOf C0 C1
SubClassOf C2 C3
SubClassOf C4 C0

ClassAssertion C0 a0
ClassAssertion C2 a0
DisjointClasses C4 C2
SubClassOf C0 C1
SubClassOf C1 C3
SubClassOf C3 C4

ClassAssertion C0 a0
ClassAssertion C1 a0
DisjointClasses C2 C0
EquivalentClasses C3 C0
SubClassOf C1 C2

ClassAssertion C2 a0
ClassAssertion C3 a0
DisjointClasses C1 C3
SubClassOf C0 C1
SubClassOf C2 C0

ClassAssertion C6 a0
ClassAssertion C8 a0
DisjointClasses C9 C1
SubClassOf C0 C1
SubClassOf C2 C3
SubClassOf C3 C9
SubClassOf C4 C5
SubClassOf C5 C2
SubClassOf C6 C7
SubClassOf C7 C0
SubClassOf C8 C4

ClassAssertion C0 a0
ClassAssertion C7 a0
DisjointClasses C8 C5
SubClassOf C0 C1
SubClassOf C1 C6
SubClassOf C10 C8
SubClassOf C2 C3
SubClassOf C3 C5
SubClassOf C4 C2
SubClassOf C6 C10
SubClassOf C7 C9
SubClassOf C9 C4

ClassAssertion C0 a0
ClassAssertion C6 a0
DisjointClasses C5 C9
SubClassOf C0 C1
SubClassOf C1 C7
SubClassOf C2 C3
SubClassOf C3 C4
SubClassOf C4 C5
SubClassOf C6 C2
SubClassOf C7 C8
SubClassOf C8 C9

ClassAssertion C0 a0
ClassAssertion C4 a0
DisjointClasses C2 C0
EquivalentClasses C3 C0
SubClassOf C1 C2
SubClassOf C4 C1

ClassAssertion C0 a0
ClassAssertion C3 a0
DisjointClasses C5 C3
SubClassOf C0 C1
SubClassOf C1 C2
SubClassOf C2 C4
SubClassOf C4 C5

ClassAssertion C4 a0
DisjointClasses C2 C3
SubClassOf C0 C1
SubClassOf C1 C3
SubClassOf C4 C0
SubClassOf C4 C5
SubClassOf C5 C6
SubClassOf C6 C2

ClassAssertion C2 a0
ClassAssertion C3 a0
DisjointClasses C1 C5
SubClassOf C0 C1
SubClassOf C2 C0
SubClassOf C3 C4
SubClassOf C4 C5