<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<cogxml>
<support name="vocabulary">
<conceptTypes>
<ctype id="_ct0" label="Human" x="10" y="60">
<translation descr="" label="Human" lang="en"/>
</ctype>
<ctype id="_ct61" label="Woman" x="175" y="55">
<translation descr="" label="Woman" 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="_ct60" id2="_ct59"/>
<order id1="_ct60" id2="_ct57"/>
<order id1="_ct59" id2="_ct0"/>
<order id1="_ct58" id2="_ct0"/>
<order id1="_ct62" id2="_ct63"/>
<order id1="_ct64" id2="_ct59"/>
<order id1="_ct61" id2="_ct58"/>
<order id1="_ct61" id2="_ct57"/>
<order id1="_ct62" id2="_ct58"/>
<order id1="_ct64" id2="_ct63"/>
<order id1="_ct57" id2="_ct0"/>
<order id1="_ct63" id2="_ct0"/>
</conceptTypes>
<relationTypes>
<rtype id="_rt20" idSignature="_ct0 _ct0" label="like">
<translation descr="" label="like" lang="en"/>
</rtype>
<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="_rt15" idSignature="_ct0 _ct0" label="siblingOf">
<translation descr="" label="siblingOf" lang="en"/>
</rtype>
<rtype id="_rt14" idSignature="_ct58 _ct58" label="marriedTo">
<translation descr="" label="marriedTo" lang="en"/>
</rtype>
<rtype id="_rt17" idSignature="_ct0 _ct58" label="childOf">
<translation descr="" label="childOf" lang="en"/>
</rtype>
<rtype id="_rt16" idSignature="_ct58 _ct0" label="ancestorOf">
<translation descr="" label="ancestorOf" 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="_rt23" idSignature="_ct61 _ct0" label="motherOf">
<translation descr="" label="motherOf" lang="en"/>
</rtype>
<rtype id="_rt24" idSignature="_ct62 _ct0" label="fatherOf">
<translation descr="" label="fatherOf" lang="en"/>
</rtype>
<rtype id="_rt25" idSignature="_ct57 _ct0" label="sisterOf">
<translation descr="" label="sisterOf" lang="en"/>
</rtype>
<rtype id="_rt26" idSignature="_ct63 _ct0" label="brotherOf">
<translation descr="" label="brotherOf" lang="en"/>
</rtype>
<order id1="_rt18" id2="_rt16"/>
<order id1="_rt22" id2="_rt0"/>
<order id1="_rt17" id2="_rt19"/>
<order id1="_rt26" id2="_rt15"/>
<order id1="_rt20" id2="_rt0"/>
<order id1="_rt15" id2="_rt19"/>
<order id1="_rt23" id2="_rt18"/>
<order id1="_rt14" id2="_rt19"/>
<order id1="_rt16" id2="_rt19"/>
<order id1="_rt24" id2="_rt18"/>
<order id1="_rt25" id2="_rt15"/>
<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="_graph3" label="A-fact" nature="fact" set="default_set">
<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="default_set">
<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="_c42" idMarker="2fca54a692f8b112:1c568870:129c693f88e:-7fd9" idType="_ct0" referent="individual" x="555" 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="_c42" label="2" rid="_r26"/>
</graph>
<graph id="_graph1" label="example-simple-fact" nature="fact" set="default_set">
<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="_rt14" 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="_g1" label="example-fact-solution1" nature="fact" set="default_set">
<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>
<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="_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="_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="_c23" idType="_ct63" x="305" y="100"/>
<concept id="_c24" idType="_ct0" x="300" y="295"/>
<relation id="_r13" idType="_rt15" x="305" y="205"/>
<edge cid="_c24" label="2" rid="_r13"/>
<edge cid="_c23" label="1" rid="_r13"/>
</graph>
</hypt>
<conc>
<graph id="_rule1_conc">
<concept id="_c26" idType="_ct63" x="505" y="100"/>
<concept id="_c25" idType="_ct0" x="505" y="295"/>
<relation id="_r14" idType="_rt26" x="505" y="205"/>
<edge cid="_c25" label="2" rid="_r14"/>
<edge cid="_c26" label="1" rid="_r14"/>
</graph>
</conc>
<conPts>
<couple idC1="_c23" idC2="_c26"/>
<couple idC1="_c24" idC2="_c25"/>
</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>

