Solving Sudoku with OWL

• From: Jeremy Wong 黃泓量 <jeremy@1980.hk>
• Date: Tue, 10 Jan 2006 00:13:05 +0800
• To: Semantic Web <semantic-web@w3.org>
• Message-ID: <43C28B91.8020906@1980.hk>

I attempt to model the popular game Sudoku in OWL. Could someone help me 
to see whether this work is correct or not.


Jeremy Wong 黃泓量


Attachments: sudoku-evil.rdf, sudoku.rdf

FILE: sudoku-evil.rdf
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF [
 <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#">
 <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#">
 <!ENTITY owl "http://www.w3.org/2002/07/owl#">
 <!ENTITY sudoku "http://sw.1980.hk/2006/sudoku#">
]>
<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="&owl;" 
xml:base="&sudoku;">

<Ontology xmlns="&owl;">
 <imports rdf:resource=""/>
</Ontology>

<Class rdf:about="#AA11">
 <rdfs:subClassOf rdf:resource="#B"/>
</Class>
<Class rdf:about="#AA12">
 <rdfs:subClassOf rdf:resource="#I"/>
</Class>

<Class rdf:about="#AB11">
 <rdfs:subClassOf rdf:resource="#E"/>
</Class>
<Class rdf:about="#AB31">
 <rdfs:subClassOf rdf:resource="#I"/>
</Class>
<Class rdf:about="#AB22">
 <rdfs:subClassOf rdf:resource="#H"/>
</Class>
<Class rdf:about="#AB13">
 <rdfs:subClassOf rdf:resource="#F"/>
</Class>

<Class rdf:about="#AC31">
 <rdfs:subClassOf rdf:resource="#H"/>
</Class>
<Class rdf:about="#AC32">
 <rdfs:subClassOf rdf:resource="#E"/>
</Class>
<Class rdf:about="#AC33">
 <rdfs:subClassOf rdf:resource="#C"/>
</Class>

<Class rdf:about="#BA21">
 <rdfs:subClassOf rdf:resource="#I"/>
</Class>
<Class rdf:about="#BA32">
 <rdfs:subClassOf rdf:resource="#D"/>
</Class>
<Class rdf:about="#BA13">
 <rdfs:subClassOf rdf:resource="#E"/>
</Class>

<Class rdf:about="#BB31">
 <rdfs:subClassOf rdf:resource="#A"/>
</Class>
<Class rdf:about="#BB13">
 <rdfs:subClassOf rdf:resource="#H"/>
</Class>

<Class rdf:about="#BC31">
 <rdfs:subClassOf rdf:resource="#C"/>
</Class>
<Class rdf:about="#BC12">
 <rdfs:subClassOf rdf:resource="#B"/>
</Class>
<Class rdf:about="#BC23">
 <rdfs:subClassOf rdf:resource="#D"/>
</Class>

<Class rdf:about="#CA11">
 <rdfs:subClassOf rdf:resource="#C"/>
</Class>
<Class rdf:about="#CA12">
 <rdfs:subClassOf rdf:resource="#F"/>
</Class>
<Class rdf:about="#CA13">
 <rdfs:subClassOf rdf:resource="#G"/>
</Class>

<Class rdf:about="#CB31">
 <rdfs:subClassOf rdf:resource="#C"/>
</Class>
<Class rdf:about="#CB22">
 <rdfs:subClassOf rdf:resource="#D"/>
</Class>
<Class rdf:about="#CB13">
 <rdfs:subClassOf rdf:resource="#A"/>
</Class>
<Class rdf:about="#CB33">
 <rdfs:subClassOf rdf:resource="#I"/>
</Class>

<Class rdf:about="#CC32">
 <rdfs:subClassOf rdf:resource="#G"/>
</Class>
<Class rdf:about="#CC33">
 <rdfs:subClassOf rdf:resource="#B"/>
</Class>

</rdf:RDF>

FILE: sudoku.rdf
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF [
<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#">
<!ENTITY owl "http://www.w3.org/2002/07/owl#">
<!ENTITY sudoku "http://sw.1980.hk/2006/sudoku#">
]>
<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="&owl;" 
xmlns:sudoku="&sudoku;" xml:base="&sudoku;">
<Ontology rdf:about=""/>
<Class rdf:ID="ABCDEFGHI">
<unionOf rdf:parseType="Collection">
<Class rdf:ID="A">
<disjointWith rdf:resource="#B"/>
<disjointWith rdf:resource="#C"/>
<disjointWith rdf:resource="#D"/>
<disjointWith rdf:resource="#E"/>
<disjointWith rdf:resource="#F"/>
<disjointWith rdf:resource="#G"/>
<disjointWith rdf:resource="#H"/>
<disjointWith rdf:resource="#I"/>
</Class>
<Class rdf:ID="B">
<disjointWith rdf:resource="#A"/>
<disjointWith rdf:resource="#C"/>
<disjointWith rdf:resource="#D"/>
<disjointWith rdf:resource="#E"/>
<disjointWith rdf:resource="#F"/>
<disjointWith rdf:resource="#G"/>
<disjointWith rdf:resource="#H"/>
<disjointWith rdf:resource="#I"/>
</Class>
<Class rdf:ID="C">
<disjointWith rdf:resource="#A"/>
<disjointWith rdf:resource="#B"/>
<disjointWith rdf:resource="#D"/>
<disjointWith rdf:resource="#E"/>
<disjointWith rdf:resource="#F"/>
<disjointWith rdf:resource="#G"/>
<disjointWith rdf:resource="#H"/>
<disjointWith rdf:resource="#I"/>
</Class>
<Class rdf:ID="D">
<disjointWith rdf:resource="#A"/>
<disjointWith rdf:resource="#B"/>
<disjointWith rdf:resource="#C"/>
<disjointWith rdf:resource="#E"/>
<disjointWith rdf:resource="#F"/>
<disjointWith rdf:resource="#G"/>
<disjointWith rdf:resource="#H"/>
<disjointWith rdf:resource="#I"/>
</Class>
<Class rdf:ID="E">
<disjointWith rdf:resource="#A"/>
<disjointWith rdf:resource="#B"/>
<disjointWith rdf:resource="#C"/>
<disjointWith rdf:resource="#D"/>
<disjointWith rdf:resource="#F"/>
<disjointWith rdf:resource="#G"/>
<disjointWith rdf:resource="#H"/>
<disjointWith rdf:resource="#I"/>
</Class>
<Class rdf:ID="F">
<disjointWith rdf:resource="#A"/>
<disjointWith rdf:resource="#B"/>
<disjointWith rdf:resource="#C"/>
<disjointWith rdf:resource="#D"/>
<disjointWith rdf:resource="#E"/>
<disjointWith rdf:resource="#G"/>
<disjointWith rdf:resource="#H"/>
<disjointWith rdf:resource="#I"/>
</Class>
<Class rdf:ID="G">
<disjointWith rdf:resource="#A"/>
<disjointWith rdf:resource="#B"/>
<disjointWith rdf:resource="#C"/>
<disjointWith rdf:resource="#D"/>
<disjointWith rdf:resource="#E"/>
<disjointWith rdf:resource="#F"/>
<disjointWith rdf:resource="#H"/>
<disjointWith rdf:resource="#I"/>
</Class>
<Class rdf:ID="H">
<disjointWith rdf:resource="#A"/>
<disjointWith rdf:resource="#B"/>
<disjointWith rdf:resource="#C"/>
<disjointWith rdf:resource="#D"/>
<disjointWith rdf:resource="#E"/>
<disjointWith rdf:resource="#F"/>
<disjointWith rdf:resource="#G"/>
<disjointWith rdf:resource="#I"/>
</Class>
<Class rdf:ID="I">
<disjointWith rdf:resource="#A"/>
<disjointWith rdf:resource="#B"/>
<disjointWith rdf:resource="#C"/>
<disjointWith rdf:resource="#D"/>
<disjointWith rdf:resource="#E"/>
<disjointWith rdf:resource="#F"/>
<disjointWith rdf:resource="#G"/>
<disjointWith rdf:resource="#H"/>
</Class>
</unionOf>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#AA11"/>
<Class rdf:about="#AA12"/>
<Class rdf:about="#AA13"/>
<Class rdf:about="#AB11"/>
<Class rdf:about="#AB12"/>
<Class rdf:about="#AB13"/>
<Class rdf:about="#AC11"/>
<Class rdf:about="#AC12"/>
<Class rdf:about="#AC13"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#AA21"/>
<Class rdf:about="#AA22"/>
<Class rdf:about="#AA23"/>
<Class rdf:about="#AB21"/>
<Class rdf:about="#AB22"/>
<Class rdf:about="#AB23"/>
<Class rdf:about="#AC21"/>
<Class rdf:about="#AC22"/>
<Class rdf:about="#AC23"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#AA31"/>
<Class rdf:about="#AA32"/>
<Class rdf:about="#AA33"/>
<Class rdf:about="#AB31"/>
<Class rdf:about="#AB32"/>
<Class rdf:about="#AB33"/>
<Class rdf:about="#AC31"/>
<Class rdf:about="#AC32"/>
<Class rdf:about="#AC33"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#BA11"/>
<Class rdf:about="#BA12"/>
<Class rdf:about="#BA13"/>
<Class rdf:about="#BB11"/>
<Class rdf:about="#BB12"/>
<Class rdf:about="#BB13"/>
<Class rdf:about="#BC11"/>
<Class rdf:about="#BC12"/>
<Class rdf:about="#BC13"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#BA21"/>
<Class rdf:about="#BA22"/>
<Class rdf:about="#BA23"/>
<Class rdf:about="#BB21"/>
<Class rdf:about="#BB22"/>
<Class rdf:about="#BB23"/>
<Class rdf:about="#BC21"/>
<Class rdf:about="#BC22"/>
<Class rdf:about="#BC23"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#BA31"/>
<Class rdf:about="#BA32"/>
<Class rdf:about="#BA33"/>
<Class rdf:about="#BB31"/>
<Class rdf:about="#BB32"/>
<Class rdf:about="#BB33"/>
<Class rdf:about="#BC31"/>
<Class rdf:about="#BC32"/>
<Class rdf:about="#BC33"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#CA11"/>
<Class rdf:about="#CA12"/>
<Class rdf:about="#CA13"/>
<Class rdf:about="#CB11"/>
<Class rdf:about="#CB12"/>
<Class rdf:about="#CB13"/>
<Class rdf:about="#CC11"/>
<Class rdf:about="#CC12"/>
<Class rdf:about="#CC13"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#CA21"/>
<Class rdf:about="#CA22"/>
<Class rdf:about="#CA23"/>
<Class rdf:about="#CB21"/>
<Class rdf:about="#CB22"/>
<Class rdf:about="#CB23"/>
<Class rdf:about="#CC21"/>
<Class rdf:about="#CC22"/>
<Class rdf:about="#CC23"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#CA31"/>
<Class rdf:about="#CA32"/>
<Class rdf:about="#CA33"/>
<Class rdf:about="#CB31"/>
<Class rdf:about="#CB32"/>
<Class rdf:about="#CB33"/>
<Class rdf:about="#CC31"/>
<Class rdf:about="#CC32"/>
<Class rdf:about="#CC33"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#AA11"/>
<Class rdf:about="#AA21"/>
<Class rdf:about="#AA31"/>
<Class rdf:about="#BA11"/>
<Class rdf:about="#BA21"/>
<Class rdf:about="#BA31"/>
<Class rdf:about="#CA11"/>
<Class rdf:about="#CA21"/>
<Class rdf:about="#CA31"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#AA12"/>
<Class rdf:about="#AA22"/>
<Class rdf:about="#AA32"/>
<Class rdf:about="#BA12"/>
<Class rdf:about="#BA22"/>
<Class rdf:about="#BA32"/>
<Class rdf:about="#CA12"/>
<Class rdf:about="#CA22"/>
<Class rdf:about="#CA32"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#AA13"/>
<Class rdf:about="#AA23"/>
<Class rdf:about="#AA33"/>
<Class rdf:about="#BA13"/>
<Class rdf:about="#BA23"/>
<Class rdf:about="#BA33"/>
<Class rdf:about="#CA13"/>
<Class rdf:about="#CA23"/>
<Class rdf:about="#CA33"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#AB11"/>
<Class rdf:about="#AB21"/>
<Class rdf:about="#AB31"/>
<Class rdf:about="#BB11"/>
<Class rdf:about="#BB21"/>
<Class rdf:about="#BB31"/>
<Class rdf:about="#CB11"/>
<Class rdf:about="#CB21"/>
<Class rdf:about="#CB31"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#AB12"/>
<Class rdf:about="#AB22"/>
<Class rdf:about="#AB32"/>
<Class rdf:about="#BB12"/>
<Class rdf:about="#BB22"/>
<Class rdf:about="#BB32"/>
<Class rdf:about="#CB12"/>
<Class rdf:about="#CB22"/>
<Class rdf:about="#CB32"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#AB13"/>
<Class rdf:about="#AB23"/>
<Class rdf:about="#AB33"/>
<Class rdf:about="#BB13"/>
<Class rdf:about="#BB23"/>
<Class rdf:about="#BB33"/>
<Class rdf:about="#CB13"/>
<Class rdf:about="#CB23"/>
<Class rdf:about="#CB33"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#AC11"/>
<Class rdf:about="#AC21"/>
<Class rdf:about="#AC31"/>
<Class rdf:about="#BC11"/>
<Class rdf:about="#BC21"/>
<Class rdf:about="#BC31"/>
<Class rdf:about="#CC11"/>
<Class rdf:about="#CC21"/>
<Class rdf:about="#CC31"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#AC12"/>
<Class rdf:about="#AC22"/>
<Class rdf:about="#AC32"/>
<Class rdf:about="#BC12"/>
<Class rdf:about="#BC22"/>
<Class rdf:about="#BC32"/>
<Class rdf:about="#CC12"/>
<Class rdf:about="#CC22"/>
<Class rdf:about="#CC32"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#AC13"/>
<Class rdf:about="#AC23"/>
<Class rdf:about="#AC33"/>
<Class rdf:about="#BC13"/>
<Class rdf:about="#BC23"/>
<Class rdf:about="#BC33"/>
<Class rdf:about="#CC13"/>
<Class rdf:about="#CC23"/>
<Class rdf:about="#CC33"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#AA11"/>
<Class rdf:about="#AA12"/>
<Class rdf:about="#AA13"/>
<Class rdf:about="#AA21"/>
<Class rdf:about="#AA22"/>
<Class rdf:about="#AA23"/>
<Class rdf:about="#AA31"/>
<Class rdf:about="#AA32"/>
<Class rdf:about="#AA33"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#AB11"/>
<Class rdf:about="#AB12"/>
<Class rdf:about="#AB13"/>
<Class rdf:about="#AB21"/>
<Class rdf:about="#AB22"/>
<Class rdf:about="#AB23"/>
<Class rdf:about="#AB31"/>
<Class rdf:about="#AB32"/>
<Class rdf:about="#AB33"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#AC11"/>
<Class rdf:about="#AC12"/>
<Class rdf:about="#AC13"/>
<Class rdf:about="#AC21"/>
<Class rdf:about="#AC22"/>
<Class rdf:about="#AC23"/>
<Class rdf:about="#AC31"/>
<Class rdf:about="#AC32"/>
<Class rdf:about="#AC33"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#BA11"/>
<Class rdf:about="#BA12"/>
<Class rdf:about="#BA13"/>
<Class rdf:about="#BA21"/>
<Class rdf:about="#BA22"/>
<Class rdf:about="#BA23"/>
<Class rdf:about="#BA31"/>
<Class rdf:about="#BA32"/>
<Class rdf:about="#BA33"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#BB11"/>
<Class rdf:about="#BB12"/>
<Class rdf:about="#BB13"/>
<Class rdf:about="#BB21"/>
<Class rdf:about="#BB22"/>
<Class rdf:about="#BB23"/>
<Class rdf:about="#BB31"/>
<Class rdf:about="#BB32"/>
<Class rdf:about="#BB33"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#BC11"/>
<Class rdf:about="#BC12"/>
<Class rdf:about="#BC13"/>
<Class rdf:about="#BC21"/>
<Class rdf:about="#BC22"/>
<Class rdf:about="#BC23"/>
<Class rdf:about="#BC31"/>
<Class rdf:about="#BC32"/>
<Class rdf:about="#BC33"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#CA11"/>
<Class rdf:about="#CA12"/>
<Class rdf:about="#CA13"/>
<Class rdf:about="#CA21"/>
<Class rdf:about="#CA22"/>
<Class rdf:about="#CA23"/>
<Class rdf:about="#CA31"/>
<Class rdf:about="#CA32"/>
<Class rdf:about="#CA33"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#CB11"/>
<Class rdf:about="#CB12"/>
<Class rdf:about="#CB13"/>
<Class rdf:about="#CB21"/>
<Class rdf:about="#CB22"/>
<Class rdf:about="#CB23"/>
<Class rdf:about="#CB31"/>
<Class rdf:about="#CB32"/>
<Class rdf:about="#CB33"/>
</unionOf>
</Class>
</equivalentClass>
<equivalentClass>
<Class>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#CC11"/>
<Class rdf:about="#CC12"/>
<Class rdf:about="#CC13"/>
<Class rdf:about="#CC21"/>
<Class rdf:about="#CC22"/>
<Class rdf:about="#CC23"/>
<Class rdf:about="#CC31"/>
<Class rdf:about="#CC32"/>
<Class rdf:about="#CC33"/>
</unionOf>
</Class>
</equivalentClass>
</Class>
<Class rdf:ID="AA11">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#CA31"/>
</Class>
<Class rdf:ID="AA12">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#CA32"/>
</Class>
<Class rdf:ID="AA13">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#CA33"/>
</Class>
<Class rdf:ID="AA21">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#CA31"/>
</Class>
<Class rdf:ID="AA22">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#CA32"/>
</Class>
<Class rdf:ID="AA23">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#CA33"/>
</Class>
<Class rdf:ID="AA31">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#CA31"/>
</Class>
<Class rdf:ID="AA32">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#CA32"/>
</Class>
<Class rdf:ID="AA33">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#CA33"/>
</Class>
<Class rdf:ID="AB11">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#CB31"/>
</Class>
<Class rdf:ID="AB12">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#CB32"/>
</Class>
<Class rdf:ID="AB13">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#CB33"/>
</Class>
<Class rdf:ID="AB21">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#CB31"/>
</Class>
<Class rdf:ID="AB22">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#CB32"/>
</Class>
<Class rdf:ID="AB23">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#CB33"/>
</Class>
<Class rdf:ID="AB31">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#CB31"/>
</Class>
<Class rdf:ID="AB32">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#CB32"/>
</Class>
<Class rdf:ID="AB33">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#CB33"/>
</Class>
<Class rdf:ID="AC11">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#BC31"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC31"/>
</Class>
<Class rdf:ID="AC12">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#BC32"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC32"/>
</Class>
<Class rdf:ID="AC13">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#BC33"/>
<disjointWith rdf:resource="#CC13"/>
<disjointWith rdf:resource="#CC23"/>
<disjointWith rdf:resource="#CC33"/>
</Class>
<Class rdf:ID="AC21">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#BC31"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC31"/>
</Class>
<Class rdf:ID="AC22">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#BC32"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC32"/>
</Class>
<Class rdf:ID="AC23">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#BC33"/>
<disjointWith rdf:resource="#CC13"/>
<disjointWith rdf:resource="#CC23"/>
<disjointWith rdf:resource="#CC33"/>
</Class>
<Class rdf:ID="AC31">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#BC31"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC31"/>
</Class>
<Class rdf:ID="AC32">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#BC32"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC32"/>
</Class>
<Class rdf:ID="AC33">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#BC33"/>
<disjointWith rdf:resource="#CC13"/>
<disjointWith rdf:resource="#CC23"/>
<disjointWith rdf:resource="#CC33"/>
</Class>
<Class rdf:ID="BA11">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#CA31"/>
</Class>
<Class rdf:ID="BA12">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#CA32"/>
</Class>
<Class rdf:ID="BA13">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#CA33"/>
</Class>
<Class rdf:ID="BA21">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#CA31"/>
</Class>
<Class rdf:ID="BA22">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#CA32"/>
</Class>
<Class rdf:ID="BA23">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#CA33"/>
</Class>
<Class rdf:ID="BA31">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#BC31"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#BC32"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#BC33"/>
<disjointWith rdf:resource="#CA31"/>
</Class>
<Class rdf:ID="BA32">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#BC31"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#BC32"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#BC33"/>
<disjointWith rdf:resource="#CA32"/>
</Class>
<Class rdf:ID="BA33">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#BC31"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#BC32"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#BC33"/>
<disjointWith rdf:resource="#CA33"/>
</Class>
<Class rdf:ID="BB11">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#CB31"/>
</Class>
<Class rdf:ID="BB12">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#CB32"/>
</Class>
<Class rdf:ID="BB13">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#CB33"/>
</Class>
<Class rdf:ID="BB21">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#CB31"/>
</Class>
<Class rdf:ID="BB22">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#CB32"/>
</Class>
<Class rdf:ID="BB23">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#CB33"/>
</Class>
<Class rdf:ID="BB31">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#BC31"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#BC32"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#BC33"/>
<disjointWith rdf:resource="#CB31"/>
</Class>
<Class rdf:ID="BB32">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#BC31"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#BC32"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#BC33"/>
<disjointWith rdf:resource="#CB32"/>
</Class>
<Class rdf:ID="BB33">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#BC31"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#BC32"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#BC33"/>
<disjointWith rdf:resource="#CB33"/>
</Class>
<Class rdf:ID="BC11">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#BC31"/>
<disjointWith rdf:resource="#BC32"/>
<disjointWith rdf:resource="#BC33"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC31"/>
</Class>
<Class rdf:ID="BC12">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#BC31"/>
<disjointWith rdf:resource="#BC32"/>
<disjointWith rdf:resource="#BC33"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC32"/>
</Class>
<Class rdf:ID="BC13">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#BC31"/>
<disjointWith rdf:resource="#BC32"/>
<disjointWith rdf:resource="#BC33"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#CC13"/>
<disjointWith rdf:resource="#CC23"/>
<disjointWith rdf:resource="#CC33"/>
</Class>
<Class rdf:ID="BC21">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#BC31"/>
<disjointWith rdf:resource="#BC32"/>
<disjointWith rdf:resource="#BC33"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC31"/>
</Class>
<Class rdf:ID="BC22">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#BC31"/>
<disjointWith rdf:resource="#BC32"/>
<disjointWith rdf:resource="#BC33"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC32"/>
</Class>
<Class rdf:ID="BC23">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#BC31"/>
<disjointWith rdf:resource="#BC32"/>
<disjointWith rdf:resource="#BC33"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#CC13"/>
<disjointWith rdf:resource="#CC23"/>
<disjointWith rdf:resource="#CC33"/>
</Class>
<Class rdf:ID="BC31">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#BC32"/>
<disjointWith rdf:resource="#BC33"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC31"/>
</Class>
<Class rdf:ID="BC32">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#BC31"/>
<disjointWith rdf:resource="#BC33"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC32"/>
</Class>
<Class rdf:ID="BC33">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#BC31"/>
<disjointWith rdf:resource="#BC32"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#CC13"/>
<disjointWith rdf:resource="#CC23"/>
<disjointWith rdf:resource="#CC33"/>
</Class>
<Class rdf:ID="CA11">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#CA31"/>
<disjointWith rdf:resource="#CA32"/>
<disjointWith rdf:resource="#CA33"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC13"/>
</Class>
<Class rdf:ID="CA12">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#CA31"/>
<disjointWith rdf:resource="#CA32"/>
<disjointWith rdf:resource="#CA33"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC13"/>
</Class>
<Class rdf:ID="CA13">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#CA31"/>
<disjointWith rdf:resource="#CA32"/>
<disjointWith rdf:resource="#CA33"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC13"/>
</Class>
<Class rdf:ID="CA21">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#CA31"/>
<disjointWith rdf:resource="#CA32"/>
<disjointWith rdf:resource="#CA33"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC23"/>
</Class>
<Class rdf:ID="CA22">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#CA31"/>
<disjointWith rdf:resource="#CA32"/>
<disjointWith rdf:resource="#CA33"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC23"/>
</Class>
<Class rdf:ID="CA23">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#CA31"/>
<disjointWith rdf:resource="#CA32"/>
<disjointWith rdf:resource="#CA33"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC23"/>
</Class>
<Class rdf:ID="CA31">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#CA32"/>
<disjointWith rdf:resource="#CA33"/>
<disjointWith rdf:resource="#AA11"/>
<disjointWith rdf:resource="#AA21"/>
<disjointWith rdf:resource="#AA31"/>
<disjointWith rdf:resource="#CB31"/>
<disjointWith rdf:resource="#BA11"/>
<disjointWith rdf:resource="#CB32"/>
<disjointWith rdf:resource="#BA21"/>
<disjointWith rdf:resource="#CB33"/>
<disjointWith rdf:resource="#BA31"/>
<disjointWith rdf:resource="#CC31"/>
<disjointWith rdf:resource="#CC32"/>
<disjointWith rdf:resource="#CC33"/>
</Class>
<Class rdf:ID="CA32">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#CA31"/>
<disjointWith rdf:resource="#CA33"/>
<disjointWith rdf:resource="#AA12"/>
<disjointWith rdf:resource="#AA22"/>
<disjointWith rdf:resource="#AA32"/>
<disjointWith rdf:resource="#CB31"/>
<disjointWith rdf:resource="#BA12"/>
<disjointWith rdf:resource="#CB32"/>
<disjointWith rdf:resource="#BA22"/>
<disjointWith rdf:resource="#CB33"/>
<disjointWith rdf:resource="#BA32"/>
<disjointWith rdf:resource="#CC31"/>
<disjointWith rdf:resource="#CC32"/>
<disjointWith rdf:resource="#CC33"/>
</Class>
<Class rdf:ID="CA33">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#CA31"/>
<disjointWith rdf:resource="#CA32"/>
<disjointWith rdf:resource="#AA13"/>
<disjointWith rdf:resource="#AA23"/>
<disjointWith rdf:resource="#AA33"/>
<disjointWith rdf:resource="#CB31"/>
<disjointWith rdf:resource="#BA13"/>
<disjointWith rdf:resource="#CB32"/>
<disjointWith rdf:resource="#BA23"/>
<disjointWith rdf:resource="#CB33"/>
<disjointWith rdf:resource="#BA33"/>
<disjointWith rdf:resource="#CC31"/>
<disjointWith rdf:resource="#CC32"/>
<disjointWith rdf:resource="#CC33"/>
</Class>
<Class rdf:ID="CB11">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#CB31"/>
<disjointWith rdf:resource="#CB32"/>
<disjointWith rdf:resource="#CB33"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC13"/>
</Class>
<Class rdf:ID="CB12">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#CB31"/>
<disjointWith rdf:resource="#CB32"/>
<disjointWith rdf:resource="#CB33"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC13"/>
</Class>
<Class rdf:ID="CB13">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#CB31"/>
<disjointWith rdf:resource="#CB32"/>
<disjointWith rdf:resource="#CB33"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC13"/>
</Class>
<Class rdf:ID="CB21">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#CB31"/>
<disjointWith rdf:resource="#CB32"/>
<disjointWith rdf:resource="#CB33"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC23"/>
</Class>
<Class rdf:ID="CB22">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#CB31"/>
<disjointWith rdf:resource="#CB32"/>
<disjointWith rdf:resource="#CB33"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC23"/>
</Class>
<Class rdf:ID="CB23">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#CB31"/>
<disjointWith rdf:resource="#CB32"/>
<disjointWith rdf:resource="#CB33"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC23"/>
</Class>
<Class rdf:ID="CB31">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#CB32"/>
<disjointWith rdf:resource="#CB33"/>
<disjointWith rdf:resource="#CA31"/>
<disjointWith rdf:resource="#AB11"/>
<disjointWith rdf:resource="#CA32"/>
<disjointWith rdf:resource="#AB21"/>
<disjointWith rdf:resource="#CA33"/>
<disjointWith rdf:resource="#AB31"/>
<disjointWith rdf:resource="#BB11"/>
<disjointWith rdf:resource="#BB21"/>
<disjointWith rdf:resource="#BB31"/>
<disjointWith rdf:resource="#CC31"/>
<disjointWith rdf:resource="#CC32"/>
<disjointWith rdf:resource="#CC33"/>
</Class>
<Class rdf:ID="CB32">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#CB31"/>
<disjointWith rdf:resource="#CB33"/>
<disjointWith rdf:resource="#CA31"/>
<disjointWith rdf:resource="#AB12"/>
<disjointWith rdf:resource="#CA32"/>
<disjointWith rdf:resource="#AB22"/>
<disjointWith rdf:resource="#CA33"/>
<disjointWith rdf:resource="#AB32"/>
<disjointWith rdf:resource="#BB12"/>
<disjointWith rdf:resource="#BB22"/>
<disjointWith rdf:resource="#BB32"/>
<disjointWith rdf:resource="#CC31"/>
<disjointWith rdf:resource="#CC32"/>
<disjointWith rdf:resource="#CC33"/>
</Class>
<Class rdf:ID="CB33">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#CB31"/>
<disjointWith rdf:resource="#CB32"/>
<disjointWith rdf:resource="#CA31"/>
<disjointWith rdf:resource="#AB13"/>
<disjointWith rdf:resource="#CA32"/>
<disjointWith rdf:resource="#AB23"/>
<disjointWith rdf:resource="#CA33"/>
<disjointWith rdf:resource="#AB33"/>
<disjointWith rdf:resource="#BB13"/>
<disjointWith rdf:resource="#BB23"/>
<disjointWith rdf:resource="#BB33"/>
<disjointWith rdf:resource="#CC31"/>
<disjointWith rdf:resource="#CC32"/>
<disjointWith rdf:resource="#CC33"/>
</Class>
<Class rdf:ID="CC11">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC13"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC23"/>
<disjointWith rdf:resource="#CC31"/>
<disjointWith rdf:resource="#CC32"/>
<disjointWith rdf:resource="#CC33"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#BC31"/>
</Class>
<Class rdf:ID="CC12">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC13"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC23"/>
<disjointWith rdf:resource="#CC31"/>
<disjointWith rdf:resource="#CC32"/>
<disjointWith rdf:resource="#CC33"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#BC32"/>
</Class>
<Class rdf:ID="CC13">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC23"/>
<disjointWith rdf:resource="#CC31"/>
<disjointWith rdf:resource="#CC32"/>
<disjointWith rdf:resource="#CC33"/>
<disjointWith rdf:resource="#CA11"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#CA12"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#CA13"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#CB11"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#CB12"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#CB13"/>
<disjointWith rdf:resource="#BC33"/>
</Class>
<Class rdf:ID="CC21">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC13"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC23"/>
<disjointWith rdf:resource="#CC31"/>
<disjointWith rdf:resource="#CC32"/>
<disjointWith rdf:resource="#CC33"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#BC31"/>
</Class>
<Class rdf:ID="CC22">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC13"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC23"/>
<disjointWith rdf:resource="#CC31"/>
<disjointWith rdf:resource="#CC32"/>
<disjointWith rdf:resource="#CC33"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#BC32"/>
</Class>
<Class rdf:ID="CC23">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC13"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC31"/>
<disjointWith rdf:resource="#CC32"/>
<disjointWith rdf:resource="#CC33"/>
<disjointWith rdf:resource="#CA21"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#CA22"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#CA23"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#CB21"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#CB22"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#CB23"/>
<disjointWith rdf:resource="#BC33"/>
</Class>
<Class rdf:ID="CC31">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC13"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC23"/>
<disjointWith rdf:resource="#CC32"/>
<disjointWith rdf:resource="#CC33"/>
<disjointWith rdf:resource="#CA31"/>
<disjointWith rdf:resource="#AC11"/>
<disjointWith rdf:resource="#CA32"/>
<disjointWith rdf:resource="#AC21"/>
<disjointWith rdf:resource="#CA33"/>
<disjointWith rdf:resource="#AC31"/>
<disjointWith rdf:resource="#CB31"/>
<disjointWith rdf:resource="#BC11"/>
<disjointWith rdf:resource="#CB32"/>
<disjointWith rdf:resource="#BC21"/>
<disjointWith rdf:resource="#CB33"/>
<disjointWith rdf:resource="#BC31"/>
</Class>
<Class rdf:ID="CC32">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC13"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC23"/>
<disjointWith rdf:resource="#CC31"/>
<disjointWith rdf:resource="#CC33"/>
<disjointWith rdf:resource="#CA31"/>
<disjointWith rdf:resource="#AC12"/>
<disjointWith rdf:resource="#CA32"/>
<disjointWith rdf:resource="#AC22"/>
<disjointWith rdf:resource="#CA33"/>
<disjointWith rdf:resource="#AC32"/>
<disjointWith rdf:resource="#CB31"/>
<disjointWith rdf:resource="#BC12"/>
<disjointWith rdf:resource="#CB32"/>
<disjointWith rdf:resource="#BC22"/>
<disjointWith rdf:resource="#CB33"/>
<disjointWith rdf:resource="#BC32"/>
</Class>
<Class rdf:ID="CC33">
<rdfs:subClassOf rdf:resource="#ABCDEFGHI"/>
<disjointWith rdf:resource="#CC11"/>
<disjointWith rdf:resource="#CC12"/>
<disjointWith rdf:resource="#CC13"/>
<disjointWith rdf:resource="#CC21"/>
<disjointWith rdf:resource="#CC22"/>
<disjointWith rdf:resource="#CC23"/>
<disjointWith rdf:resource="#CC31"/>
<disjointWith rdf:resource="#CC32"/>
<disjointWith rdf:resource="#CA31"/>
<disjointWith rdf:resource="#AC13"/>
<disjointWith rdf:resource="#CA32"/>
<disjointWith rdf:resource="#AC23"/>
<disjointWith rdf:resource="#CA33"/>
<disjointWith rdf:resource="#AC33"/>
<disjointWith rdf:resource="#CB31"/>
<disjointWith rdf:resource="#BC13"/>
<disjointWith rdf:resource="#CB32"/>
<disjointWith rdf:resource="#BC23"/>
<disjointWith rdf:resource="#CB33"/>
<disjointWith rdf:resource="#BC33"/>
</Class>
</rdf:RDF>

Received on Monday, 9 January 2006 16:14:06 UTC