_:b15001	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:b15359	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:b15358 .
<http://www.w3.org/2002/07/owl#Thing>	<http://www.w3.org/2002/07/owl#unionOf>	_:b10000 .
_:b15357	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:b15359 .
_:b15884	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:b15883 .
_:b15908	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:b15907 .
_:b15000	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15001	<http://www.w3.org/2002/07/owl#complementOf>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b10001	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:b15898	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:b15356	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:b15355 .
_:b10000	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:b10002 .
_:b10002	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:b10001 .
_:b15002	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b15911	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:b15910 .
_:b15909	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:b15911 .
_:b15859	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:b15860	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b10001	<http://www.w3.org/2002/07/owl#complementOf>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b10000	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b10046	<http://www.w3.org/2002/07/owl#complementOf>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15856	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:b10002	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b15882	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:b15884 .
_:b10047	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b15906	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:b15908 .
_:b15898	<http://www.w3.org/2002/07/owl#complementOf>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b10047	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:b10046 .
_:b15858	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15859	<http://www.w3.org/2002/07/owl#complementOf>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b10045	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15000	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:b15002 .
_:b15857	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b15002	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:b15001 .
<http://www.w3.org/2002/07/owl#Thing>	<http://www.w3.org/2002/07/owl#unionOf>	_:b15873 .
_:b10045	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:b10047 .
_:b15899	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b15360	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:b15362 .
_:b15910	<http://www.w3.org/2002/07/owl#complementOf>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15897	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15908	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b15362	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:b15361 .
_:b15911	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://www.w3.org/2002/07/owl#Thing>	<http://www.w3.org/2002/07/owl#unionOf>	_:b15882 .
_:b15856	<http://www.w3.org/2002/07/owl#complementOf>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15909	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://www.w3.org/2002/07/owl#Nothing> .
<http://www.w3.org/2002/07/owl#Thing>	<http://www.w3.org/2000/01/rdf-schema#label>	"Thing" .
_:b15874	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:b15870	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15871	<http://www.w3.org/2002/07/owl#complementOf>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15906	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15907	<http://www.w3.org/2002/07/owl#complementOf>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15869	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://www.w3.org/2002/07/owl#Thing>	<http://www.w3.org/2002/07/owl#unionOf>	_:b10045 .
_:b15867	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:b15869 .
<http://www.w3.org/2002/07/owl#Thing>	<http://www.w3.org/2002/07/owl#unionOf>	_:b15897 .
_:b10046	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:b15360	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15907	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:b15361	<http://www.w3.org/2002/07/owl#complementOf>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15355	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:b15868	<http://www.w3.org/2002/07/owl#complementOf>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15874	<http://www.w3.org/2002/07/owl#complementOf>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15872	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b15362	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b15361	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
<http://www.w3.org/2002/07/owl#Thing>	<http://www.w3.org/2002/07/owl#unionOf>	_:b15906 .
_:b15875	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b15899	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:b15898 .
_:b15871	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:b15867	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://www.w3.org/2002/07/owl#Nothing> .
<http://www.w3.org/2002/07/owl#Thing>	<http://www.w3.org/2002/07/owl#unionOf>	_:b15909 .
_:b15870	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:b15872 .
_:b15873	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15897	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:b15899 .
_:b15910	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:b15358	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:b15868	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:b15869	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:b15868 .
_:b15358	<http://www.w3.org/2002/07/owl#complementOf>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15356	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b15359	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://www.w3.org/2002/07/owl#Thing>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:b15884	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://www.w3.org/2002/07/owl#Thing>	<http://www.w3.org/2002/07/owl#unionOf>	_:b15354 .
_:b15357	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15883	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:b15858	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:b15860 .
<http://www.w3.org/2002/07/owl#Thing>	<http://www.w3.org/2002/07/owl#unionOf>	_:b15357 .
_:b15354	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15355	<http://www.w3.org/2002/07/owl#complementOf>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15857	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:b15856 .
_:b15882	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15883	<http://www.w3.org/2002/07/owl#complementOf>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15860	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:b15859 .
<http://www.w3.org/2002/07/owl#Thing>	<http://www.w3.org/2002/07/owl#unionOf>	_:b15855 .
<http://www.w3.org/2002/07/owl#Thing>	<http://www.w3.org/2002/07/owl#unionOf>	_:b15858 .
<http://www.w3.org/2002/07/owl#Thing>	<http://www.w3.org/2002/07/owl#unionOf>	_:b15867 .
<http://www.w3.org/2002/07/owl#Thing>	<http://www.w3.org/2002/07/owl#unionOf>	_:b15870 .
_:b15855	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://www.w3.org/2002/07/owl#Nothing> .
_:b15855	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:b15857 .
<http://www.w3.org/2002/07/owl#Thing>	<http://www.w3.org/2002/07/owl#unionOf>	_:b15360 .
_:b15875	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:b15874 .
_:b15873	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:b15875 .
<http://www.w3.org/2002/07/owl#Thing>	<http://www.w3.org/2002/07/owl#unionOf>	_:b15000 .
_:b15354	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:b15356 .
_:b15872	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:b15871 .