ClassAssertion C0 a0 DisjointClasses C7 C5 SubClassOf C0 C1 SubClassOf C0 C2 SubClassOf C1 C5 SubClassOf C2 C3 SubClassOf C3 C4 SubClassOf C4 C8 SubClassOf C6 C7 SubClassOf C8 C6 ClassAssertion C2 a0 DisjointClasses C6 C12 SubClassOf C0 C1 SubClassOf C1 C13 SubClassOf C10 C7 SubClassOf C11 C4 SubClassOf C13 C11 SubClassOf C2 C3 SubClassOf C3 C0 SubClassOf C4 C5 SubClassOf C5 C6 SubClassOf C5 C9 SubClassOf C7 C8 SubClassOf C8 C12 SubClassOf C9 C10 ClassAssertion C5 a0 DisjointClasses C0 C1 SubClassOf C2 C0 SubClassOf C3 C1 SubClassOf C3 C4 SubClassOf C4 C2 SubClassOf C5 C6 SubClassOf C6 C3 ClassAssertion C8 a0 DisjointClasses C5 C6 SubClassOf C0 C1 SubClassOf C1 C7 SubClassOf C2 C3 SubClassOf C3 C0 SubClassOf C4 C5 SubClassOf C7 C4 SubClassOf C8 C2 SubClassOf C8 C6 ClassAssertion C2 a0 DisjointClasses C0 C1 SubClassOf C2 C3 SubClassOf C3 C0 SubClassOf C3 C1 ClassAssertion C0 a0 DisjointClasses C3 C5 SubClassOf C0 C1 SubClassOf C0 C2 SubClassOf C1 C3 SubClassOf C2 C4 SubClassOf C4 C5 ClassAssertion C2 a0 DisjointClasses C4 C7 SubClassOf C0 C1 SubClassOf C1 C7 SubClassOf C10 C8 SubClassOf C2 C5 SubClassOf C3 C4 SubClassOf C4 C0 SubClassOf C5 C6 SubClassOf C6 C9 SubClassOf C8 C3 SubClassOf C9 C10 ClassAssertion C4 a0 DisjointClasses C7 C8 SubClassOf C0 C1 SubClassOf C1 C9 SubClassOf C10 C2 SubClassOf C2 C3 SubClassOf C3 C0 SubClassOf C4 C10 SubClassOf C4 C5 SubClassOf C5 C8 SubClassOf C6 C7 SubClassOf C9 C6 ClassAssertion C2 a0 DisjointClasses C4 C5 SubClassOf C0 C1 SubClassOf C0 C5 SubClassOf C1 C6 SubClassOf C2 C8 SubClassOf C3 C4 SubClassOf C6 C3 SubClassOf C7 C0 SubClassOf C8 C7 ClassAssertion C5 a0 DisjointClasses C0 C1 SubClassOf C2 C0 SubClassOf C2 C1 SubClassOf C3 C4 SubClassOf C4 C2 SubClassOf C5 C3 ClassAssertion C2 a0 DisjointClasses C1 C4 SubClassOf C0 C1 SubClassOf C2 C3 SubClassOf C3 C7 SubClassOf C5 C6 SubClassOf C6 C0 SubClassOf C7 C4 SubClassOf C7 C5 ClassAssertion C0 a0 DisjointClasses C0 C1 SubClassOf C0 C2 SubClassOf C2 C3 SubClassOf C3 C5 SubClassOf C4 C1 SubClassOf C5 C4 ClassAssertion C1 a0 ClassAssertion C2 a0 DisjointClasses C0 C1 SubClassOf C2 C0 ClassAssertion C4 a0 DisjointClasses C0 C1 SubClassOf C2 C3 SubClassOf C3 C9 SubClassOf C4 C2 SubClassOf C5 C6 SubClassOf C6 C0 SubClassOf C7 C1 SubClassOf C7 C5 SubClassOf C8 C7 SubClassOf C9 C8 ClassAssertion C0 a0 DisjointClasses C4 C5 SubClassOf C0 C1 SubClassOf C0 C6 SubClassOf C1 C2 SubClassOf C2 C3 SubClassOf C3 C4 SubClassOf C6 C5 ClassAssertion C4 a0 DisjointClasses C6 C7 SubClassOf C0 C1 SubClassOf C1 C7 SubClassOf C2 C3 SubClassOf C3 C5 SubClassOf C4 C2 SubClassOf C5 C6 SubClassOf C6 C0 ClassAssertion C4 a0 DisjointClasses C10 C11 SubClassOf C0 C1 SubClassOf C1 C7 SubClassOf C12 C9 SubClassOf C2 C3 SubClassOf C3 C12 SubClassOf C4 C2 SubClassOf C5 C10 SubClassOf C5 C6 SubClassOf C6 C11 SubClassOf C7 C8 SubClassOf C8 C5 SubClassOf C9 C0 ClassAssertion C3 a0 DisjointClasses C3 C1 EquivalentClasses C4 C1 EquivalentClasses C5 C0 SubClassOf C0 C1 SubClassOf C2 C0 SubClassOf C3 C2 ClassAssertion C0 a0 DisjointClasses C9 C10 SubClassOf C0 C1 SubClassOf C1 C7 SubClassOf C2 C3 SubClassOf C3 C9 SubClassOf C4 C5 SubClassOf C5 C6 SubClassOf C6 C2 SubClassOf C7 C8 SubClassOf C8 C10 SubClassOf C8 C4 ClassAssertion C0 a0 DisjointClasses C7 C5 SubClassOf C0 C9 SubClassOf C1 C2 SubClassOf C1 C5 SubClassOf C2 C4 SubClassOf C3 C1 SubClassOf C4 C8 SubClassOf C6 C7 SubClassOf C8 C6 SubClassOf C9 C3 ClassAssertion C0 a0 DisjointClasses C2 C5 SubClassOf C0 C3 SubClassOf C1 C2 SubClassOf C3 C4 SubClassOf C3 C8 SubClassOf C4 C5 SubClassOf C6 C7 SubClassOf C7 C1 SubClassOf C8 C9 SubClassOf C9 C6 ClassAssertion C0 a0 DisjointClasses C7 C2 SubClassOf C0 C9 SubClassOf C1 C2 SubClassOf C1 C5 SubClassOf C3 C1 SubClassOf C4 C3 SubClassOf C5 C8 SubClassOf C6 C7 SubClassOf C8 C6 SubClassOf C9 C4 ClassAssertion C7 a0 DisjointClasses C8 C9 SubClassOf C0 C1 SubClassOf C1 C4 SubClassOf C10 C6 SubClassOf C11 C10 SubClassOf C12 C11 SubClassOf C2 C3 SubClassOf C3 C9 SubClassOf C4 C5 SubClassOf C5 C2 SubClassOf C6 C0 SubClassOf C7 C12 SubClassOf C7 C8 ClassAssertion C4 a0 DisjointClasses C3 C1 EquivalentClasses C5 C1 EquivalentClasses C6 C0 SubClassOf C0 C1 SubClassOf C2 C0 SubClassOf C3 C2 SubClassOf C4 C3 ClassAssertion C8 a0 DisjointClasses C2 C3 SubClassOf C0 C1 SubClassOf C1 C4 SubClassOf C4 C5 SubClassOf C4 C6 SubClassOf C5 C3 SubClassOf C6 C7 SubClassOf C7 C2 SubClassOf C8 C0 ClassAssertion C2 a0 DisjointClasses C7 C8 SubClassOf C0 C1 SubClassOf C0 C8 SubClassOf C1 C4 SubClassOf C2 C3 SubClassOf C3 C0 SubClassOf C4 C5 SubClassOf C5 C9 SubClassOf C6 C7 SubClassOf C9 C6 ClassAssertion C4 a0 DisjointClasses C12 C10 SubClassOf C0 C1 SubClassOf C1 C7 SubClassOf C11 C9 SubClassOf C2 C3 SubClassOf C3 C11 SubClassOf C3 C12 SubClassOf C4 C2 SubClassOf C5 C6 SubClassOf C6 C10 SubClassOf C7 C8 SubClassOf C8 C5 SubClassOf C9 C0 ClassAssertion C4 a0 DisjointClasses C0 C1 SubClassOf C2 C3 SubClassOf C3 C7 SubClassOf C4 C2 SubClassOf C5 C6 SubClassOf C6 C0 SubClassOf C7 C1 SubClassOf C7 C5 ClassAssertion C5 a0 DisjointClasses C2 C3 SubClassOf C0 C1 SubClassOf C0 C4 SubClassOf C1 C2 SubClassOf C4 C3 SubClassOf C5 C0 ClassAssertion C2 a0 DisjointClasses C3 C1 SubClassOf C0 C1 SubClassOf C1 C4 SubClassOf C2 C0 SubClassOf C4 C3 ClassAssertion C4 a0 DisjointClasses C1 C3 SubClassOf C0 C1 SubClassOf C2 C0 SubClassOf C4 C2 SubClassOf C4 C3 ClassAssertion C4 a0 DisjointClasses C1 C3 SubClassOf C0 C1 SubClassOf C2 C0 SubClassOf C2 C3 SubClassOf C4 C2 ClassAssertion C2 a0 DisjointClasses C12 C5 SubClassOf C0 C1 SubClassOf C1 C8 SubClassOf C10 C0 SubClassOf C10 C6 SubClassOf C11 C12 SubClassOf C2 C3 SubClassOf C3 C10 SubClassOf C4 C5 SubClassOf C6 C7 SubClassOf C7 C4 SubClassOf C8 C9 SubClassOf C9 C11 ClassAssertion C4 a0 DisjointClasses C0 C1 SubClassOf C0 C2 SubClassOf C2 C3 SubClassOf C3 C7 SubClassOf C4 C6 SubClassOf C5 C1 SubClassOf C6 C8 SubClassOf C7 C5 SubClassOf C8 C9 SubClassOf C9 C0 ClassAssertion C0 a0 ClassAssertion C2 a0 DisjointClasses C4 C2 SubClassOf C0 C1 SubClassOf C1 C3 SubClassOf C3 C4 ClassAssertion C6 a0 DisjointClasses C2 C3 SubClassOf C0 C1 SubClassOf C1 C5 SubClassOf C2 C4 SubClassOf C4 C3 SubClassOf C5 C7 SubClassOf C6 C0 SubClassOf C7 C8 SubClassOf C8 C2 ClassAssertion C5 a0 DisjointClasses C1 C2 SubClassOf C0 C1 SubClassOf C3 C4 SubClassOf C4 C0 SubClassOf C5 C8 SubClassOf C6 C3 SubClassOf C7 C2 SubClassOf C7 C6 SubClassOf C8 C7 ClassAssertion C10 a0 DisjointClasses C2 C3 SubClassOf C0 C1 SubClassOf C1 C12 SubClassOf C10 C0 SubClassOf C11 C5 SubClassOf C12 C14 SubClassOf C13 C8 SubClassOf C14 C11 SubClassOf C2 C4 SubClassOf C4 C13 SubClassOf C5 C6 SubClassOf C6 C7 SubClassOf C7 C2 SubClassOf C8 C9 SubClassOf C9 C3 ClassAssertion C0 a0 DisjointClasses C10 C14 SubClassOf C0 C11 SubClassOf C1 C2 SubClassOf C10 C5 SubClassOf C11 C7 SubClassOf C12 C13 SubClassOf C13 C3 SubClassOf C2 C12 SubClassOf C3 C4 SubClassOf C4 C9 SubClassOf C5 C6 SubClassOf C6 C14 SubClassOf C7 C8 SubClassOf C8 C1 SubClassOf C9 C10 ClassAssertion C5 a0 DisjointClasses C11 C10 SubClassOf C0 C1 SubClassOf C1 C10 SubClassOf C12 C7 SubClassOf C2 C3 SubClassOf C3 C4 SubClassOf C4 C0 SubClassOf C5 C6 SubClassOf C6 C9 SubClassOf C7 C11 SubClassOf C7 C8 SubClassOf C8 C2 SubClassOf C9 C12 ClassAssertion C11 a0 DisjointClasses C10 C8 SubClassOf C0 C1 SubClassOf C1 C4 SubClassOf C11 C6 SubClassOf C2 C3 SubClassOf C3 C8 SubClassOf C4 C5 SubClassOf C5 C2 SubClassOf C6 C7 SubClassOf C7 C9 SubClassOf C9 C0 SubClassOf C9 C10 ClassAssertion C0 a0 DisjointClasses C1 C2 SubClassOf C0 C4 SubClassOf C1 C3 SubClassOf C3 C2 SubClassOf C4 C5 SubClassOf C5 C6 SubClassOf C6 C1 ClassAssertion C2 a0 DisjointClasses C4 C1 SubClassOf C0 C1 SubClassOf C2 C5 SubClassOf C3 C0 SubClassOf C4 C3 SubClassOf C5 C6 SubClassOf C6 C7 SubClassOf C7 C8 SubClassOf C8 C4 ClassAssertion C9 a0 DisjointClasses C1 C10 SubClassOf C0 C1 SubClassOf C11 C8 SubClassOf C2 C3 SubClassOf C3 C6 SubClassOf C4 C5 SubClassOf C5 C10 SubClassOf C6 C7 SubClassOf C7 C4 SubClassOf C8 C2 SubClassOf C9 C0 SubClassOf C9 C11 ClassAssertion C6 a0 DisjointClasses C9 C7 SubClassOf C0 C1 SubClassOf C1 C4 SubClassOf C10 C0 SubClassOf C2 C3 SubClassOf C3 C9 SubClassOf C4 C5 SubClassOf C5 C8 SubClassOf C6 C10 SubClassOf C6 C7 SubClassOf C8 C2 ClassAssertion C2 a0 DisjointClasses C3 C4 SubClassOf C0 C1 SubClassOf C1 C5 SubClassOf C1 C6 SubClassOf C2 C0 SubClassOf C5 C4 SubClassOf C6 C7 SubClassOf C7 C3 ClassAssertion C0 a0 DisjointClasses C7 C6 SubClassOf C0 C1 SubClassOf C1 C7 SubClassOf C2 C3 SubClassOf C3 C6 SubClassOf C4 C5 SubClassOf C5 C2 SubClassOf C7 C4 ClassAssertion C0 a0 DisjointClasses C1 C2 SubClassOf C0 C1 SubClassOf C1 C3 SubClassOf C3 C6 SubClassOf C4 C5 SubClassOf C5 C2 SubClassOf C6 C4 ClassAssertion C1 a0 DisjointClasses C0 C1 SubClassOf C1 C2 SubClassOf C2 C3 SubClassOf C3 C0 ClassAssertion C5 a0 DisjointClasses C4 C10 SubClassOf C0 C1 SubClassOf C1 C11 SubClassOf C1 C2 SubClassOf C11 C9 SubClassOf C2 C7 SubClassOf C3 C4 SubClassOf C5 C6 SubClassOf C6 C8 SubClassOf C7 C3 SubClassOf C8 C0 SubClassOf C9 C10 ClassAssertion C2 a0 DisjointClasses C11 C8 SubClassOf C0 C1 SubClassOf C1 C6 SubClassOf C10 C0 SubClassOf C2 C5 SubClassOf C3 C4 SubClassOf C4 C8 SubClassOf C5 C9 SubClassOf C6 C11 SubClassOf C6 C7 SubClassOf C7 C3 SubClassOf C9 C10 ClassAssertion C0 a0 ClassAssertion C1 a0 DisjointClasses C2 C0 EquivalentClasses C3 C0 SubClassOf C1 C2 ClassAssertion C2 a0 DisjointClasses C3 C4 SubClassOf C0 C1 SubClassOf C1 C5 SubClassOf C1 C6 SubClassOf C2 C0 SubClassOf C5 C4 SubClassOf C6 C3 ClassAssertion C10 a0 DisjointClasses C7 C11 SubClassOf C0 C1 SubClassOf C1 C6 SubClassOf C10 C4 SubClassOf C2 C3 SubClassOf C3 C11 SubClassOf C4 C0 SubClassOf C4 C5 SubClassOf C5 C8 SubClassOf C6 C7 SubClassOf C8 C9 SubClassOf C9 C2 ClassAssertion C2 a0 DisjointClasses C3 C9 SubClassOf C0 C1 SubClassOf C1 C3 SubClassOf C1 C7 SubClassOf C10 C11 SubClassOf C11 C0 SubClassOf C2 C6 SubClassOf C4 C5 SubClassOf C5 C9 SubClassOf C6 C10 SubClassOf C7 C8 SubClassOf C8 C4 ClassAssertion C9 a0 DisjointClasses C0 C1 SubClassOf C2 C3 SubClassOf C3 C8 SubClassOf C4 C5 SubClassOf C5 C0 SubClassOf C5 C1 SubClassOf C6 C4 SubClassOf C7 C6 SubClassOf C8 C7 SubClassOf C9 C2 ClassAssertion C2 a0 DisjointClasses C9 C11 SubClassOf C0 C1 SubClassOf C1 C11 SubClassOf C10 C12 SubClassOf C12 C8 SubClassOf C13 C4 SubClassOf C2 C3 SubClassOf C3 C13 SubClassOf C4 C5 SubClassOf C5 C6 SubClassOf C6 C7 SubClassOf C7 C10 SubClassOf C8 C9 SubClassOf C9 C0 ClassAssertion C2 a0 DisjointClasses C10 C11 SubClassOf C0 C1 SubClassOf C1 C13 SubClassOf C12 C9 SubClassOf C13 C11 SubClassOf C14 C0 SubClassOf C2 C7 SubClassOf C3 C4 SubClassOf C4 C5 SubClassOf C5 C6 SubClassOf C6 C12 SubClassOf C7 C14 SubClassOf C7 C8 SubClassOf C8 C3 SubClassOf C9 C10 ClassAssertion C2 a0 DisjointClasses C0 C1 SubClassOf C2 C3 SubClassOf C3 C7 SubClassOf C4 C5 SubClassOf C5 C0 SubClassOf C5 C1 SubClassOf C6 C4 SubClassOf C7 C6 ClassAssertion C12 a0 DisjointClasses C7 C10 SubClassOf C0 C1 SubClassOf C1 C8 SubClassOf C11 C0 SubClassOf C12 C11 SubClassOf C2 C3 SubClassOf C3 C10 SubClassOf C4 C5 SubClassOf C5 C9 SubClassOf C6 C7 SubClassOf C7 C2 SubClassOf C8 C4 SubClassOf C9 C6 ClassAssertion C9 a0 DisjointClasses C0 C1 SubClassOf C0 C2 SubClassOf C10 C12 SubClassOf C11 C6 SubClassOf C12 C8 SubClassOf C2 C11 SubClassOf C3 C4 SubClassOf C4 C5 SubClassOf C5 C0 SubClassOf C6 C7 SubClassOf C7 C1 SubClassOf C8 C3 SubClassOf C9 C10 ClassAssertion C8 a0 DisjointClasses C0 C1 SubClassOf C2 C3 SubClassOf C3 C7 SubClassOf C4 C5 SubClassOf C5 C0 SubClassOf C6 C1 SubClassOf C6 C4 SubClassOf C7 C6 SubClassOf C8 C2 ClassAssertion C5 a0 DisjointClasses C7 C4 SubClassOf C0 C1 SubClassOf C1 C8 SubClassOf C10 C2 SubClassOf C2 C3 SubClassOf C3 C0 SubClassOf C3 C4 SubClassOf C5 C9 SubClassOf C6 C7 SubClassOf C8 C6 SubClassOf C9 C10 ClassAssertion C0 a0 DisjointClasses C4 C2 SubClassOf C0 C3 SubClassOf C1 C2 SubClassOf C2 C5 SubClassOf C3 C1 SubClassOf C5 C6 SubClassOf C6 C4 ClassAssertion C6 a0 DisjointClasses C1 C2 SubClassOf C0 C1 SubClassOf C3 C2 SubClassOf C3 C4 SubClassOf C4 C5 SubClassOf C5 C0 SubClassOf C6 C3 ClassAssertion C2 a0 ClassAssertion C3 a0 DisjointClasses C1 C3 SubClassOf C0 C1 SubClassOf C2 C0 ClassAssertion C10 a0 DisjointClasses C0 C1 SubClassOf C0 C2 SubClassOf C10 C11 SubClassOf C11 C12 SubClassOf C12 C13 SubClassOf C13 C8 SubClassOf C2 C9 SubClassOf C3 C4 SubClassOf C4 C5 SubClassOf C5 C0 SubClassOf C6 C7 SubClassOf C7 C1 SubClassOf C8 C3 SubClassOf C9 C6 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 C2 a0 DisjointClasses C7 C4 SubClassOf C0 C1 SubClassOf C1 C8 SubClassOf C2 C5 SubClassOf C3 C4 SubClassOf C5 C0 SubClassOf C6 C3 SubClassOf C7 C6 SubClassOf C8 C9 SubClassOf C9 C7 ClassAssertion C5 a0 DisjointClasses C3 C10 EquivalentClasses C9 C10 SubClassOf C0 C1 SubClassOf C1 C10 SubClassOf C2 C3 SubClassOf C3 C0 SubClassOf C4 C2 SubClassOf C5 C6 SubClassOf C6 C7 SubClassOf C7 C8 SubClassOf C8 C4 ClassAssertion C0 a0 DisjointClasses C3 C4 SubClassOf C0 C5 SubClassOf C1 C2 SubClassOf C2 C3 SubClassOf C5 C1 SubClassOf C5 C4 ClassAssertion C6 a0 DisjointClasses C4 C5 SubClassOf C0 C1 SubClassOf C1 C4 SubClassOf C2 C3 SubClassOf C3 C0 SubClassOf C6 C2 SubClassOf C6 C7 SubClassOf C7 C8 SubClassOf C8 C5 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 C4 a0 DisjointClasses C9 C8 SubClassOf C0 C1 SubClassOf C1 C6 SubClassOf C10 C11 SubClassOf C11 C9 SubClassOf C2 C3 SubClassOf C3 C8 SubClassOf C4 C5 SubClassOf C5 C0 SubClassOf C5 C10 SubClassOf C6 C7 SubClassOf C7 C2 ClassAssertion C7 a0 DisjointClasses C13 C8 SubClassOf C0 C1 SubClassOf C1 C4 SubClassOf C10 C9 SubClassOf C11 C12 SubClassOf C12 C10 SubClassOf C2 C3 SubClassOf C3 C8 SubClassOf C4 C5 SubClassOf C5 C2 SubClassOf C6 C0 SubClassOf C7 C11 SubClassOf C9 C13 SubClassOf C9 C6 ClassAssertion C6 a0 ClassAssertion C8 a0 DisjointClasses C10 C1 SubClassOf C0 C1 SubClassOf C11 C2 SubClassOf C2 C3 SubClassOf C3 C0 SubClassOf C4 C5 SubClassOf C5 C9 SubClassOf C6 C7 SubClassOf C7 C11 SubClassOf C8 C4 SubClassOf C9 C10 ClassAssertion C0 a0 ClassAssertion C3 a0 DisjointClasses C2 C3 SubClassOf C0 C1 SubClassOf C1 C8 SubClassOf C4 C5 SubClassOf C5 C2 SubClassOf C6 C4 SubClassOf C7 C6 SubClassOf C8 C7 ClassAssertion C0 a0 ClassAssertion C4 a0 DisjointClasses C2 C0 EquivalentClasses C3 C0 SubClassOf C1 C2 SubClassOf C4 C1 ClassAssertion C10 a0 ClassAssertion C6 a0 DisjointClasses C9 C7 SubClassOf C0 C1 SubClassOf C1 C4 SubClassOf C10 C11 SubClassOf C11 C0 SubClassOf C2 C3 SubClassOf C3 C9 SubClassOf C4 C5 SubClassOf C5 C8 SubClassOf C6 C7 SubClassOf C8 C2 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 C6 C8 SubClassOf C0 C1 SubClassOf C0 C8 SubClassOf C1 C9 SubClassOf C10 C2 SubClassOf C2 C3 SubClassOf C3 C0 SubClassOf C4 C7 SubClassOf C5 C6 SubClassOf C7 C10 SubClassOf C9 C5 ClassAssertion C0 a0 ClassAssertion C3 a0 DisjointClasses C2 C0 SubClassOf C1 C2 SubClassOf C3 C4 SubClassOf C4 C6 SubClassOf C5 C1 SubClassOf C6 C7 SubClassOf C7 C5 ClassAssertion C3 a0 DisjointClasses C0 C1 SubClassOf C0 C2 SubClassOf C2 C1 SubClassOf C3 C4 SubClassOf C4 C5 SubClassOf C5 C6 SubClassOf C6 C7 SubClassOf C7 C0 ClassAssertion C3 a0 DisjointClasses C1 C5 SubClassOf C0 C1 SubClassOf C2 C0 SubClassOf C2 C5 SubClassOf C3 C4 SubClassOf C4 C2 ClassAssertion C7 a0 DisjointClasses C13 C8 SubClassOf C0 C1 SubClassOf C0 C13 SubClassOf C1 C4 SubClassOf C10 C9 SubClassOf C11 C12 SubClassOf C12 C10 SubClassOf C2 C3 SubClassOf C3 C8 SubClassOf C4 C5 SubClassOf C5 C2 SubClassOf C6 C0 SubClassOf C7 C11 SubClassOf C9 C6 ClassAssertion C0 a0 ClassAssertion C9 a0 DisjointClasses C9 C4 SubClassOf C0 C1 SubClassOf C1 C2 SubClassOf C2 C8 SubClassOf C3 C4 SubClassOf C5 C6 SubClassOf C6 C7 SubClassOf C7 C3 SubClassOf C8 C5 ClassAssertion C8 a0 DisjointClasses C2 C3 SubClassOf C0 C1 SubClassOf C1 C10 SubClassOf C10 C11 SubClassOf C11 C9 SubClassOf C2 C4 SubClassOf C4 C3 SubClassOf C5 C6 SubClassOf C6 C7 SubClassOf C7 C2 SubClassOf C8 C0 SubClassOf C9 C5 ClassAssertion C10 a0 DisjointClasses C12 C7 SubClassOf C0 C1 SubClassOf C1 C4 SubClassOf C10 C11 SubClassOf C11 C12 SubClassOf C11 C9 SubClassOf C2 C3 SubClassOf C3 C7 SubClassOf C4 C5 SubClassOf C5 C2 SubClassOf C6 C0 SubClassOf C8 C6 SubClassOf C9 C8 ClassAssertion C10 a0 DisjointClasses C9 C8 SubClassOf C0 C1 SubClassOf C1 C6 SubClassOf C10 C4 SubClassOf C2 C3 SubClassOf C3 C8 SubClassOf C4 C5 SubClassOf C5 C0 SubClassOf C6 C7 SubClassOf C7 C2 SubClassOf C7 C9 ClassAssertion C0 a0 DisjointClasses C3 C5 SubClassOf C0 C1 SubClassOf C1 C4 SubClassOf C1 C6 SubClassOf C2 C3 SubClassOf C4 C5 SubClassOf C6 C2 ClassAssertion C4 a0 DisjointClasses C12 C10 SubClassOf C0 C1 SubClassOf C1 C7 SubClassOf C11 C9 SubClassOf C2 C3 SubClassOf C3 C11 SubClassOf C4 C2 SubClassOf C5 C6 SubClassOf C6 C10 SubClassOf C7 C12 SubClassOf C7 C8 SubClassOf C8 C5 SubClassOf C9 C0 ClassAssertion C2 a0 DisjointClasses C8 C6 SubClassOf C0 C1 SubClassOf C0 C3 SubClassOf C1 C6 SubClassOf C10 C0 SubClassOf C2 C10 SubClassOf C3 C4 SubClassOf C4 C5 SubClassOf C5 C9 SubClassOf C7 C8 SubClassOf C9 C7 ClassAssertion C5 a0 DisjointClasses C2 C3 SubClassOf C0 C1 SubClassOf C1 C8 SubClassOf C10 C11 SubClassOf C11 C2 SubClassOf C2 C4 SubClassOf C4 C9 SubClassOf C5 C0 SubClassOf C6 C7 SubClassOf C7 C3 SubClassOf C8 C10 SubClassOf C9 C6 ClassAssertion C2 a0 DisjointClasses C0 C1 SubClassOf C2 C1 SubClassOf C2 C3 SubClassOf C3 C0 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 C0 a0 DisjointClasses C2 C3 SubClassOf C0 C1 SubClassOf C1 C5 SubClassOf C2 C4 SubClassOf C4 C3 SubClassOf C5 C6 SubClassOf C6 C7 SubClassOf C7 C8 SubClassOf C8 C9 SubClassOf C9 C2 ClassAssertion C5 a0 DisjointClasses C3 C4 SubClassOf C0 C1 SubClassOf C1 C2 SubClassOf C2 C3 SubClassOf C5 C4 SubClassOf C5 C6 SubClassOf C6 C0 ClassAssertion C5 a0 DisjointClasses C0 C1 SubClassOf C2 C0 SubClassOf C2 C1 SubClassOf C3 C4 SubClassOf C4 C2 SubClassOf C5 C6 SubClassOf C6 C3 ClassAssertion C9 a0 DisjointClasses C7 C8 SubClassOf C0 C1 SubClassOf C1 C7 SubClassOf C2 C3 SubClassOf C3 C0 SubClassOf C4 C2 SubClassOf C5 C6 SubClassOf C6 C4 SubClassOf C9 C5 SubClassOf C9 C8 ClassAssertion C0 a0 DisjointClasses C9 C6 SubClassOf C0 C11 SubClassOf C1 C2 SubClassOf C1 C7 SubClassOf C10 C8 SubClassOf C11 C1 SubClassOf C2 C3 SubClassOf C3 C4 SubClassOf C4 C10 SubClassOf C5 C6 SubClassOf C7 C5 SubClassOf C8 C9 ClassAssertion C2 a0 DisjointClasses C13 C11 SubClassOf C0 C1 SubClassOf C1 C12 SubClassOf C10 C4 SubClassOf C12 C10 SubClassOf C2 C3 SubClassOf C3 C0 SubClassOf C4 C5 SubClassOf C5 C8 SubClassOf C6 C7 SubClassOf C7 C11 SubClassOf C8 C13 SubClassOf C8 C9 SubClassOf C9 C6 ClassAssertion C2 a0 DisjointClasses C4 C5 SubClassOf C0 C1 SubClassOf C1 C7 SubClassOf C1 C9 SubClassOf C2 C3 SubClassOf C3 C6 SubClassOf C6 C8 SubClassOf C7 C5 SubClassOf C8 C0 SubClassOf C9 C4 ClassAssertion C3 a0 DisjointClasses C1 C2 SubClassOf C0 C1 SubClassOf C0 C2 SubClassOf C3 C4 SubClassOf C4 C5 SubClassOf C5 C8 SubClassOf C6 C7 SubClassOf C7 C0 SubClassOf C8 C6 ClassAssertion C2 a0 DisjointClasses C9 C8 SubClassOf C0 C1 SubClassOf C1 C6 SubClassOf C10 C11 SubClassOf C11 C0 SubClassOf C2 C5 SubClassOf C3 C4 SubClassOf C4 C8 SubClassOf C5 C10 SubClassOf C6 C7 SubClassOf C7 C3 SubClassOf C7 C9 ClassAssertion C5 a0 DisjointClasses C2 C11 SubClassOf C0 C1 SubClassOf C1 C2 SubClassOf C1 C8 SubClassOf C10 C0 SubClassOf C12 C10 SubClassOf C3 C4 SubClassOf C4 C12 SubClassOf C5 C3 SubClassOf C6 C7 SubClassOf C7 C11 SubClassOf C8 C9 SubClassOf C9 C6 ClassAssertion C7 a0 DisjointClasses C13 C8 SubClassOf C0 C1 SubClassOf C1 C4 SubClassOf C10 C9 SubClassOf C11 C12 SubClassOf C12 C10 SubClassOf C12 C13 SubClassOf C2 C3 SubClassOf C3 C8 SubClassOf C4 C5 SubClassOf C5 C2 SubClassOf C6 C0 SubClassOf C7 C11 SubClassOf C9 C6 ClassAssertion C0 a0 DisjointClasses C6 C9 SubClassOf C0 C1 SubClassOf C0 C5 SubClassOf C1 C2 SubClassOf C2 C6 SubClassOf C3 C4 SubClassOf C4 C9 SubClassOf C5 C7 SubClassOf C7 C8 SubClassOf C8 C3 ClassAssertion C4 a0 DisjointClasses C12 C10 SubClassOf C0 C1 SubClassOf C1 C7 SubClassOf C11 C9 SubClassOf C2 C3 SubClassOf C3 C11 SubClassOf C4 C2 SubClassOf C5 C6 SubClassOf C6 C10 SubClassOf C7 C8 SubClassOf C8 C12 SubClassOf C8 C5 SubClassOf C9 C0