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