<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<cogxml>
<support name="vocabulary">
<conceptTypes>
<ctype id="_ct61" label="Woman" x="175" y="55">
<translation descr="" label="Woman" lang="en"/>
</ctype>
<ctype id="_ct0" label="Human" x="10" y="60">
<translation descr="" label="Human" lang="en"/>
</ctype>
<ctype id="_ct60" label="Girl" x="175" y="105">
<translation descr="" label="Girl" lang="en"/>
</ctype>
<ctype id="_ct64" label="Boy" x="180" y="170">
<translation descr="" label="Boy" lang="en"/>
</ctype>
<ctype id="_ct63" label="Male" x="90" y="175">
<translation descr="" label="Male" lang="en"/>
</ctype>
<ctype id="_ct62" label="Man" x="180" y="0">
<translation descr="" label="Man" lang="en"/>
<translation descr="" label="Hombre" lang="es"/>
<translation descr="" label="Homme" lang="fr"/>
</ctype>
<ctype id="_ct59" label="Child" x="85" y="60">
<translation descr="" label="Child" lang="en"/>
</ctype>
<ctype id="_ct57" label="Female" x="80" y="120">
<translation descr="" label="Female" lang="en"/>
</ctype>
<ctype id="_ct58" label="Adult" x="85" y="10">
<translation descr="" label="Adult" lang="en"/>
</ctype>
<order id1="_ct64" id2="_ct59"/>
<order id1="_ct61" id2="_ct58"/>
<order id1="_ct62" id2="_ct58"/>
<order id1="_ct63" id2="_ct0"/>
<order id1="_ct64" id2="_ct63"/>
<order id1="_ct61" id2="_ct57"/>
<order id1="_ct60" id2="_ct57"/>
<order id1="_ct62" id2="_ct63"/>
<order id1="_ct60" id2="_ct59"/>
<order id1="_ct58" id2="_ct0"/>
<order id1="_ct57" id2="_ct0"/>
<order id1="_ct59" id2="_ct0"/>
</conceptTypes>
<relationTypes>
<rtype id="_rt19" idSignature="_ct0 _ct0" label="relatedWith">
<translation descr="" label="relatedWith" lang="en"/>
</rtype>
<rtype id="_rt18" idSignature="_ct58 _ct0" label="parentOf">
<translation descr="" label="parentOf" lang="en"/>
</rtype>
<rtype id="_rt28" idSignature="_ct61 _ct0" label="marriedTo">
<translation descr="" label="marriedTo" lang="en"/>
</rtype>
<rtype id="_rt15" idSignature="_ct0 _ct0" label="siblingOf">
<translation descr="" label="siblingOf" lang="en"/>
</rtype>
<rtype id="_rt14" idSignature="_ct63 _ct0" label="uncleOf">
<translation descr="" label="uncleOf" lang="en"/>
</rtype>
<rtype id="_rt17" idSignature="_ct0 _ct58" label="childOf">
<translation descr="" label="childOf" lang="en"/>
</rtype>
<rtype id="_rt26" idSignature="_ct63 _ct0" label="brotherOf">
<translation descr="" label="brotherOf" lang="en"/>
</rtype>
<rtype id="_rt16" idSignature="_ct58 _ct0" label="ancestorOf">
<translation descr="" label="ancestorOf" lang="en"/>
</rtype>
<rtype id="_rt25" idSignature="_ct57 _ct0" label="sisterOf">
<translation descr="" label="sisterOf" lang="en"/>
</rtype>
<rtype id="_rt24" idSignature="_ct62 _ct0" label="fatherOf">
<translation descr="" label="fatherOf" lang="en"/>
</rtype>
<rtype id="_rt23" idSignature="_ct61 _ct0" label="motherOf">
<translation descr="" label="motherOf" lang="en"/>
</rtype>
<rtype id="_rt0" idSignature="_ct0 _ct0" label="link">
<translation descr="" label="link" lang="en"/>
</rtype>
<rtype id="_rt22" idSignature="_ct0 _ct0" label="dislike">
<translation descr="" label="dislike" lang="en"/>
</rtype>
<rtype id="_rt20" idSignature="_ct0 _ct0" label="like">
<translation descr="" label="like" lang="en"/>
</rtype>
<order id1="_rt18" id2="_rt16"/>
<order id1="_rt24" id2="_rt18"/>
<order id1="_rt16" id2="_rt19"/>
<order id1="_rt15" id2="_rt19"/>
<order id1="_rt20" id2="_rt0"/>
<order id1="_rt25" id2="_rt15"/>
<order id1="_rt14" id2="_rt19"/>
<order id1="_rt17" id2="_rt19"/>
<order id1="_rt22" id2="_rt0"/>
<order id1="_rt26" id2="_rt15"/>
<order id1="_rt28" id2="_rt19"/>
<order id1="_rt23" id2="_rt18"/>
<order id1="_rt19" id2="_rt0"/>
</relationTypes>
<nestingTypes>
<ntype id="_nt0" label="Nesting">
<translation descr="" label="Nesting" lang="en"/>
</ntype>
</nestingTypes>
<conformity>
<marker id="2fca54a692f8b112:1c568870:129c693f88e:-7fd9" idType="_ct0" label="F"/>
<marker id="2fca54a692f8b112:1c568870:129c693f88e:-7fe3" idType="_ct60" label="E"/>
<marker id="2fca54a692f8b112:1c568870:129c693f88e:-7fe4" idType="_ct0" label="D"/>
<marker id="2fca54a692f8b112:1c568870:129c693f88e:-7fe5" idType="_ct0" label="C"/>
<marker id="2fca54a692f8b112:1c568870:129c693f88e:-7fe6" idType="_ct0" label="B"/>
<marker id="2fca54a692f8b112:1c568870:129c693f88e:-7fe7" idType="_ct0" label="A"/>
<marker id="3c8268b8d99b6a7d:-29612915:129a7a4b7f8:-8000" idType="_ct61" label="Mary"/>
<marker id="3c8268b8d99b6a7d:-3cc7016d:129c61194f8:-7fff" idType="_ct62" label="Bob"/>
<marker id="3c8268b8d99b6a7d:-3cc7016d:129c61194f8:-8000" idType="_ct60" label="Alice"/>
</conformity>
<bannedTypes>
<bannedType>
<type id="_ct58"/>
<type id="_ct59"/>
</bannedType>
<bannedType>
<type id="_ct57"/>
<type id="_ct63"/>
</bannedType>
</bannedTypes>
<modules/>
</support>
<localeTypes name="undefined_vocabulary">
<conceptTypes/>
<relationTypes/>
<nestingTypes/>
<conformity/>
<modules/>
</localeTypes>
<graph id="_graph4" label="ancestors-fact" nature="fact" set="computed-facts">
<concept id="_c46" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fe7" idType="_ct58" referent="individual" x="10" y="85"/>
<concept id="_c45" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fe3" idType="_ct60" referent="individual" x="375" y="195"/>
<concept id="_c47" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fd9" idType="_ct0" referent="individual" x="550" y="105"/>
<concept id="_c48" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fe4" idType="_ct58" referent="individual" x="380" y="100"/>
<concept id="_c44" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fe5" idType="_ct58" referent="individual" x="195" y="150"/>
<concept id="_c49" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fe6" idType="_ct63" referent="individual" x="200" y="65"/>
<relation id="_r33" idType="_rt18" x="110" y="65"/>
<relation id="_r35" idType="_rt18" x="110" y="115"/>
<relation id="_r32" idType="_rt18" x="295" y="120"/>
<relation id="_r34" idType="_rt18" x="290" y="175"/>
<relation id="_r29" idType="_rt18" x="470" y="105"/>
<relation id="_r31" idType="_rt16" x="35" y="180"/>
<relation id="_r27" idType="_rt16" x="375" y="145"/>
<relation id="_r28" idType="_rt16" x="145" y="15"/>
<relation id="_r30" idType="_rt16" x="195" y="105"/>
<edge cid="_c44" label="1" rid="_r34"/>
<edge cid="_c45" label="2" rid="_r34"/>
<edge cid="_c46" label="1" rid="_r33"/>
<edge cid="_c49" label="2" rid="_r33"/>
<edge cid="_c44" label="1" rid="_r32"/>
<edge cid="_c48" label="2" rid="_r32"/>
<edge cid="_c46" label="1" rid="_r35"/>
<edge cid="_c44" label="2" rid="_r35"/>
<edge cid="_c48" label="1" rid="_r29"/>
<edge cid="_c47" label="2" rid="_r29"/>
<edge cid="_c46" label="1" rid="_r30"/>
<edge cid="_c48" label="2" rid="_r30"/>
<edge cid="_c46" label="1" rid="_r31"/>
<edge cid="_c45" label="2" rid="_r31"/>
<edge cid="_c44" label="1" rid="_r27"/>
<edge cid="_c47" label="2" rid="_r27"/>
<edge cid="_c46" label="1" rid="_r28"/>
<edge cid="_c47" label="2" rid="_r28"/>
</graph>
<graph id="_graph3" label="A-fact" nature="fact" set="initial-facts">
<concept id="_c47" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fe7" idType="_ct0" referent="individual" x="40" y="90"/>
</graph>
<graph id="_graph2" label="genealogy-fact" nature="fact" set="initial-facts">
<concept id="_c36" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fe7" idType="_ct58" referent="individual" x="10" y="80"/>
<concept id="_c37" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fe6" idType="_ct63" referent="individual" x="200" y="60"/>
<concept id="_c38" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fe5" idType="_ct58" referent="individual" x="200" y="110"/>
<concept id="_c39" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fe4" idType="_ct58" referent="individual" x="380" y="95"/>
<concept id="_c40" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fe3" idType="_ct60" referent="individual" x="390" y="140"/>
<concept id="_c43" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fd9" idType="_ct0" referent="individual" x="550" y="100"/>
<relation id="_r22" idType="_rt18" x="110" y="60"/>
<relation id="_r23" idType="_rt18" x="110" y="110"/>
<relation id="_r24" idType="_rt18" x="295" y="100"/>
<relation id="_r25" idType="_rt18" x="305" y="140"/>
<relation id="_r26" idType="_rt18" x="470" y="100"/>
<edge cid="_c36" label="1" rid="_r22"/>
<edge cid="_c37" label="2" rid="_r22"/>
<edge cid="_c36" label="1" rid="_r23"/>
<edge cid="_c38" label="2" rid="_r23"/>
<edge cid="_c38" label="1" rid="_r24"/>
<edge cid="_c38" label="1" rid="_r25"/>
<edge cid="_c39" label="2" rid="_r24"/>
<edge cid="_c40" label="2" rid="_r25"/>
<edge cid="_c39" label="1" rid="_r26"/>
<edge cid="_c43" label="2" rid="_r26"/>
</graph>
<graph id="_graph1" label="example-simple-fact" nature="fact" set="initial-facts">
<concept id="_c10" idMarker="3c8268b8d99b6a7d:-29612915:129a7a4b7f8:-8000" idType="_ct61" referent="individual" x="105" y="85"/>
<concept id="_c11" idMarker="3c8268b8d99b6a7d:-3cc7016d:129c61194f8:-8000" idType="_ct60" referent="individual" x="370" y="35"/>
<concept id="_c12" idMarker="3c8268b8d99b6a7d:-3cc7016d:129c61194f8:-7fff" idType="_ct62" referent="individual" x="380" y="145"/>
<relation id="_r16" idType="_rt23" x="250" y="35"/>
<relation id="_r17" idType="_rt28" x="245" y="140"/>
<edge cid="_c10" label="1" rid="_r16"/>
<edge cid="_c11" label="2" rid="_r16"/>
<edge cid="_c10" label="1" rid="_r17"/>
<edge cid="_c12" label="2" rid="_r17"/>
</graph>
<graph id="f88535006c6e277d:-f4ef0f7:129cabb5aa8:-7fc8" label="all-deduced-facts" nature="fact" set="computed-facts">
<concept id="_c87" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fe7" idType="_ct58" referent="individual" x="40" y="300"/>
<concept id="_c90" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fe6" idType="_ct63" referent="individual" x="105" y="25"/>
<concept id="_c91" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fe5" idType="_ct58" referent="individual" x="275" y="120"/>
<concept id="_c88" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fe4" idType="_ct58" referent="individual" x="430" y="255"/>
<concept id="_c89" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fe3" idType="_ct60" referent="individual" x="575" y="15"/>
<concept id="_c92" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fd9" idType="_ct0" referent="individual" x="655" y="245"/>
<relation id="_r148" idType="_rt18" x="40" y="145"/>
<relation id="_r146" idType="_rt18" x="165" y="220"/>
<relation id="_r150" idType="_rt18" x="390" y="200"/>
<relation id="_r136" idType="_rt18" x="390" y="100"/>
<relation id="_r141" idType="_rt18" x="525" y="265"/>
<relation id="_r152" idType="_rt17" x="0" y="130"/>
<relation id="_r154" idType="_rt17" x="85" y="215"/>
<relation id="_r147" idType="_rt17" x="365" y="225"/>
<relation id="_r131" idType="_rt17" x="395" y="65"/>
<relation id="_r144" idType="_rt17" x="525" y="235"/>
<relation id="_r142" idType="_rt16" x="295" y="300"/>
<relation id="_r130" idType="_rt16" x="410" y="130"/>
<relation id="_r155" idType="_rt16" x="535" y="200"/>
<relation id="_r137" idType="_rt15" x="40" y="0"/>
<relation id="_r138" idType="_rt15" x="175" y="85"/>
<relation id="_r149" idType="_rt15" x="200" y="55"/>
<relation id="_r143" idType="_rt15" x="270" y="70"/>
<relation id="_r153" idType="_rt15" x="440" y="300"/>
<relation id="_r151" idType="_rt15" x="540" y="130"/>
<relation id="_r156" idType="_rt15" x="485" y="130"/>
<relation id="_r135" idType="_rt15" x="645" y="20"/>
<relation id="_r139" idType="_rt15" x="755" y="220"/>
<relation id="_r133" idType="_rt26" x="0" y="25"/>
<relation id="_r132" idType="_rt26" x="95" y="115"/>
<relation id="_r145" idType="_rt14" x="255" y="250"/>
<relation id="_r134" idType="_rt14" x="285" y="25"/>
<relation id="_r140" idType="_rt16" x="375" y="380"/>
<edge cid="_c91" label="1" rid="_r136"/>
<edge cid="_c89" label="2" rid="_r136"/>
<edge cid="_c87" label="1" rid="_r148"/>
<edge cid="_c90" label="2" rid="_r148"/>
<edge cid="_c91" label="1" rid="_r150"/>
<edge cid="_c88" label="2" rid="_r150"/>
<edge cid="_c87" label="1" rid="_r146"/>
<edge cid="_c91" label="2" rid="_r146"/>
<edge cid="_c88" label="1" rid="_r141"/>
<edge cid="_c92" label="2" rid="_r141"/>
<edge cid="_c90" label="1" rid="_r152"/>
<edge cid="_c87" label="2" rid="_r152"/>
<edge cid="_c91" label="1" rid="_r154"/>
<edge cid="_c87" label="2" rid="_r154"/>
<edge cid="_c88" label="1" rid="_r147"/>
<edge cid="_c91" label="2" rid="_r147"/>
<edge cid="_c89" label="1" rid="_r131"/>
<edge cid="_c91" label="2" rid="_r131"/>
<edge cid="_c92" label="1" rid="_r144"/>
<edge cid="_c88" label="2" rid="_r144"/>
<edge cid="_c87" label="1" rid="_r142"/>
<edge cid="_c88" label="2" rid="_r142"/>
<edge cid="_c87" label="1" rid="_r130"/>
<edge cid="_c89" label="2" rid="_r130"/>
<edge cid="_c91" label="1" rid="_r155"/>
<edge cid="_c92" label="2" rid="_r155"/>
<edge cid="_c90" label="1" rid="_r137"/>
<edge cid="_c90" label="2" rid="_r137"/>
<edge cid="_c90" label="1" rid="_r138"/>
<edge cid="_c91" label="2" rid="_r138"/>
<edge cid="_c91" label="1" rid="_r149"/>
<edge cid="_c90" label="2" rid="_r149"/>
<edge cid="_c91" label="1" rid="_r143"/>
<edge cid="_c91" label="2" rid="_r143"/>
<edge cid="_c88" label="1" rid="_r153"/>
<edge cid="_c88" label="2" rid="_r153"/>
<edge cid="_c88" label="1" rid="_r151"/>
<edge cid="_c89" label="2" rid="_r151"/>
<edge cid="_c89" label="1" rid="_r156"/>
<edge cid="_c88" label="2" rid="_r156"/>
<edge cid="_c89" label="1" rid="_r135"/>
<edge cid="_c89" label="2" rid="_r135"/>
<edge cid="_c92" label="1" rid="_r139"/>
<edge cid="_c92" label="2" rid="_r139"/>
<edge cid="_c90" label="1" rid="_r133"/>
<edge cid="_c90" label="2" rid="_r133"/>
<edge cid="_c90" label="1" rid="_r132"/>
<edge cid="_c91" label="2" rid="_r132"/>
<edge cid="_c90" label="1" rid="_r145"/>
<edge cid="_c88" label="2" rid="_r145"/>
<edge cid="_c90" label="1" rid="_r134"/>
<edge cid="_c89" label="2" rid="_r134"/>
<edge cid="_c87" label="1" rid="_r140"/>
<edge cid="_c92" label="2" rid="_r140"/>
</graph>
<graph id="_g1" label="example-fact-solution1" nature="fact" set="initial-facts">
<concept id="_c1" idMarker="3c8268b8d99b6a7d:-3cc7016d:129c61194f8:-7fff" idType="_ct62" referent="individual" x="240" y="35"/>
<concept id="_c2" idMarker="3c8268b8d99b6a7d:-3cc7016d:129c61194f8:-8000" idType="_ct60" referent="individual" x="60" y="110"/>
<concept id="_c3" idType="_ct64" x="390" y="120"/>
<relation id="_r1" idType="_rt24" x="120" y="55"/>
<relation id="_r2" idType="_rt25" x="255" y="210"/>
<relation id="_r3" idType="_rt20" x="25" y="180"/>
<relation id="_r4" idType="_rt24" x="370" y="60"/>
<relation id="_r5" idType="_rt20" x="255" y="125"/>
<edge cid="_c1" label="1" rid="_r1"/>
<edge cid="_c2" label="2" rid="_r1"/>
<edge cid="_c2" label="1" rid="_r5"/>
<edge cid="_c3" label="2" rid="_r5"/>
<edge cid="_c1" label="1" rid="_r4"/>
<edge cid="_c3" label="2" rid="_r4"/>
<edge cid="_c3" label="2" rid="_r2"/>
<edge cid="_c2" label="1" rid="_r2"/>
<edge cid="_c2" label="1" rid="_r3"/>
<edge cid="_c2" label="2" rid="_r3"/>
</graph>
<graph id="_query1" label="QancestorOfF" nature="query" set="default_set">
<concept id="_c48" idType="_ct58" x="25" y="10"/>
<concept id="_c49" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fd9" idType="_ct0" referent="individual" x="245" y="15"/>
<relation id="_r28" idType="_rt16" x="135" y="15"/>
<edge cid="_c48" label="1" rid="_r28"/>
<edge cid="_c49" label="2" rid="_r28"/>
</graph>
<graph id="_query2" label="Qancestors" nature="query" set="default_set">
<concept id="_c51" idType="_ct58" x="15" y="25"/>
<concept id="_c50" idType="_ct0" x="230" y="30"/>
<relation id="_r29" idType="_rt16" x="120" y="30"/>
<edge cid="_c51" label="1" rid="_r29"/>
<edge cid="_c50" label="2" rid="_r29"/>
</graph>
<graph id="_query3" label="QnephewsOfB" nature="query" set="default_set">
<concept id="_c64" idType="_ct63" x="20" y="20"/>
<concept id="_c65" idType="_ct0" x="210" y="25"/>
<relation id="_r38" idType="_rt14" x="130" y="25"/>
<edge cid="_c64" label="1" rid="_r38"/>
<edge cid="_c65" label="2" rid="_r38"/>
</graph>
<rule id="_rule3">
<hypt>
<graph id="_rule3_hypt" label="R2(childOf-parentOf)" nature="rule" set="family-relationships">
<concept id="_c8" idType="_ct0" x="215" y="225"/>
<concept id="_c9" idType="_ct58" x="220" y="85"/>
<relation id="_r5" idType="_rt17" x="225" y="160"/>
<edge cid="_c8" label="1" rid="_r5"/>
<edge cid="_c9" label="2" rid="_r5"/>
</graph>
</hypt>
<conc>
<graph id="_rule3_conc">
<concept id="_c6" idType="_ct58" x="425" y="85"/>
<concept id="_c7" idType="_ct0" x="425" y="225"/>
<relation id="_r4" idType="_rt18" x="430" y="160"/>
<edge cid="_c6" label="1" rid="_r4"/>
<edge cid="_c7" label="2" rid="_r4"/>
</graph>
</conc>
<conPts>
<couple idC1="_c8" idC2="_c7"/>
<couple idC1="_c9" idC2="_c6"/>
</conPts>
</rule>
<rule id="_rule4">
<hypt>
<graph id="_rule4_hypt" label="R4(siblingOf-symmetrical)" nature="rule" set="family-relationships">
<concept id="_c10" idType="_ct0" x="225" y="55"/>
<concept id="_c11" idType="_ct0" x="225" y="180"/>
<relation id="_r6" idType="_rt15" x="230" y="120"/>
<edge cid="_c10" label="1" rid="_r6"/>
<edge cid="_c11" label="2" rid="_r6"/>
</graph>
</hypt>
<conc>
<graph id="_rule4_conc">
<concept id="_c12" idType="_ct0" x="410" y="55"/>
<concept id="_c13" idType="_ct0" x="410" y="180"/>
<relation id="_r7" idType="_rt15" x="415" y="120"/>
<edge cid="_c12" label="2" rid="_r7"/>
<edge cid="_c13" label="1" rid="_r7"/>
</graph>
</conc>
<conPts>
<couple idC1="_c10" idC2="_c12"/>
<couple idC1="_c11" idC2="_c13"/>
</conPts>
</rule>
<rule id="_rule5">
<hypt>
<graph id="_rule5_hypt" label="R5(motherOf)" nature="rule" set="family-relationships">
<concept id="_c14" idType="_ct61" x="205" y="85"/>
<concept id="_c15" idType="_ct0" x="210" y="200"/>
<relation id="_r8" idType="_rt18" x="210" y="145"/>
<edge cid="_c14" label="1" rid="_r8"/>
<edge cid="_c15" label="2" rid="_r8"/>
</graph>
</hypt>
<conc>
<graph id="_rule5_conc">
<concept id="_c16" idType="_ct61" x="400" y="85"/>
<concept id="_c17" idType="_ct0" x="405" y="205"/>
<relation id="_r9" idType="_rt23" x="405" y="150"/>
<edge cid="_c16" label="1" rid="_r9"/>
<edge cid="_c17" label="2" rid="_r9"/>
</graph>
</conc>
<conPts>
<couple idC1="_c14" idC2="_c16"/>
<couple idC1="_c15" idC2="_c17"/>
</conPts>
</rule>
<rule id="_rule12">
<hypt>
<graph id="_rule12_hypt" label="R9(uncleOf-from-other-relations)" nature="rule" set="family-relationships">
<concept id="_c53" idType="_ct58" x="55" y="120"/>
<concept id="_c52" idType="_ct63" x="230" y="55"/>
<concept id="_c56" idType="_ct0" x="220" y="205"/>
<relation id="_r33" idType="_rt26" x="135" y="80"/>
<relation id="_r31" idType="_rt18" x="130" y="170"/>
<edge cid="_c53" label="2" rid="_r33"/>
<edge cid="_c52" label="1" rid="_r33"/>
<edge cid="_c53" label="1" rid="_r31"/>
<edge cid="_c56" label="2" rid="_r31"/>
</graph>
</hypt>
<conc>
<graph id="_rule12_conc">
<concept id="_c57" idType="_ct63" x="360" y="55"/>
<concept id="_c58" idType="_ct0" x="355" y="210"/>
<relation id="_r34" idType="_rt14" x="360" y="135"/>
<edge cid="_c57" label="1" rid="_r34"/>
<edge cid="_c58" label="2" rid="_r34"/>
</graph>
</conc>
<conPts>
<couple idC1="_c52" idC2="_c57"/>
<couple idC1="_c56" idC2="_c58"/>
</conPts>
</rule>
<rule id="_rule6">
<hypt>
<graph id="_rule6_hypt" label="R6(siblingOf-from-parentOf)" nature="rule" set="family-relationships">
<concept id="_c18" idType="_ct58" x="90" y="175"/>
<concept id="_c19" idType="_ct0" x="210" y="70"/>
<concept id="_c20" idType="_ct0" x="225" y="270"/>
<relation id="_r10" idType="_rt18" x="155" y="125"/>
<relation id="_r11" idType="_rt18" x="170" y="225"/>
<edge cid="_c18" label="1" rid="_r10"/>
<edge cid="_c19" label="2" rid="_r10"/>
<edge cid="_c20" label="2" rid="_r11"/>
<edge cid="_c18" label="1" rid="_r11"/>
</graph>
</hypt>
<conc>
<graph id="_rule6_conc">
<concept id="_c21" idType="_ct0" x="395" y="70"/>
<concept id="_c22" idType="_ct0" x="395" y="270"/>
<relation id="_r12" idType="_rt15" x="400" y="175"/>
<edge cid="_c22" label="2" rid="_r12"/>
<edge cid="_c21" label="1" rid="_r12"/>
</graph>
</conc>
<conPts>
<couple idC1="_c19" idC2="_c21"/>
<couple idC1="_c20" idC2="_c22"/>
</conPts>
</rule>
<rule id="_rule7">
<hypt>
<graph id="_rule7_hypt" label="R7(parentOf-from-siblingOf)" nature="rule" set="family-relationships">
<concept id="_c23" idType="_ct0" x="200" y="90"/>
<concept id="_c26" idType="_ct0" x="200" y="285"/>
<relation id="_r13" idType="_rt15" x="205" y="195"/>
<edge cid="_c26" label="2" rid="_r13"/>
<edge cid="_c23" label="1" rid="_r13"/>
</graph>
</hypt>
<conc>
<graph id="_rule7_conc">
<concept id="_c29" idType="_ct58" x="540" y="180"/>
<concept id="_c28" idType="_ct0" x="395" y="90"/>
<concept id="_c30" idType="_ct0" x="415" y="285"/>
<relation id="_r16" idType="_rt18" x="465" y="140"/>
<relation id="_r17" idType="_rt18" x="480" y="235"/>
<edge cid="_c29" label="1" rid="_r16"/>
<edge cid="_c28" label="2" rid="_r16"/>
<edge cid="_c30" label="2" rid="_r17"/>
<edge cid="_c29" label="1" rid="_r17"/>
</graph>
</conc>
<conPts>
<couple idC1="_c23" idC2="_c28"/>
<couple idC1="_c26" idC2="_c30"/>
</conPts>
</rule>
<rule id="_rule8">
<hypt>
<graph id="_rule8_hypt" label="R3(ancestorOf-transitive)" nature="rule" set="family-relationships">
<concept id="_c31" idType="_ct58" x="130" y="30"/>
<concept id="_c32" idType="_ct58" x="130" y="150"/>
<concept id="_c33" idType="_ct0" x="130" y="260"/>
<relation id="_r18" idType="_rt16" x="130" y="95"/>
<relation id="_r19" idType="_rt16" x="130" y="205"/>
<edge cid="_c31" label="1" rid="_r18"/>
<edge cid="_c32" label="2" rid="_r18"/>
<edge cid="_c32" label="1" rid="_r19"/>
<edge cid="_c33" label="2" rid="_r19"/>
</graph>
</hypt>
<conc>
<graph id="_rule8_conc">
<concept id="_c34" idType="_ct58" x="365" y="45"/>
<concept id="_c35" idType="_ct0" x="365" y="220"/>
<relation id="_r20" idType="_rt16" x="365" y="135"/>
<edge cid="_c34" label="1" rid="_r20"/>
<edge cid="_c35" label="2" rid="_r20"/>
</graph>
</conc>
<conPts>
<couple idC1="_c31" idC2="_c34"/>
<couple idC1="_c33" idC2="_c35"/>
</conPts>
</rule>
<rule id="_rule10">
<hypt>
<graph id="_rule10_hypt" label="R10(uncleOf-to-other-relations)" nature="rule" set="family-relationships">
<concept id="_c49" idType="_ct63" x="160" y="75"/>
<concept id="_c50" idType="_ct0" x="155" y="230"/>
<relation id="_r28" idType="_rt14" x="160" y="155"/>
<edge cid="_c49" label="1" rid="_r28"/>
<edge cid="_c50" label="2" rid="_r28"/>
</graph>
</hypt>
<conc>
<graph id="_rule10_conc">
<concept id="_c47" idType="_ct58" x="505" y="150"/>
<concept id="_c48" idType="_ct63" x="345" y="75"/>
<concept id="_c51" idType="_ct0" x="355" y="230"/>
<relation id="_r30" idType="_rt26" x="435" y="95"/>
<relation id="_r29" idType="_rt18" x="450" y="215"/>
<edge cid="_c47" label="2" rid="_r30"/>
<edge cid="_c48" label="1" rid="_r30"/>
<edge cid="_c47" label="1" rid="_r29"/>
<edge cid="_c51" label="2" rid="_r29"/>
</graph>
</conc>
<conPts>
<couple idC1="_c49" idC2="_c48"/>
<couple idC1="_c50" idC2="_c51"/>
</conPts>
</rule>
<rule id="_rule9">
<hypt>
<graph id="_rule9_hypt" label="Rp" nature="rule" set="problematic-rule">
<concept id="_c43" idType="_ct0" x="140" y="180"/>
</graph>
</hypt>
<conc>
<graph id="_rule9_conc">
<concept id="_c45" idType="_ct0" x="285" y="180"/>
<concept id="_c46" idType="_ct61" x="280" y="50"/>
<relation id="_r27" idType="_rt23" x="285" y="115"/>
<edge cid="_c46" label="1" rid="_r27"/>
<edge cid="_c45" label="2" rid="_r27"/>
</graph>
</conc>
<conPts>
<couple idC1="_c43" idC2="_c45"/>
</conPts>
</rule>
<rule id="_rule1">
<hypt>
<graph id="_rule1_hypt" label="R8(brotherOf)" nature="rule" set="family-relationships">
<concept id="_c44" idType="_ct63" x="220" y="70"/>
<concept id="_c45" idType="_ct0" x="215" y="230"/>
<relation id="_r27" idType="_rt15" x="220" y="155"/>
<edge cid="_c44" label="1" rid="_r27"/>
<edge cid="_c45" label="2" rid="_r27"/>
</graph>
</hypt>
<conc>
<graph id="_rule1_conc">
<concept id="_c48" idType="_ct63" x="385" y="70"/>
<concept id="_c47" idType="_ct0" x="385" y="225"/>
<relation id="_r28" idType="_rt26" x="385" y="155"/>
<edge cid="_c48" label="1" rid="_r28"/>
<edge cid="_c47" label="2" rid="_r28"/>
</graph>
</conc>
<conPts>
<couple idC1="_c44" idC2="_c48"/>
<couple idC1="_c45" idC2="_c47"/>
</conPts>
</rule>
<rule id="_rule2">
<hypt>
<graph id="_rule2_hypt" label="R1(parentOf-childOf)" nature="rule" set="family-relationships">
<concept id="_c1" idType="_ct58" x="215" y="75"/>
<concept id="_c2" idType="_ct0" x="215" y="215"/>
<relation id="_r1" idType="_rt18" x="220" y="150"/>
<edge cid="_c1" label="1" rid="_r1"/>
<edge cid="_c2" label="2" rid="_r1"/>
</graph>
</hypt>
<conc>
<graph id="_rule2_conc">
<concept id="_c3" idType="_ct0" x="410" y="215"/>
<concept id="_c4" idType="_ct58" x="415" y="75"/>
<relation id="_r2" idType="_rt17" x="420" y="150"/>
<edge cid="_c3" label="1" rid="_r2"/>
<edge cid="_c4" label="2" rid="_r2"/>
</graph>
</conc>
<conPts>
<couple idC1="_c1" idC2="_c4"/>
<couple idC1="_c2" idC2="_c3"/>
</conPts>
</rule>
</cogxml>

