@prefix : . @prefix log: . @prefix owl: . @forSome <#_g0>, <#_g1>, <#_g2>, <#_g3>, <#_g4>, <#_g5>, <#_g6>, <#_g7>, <#_g8>, <#_g9>, <#_g10>, <#_g11>, <#_g12>, <#_g13>, <#_g14>, <#_g15>, <#_g16>, <#_g17>, <#_g18>, <#_g19>, <#_g20>, <#_g21>, <#_g22>, <#_g23>, <#_g24>, <#_g25>, <#_g26>, <#_g27>, <#_g28>, <#_g29>, <#_g30>, <#_g31>, <#_g32>, <#_g33>, <#_g34>, <#_g35>, <#_g36>, <#_g37>, <#_g38>, <#_g39>, <#_g40>, <#_g41>, <#_g42>, <#_g43>, <#_g44>, <#_g45>, <#_g46>, <#_g47>, <#_g48>, <#_g49>, <#_g50>, <#_g51>, <#_g52>, <#_g53>, <#_g54>, <#_g55>, <#_g56>, <#_g57>, <#_g58> . [ a log:Truth; :existentials [ owl:oneOf ( "http://example.com/swap/test/run#_g13" "http://example.com/swap/test/run#_g16" "http://example.com/swap/test/run#_g17" "http://example.com/swap/test/run#_g18" "http://example.com/swap/test/run#_g19" "http://example.com/swap/test/run#_g20" "http://example.com/swap/test/run#_g21" "http://example.com/swap/test/run#_g22" "http://example.com/swap/test/run#_g23" "http://example.com/swap/test/run#_g24" "http://example.com/swap/test/run#_g25" "http://example.com/swap/test/run#_g26" "http://example.com/swap/test/run#_g27" "http://example.com/swap/test/run#_g28" "http://example.com/swap/test/run#_g29" "http://example.com/swap/test/run#_g32" "http://example.com/swap/test/run#_g33" "http://example.com/swap/test/run#_g34" "http://example.com/swap/test/run#_g35" "http://example.com/swap/test/run#_g37" "http://example.com/swap/test/run#_g38" "http://example.com/swap/test/run#_g41" "http://example.com/swap/test/run#_g42" "http://example.com/swap/test/run#_g43" "http://example.com/swap/test/run#_g44" "http://example.com/swap/test/run#_g45" "http://example.com/swap/test/run#_g46" "http://example.com/swap/test/run#_g47" "http://example.com/swap/test/run#_g48" "http://example.com/swap/test/run#_g50" "http://example.com/swap/test/run#_g51" "http://example.com/swap/test/run#_g54" "http://example.com/swap/test/run#_g55" "http://example.com/swap/test/run#_g56" "http://example.com/swap/test/run#_g57" "http://example.com/swap/test/run#_g59" "http://example.com/swap/test/run#_g60" "http://example.com/swap/test/run#_g63" "http://example.com/swap/test/run#_g64" "http://example.com/swap/test/run#_g67" "http://example.com/swap/test/run#_g68" "http://example.com/swap/test/run#_g71" "http://example.com/swap/test/run#_g72" "http://example.com/swap/test/run#_g73" "http://example.com/swap/test/run#_g74" "http://example.com/swap/test/run#_g75" "http://example.com/swap/test/run#_g76" "http://example.com/swap/test/run#_g77" "http://example.com/swap/test/run#_g78" "http://example.com/swap/test/run#_g80" "http://example.com/swap/test/run#_g81" "http://example.com/swap/test/run#_g84" "http://example.com/swap/test/run#_g85" "http://example.com/swap/test/run#_g86" "http://example.com/swap/test/run#_g87" "http://example.com/swap/test/run#_g90" "http://example.com/swap/test/run#_g91" "http://example.com/swap/test/run#_g93" "http://example.com/swap/test/run#_g94" ) ]; :statements [ owl:oneOf ( [ :object [ :items [ owl:oneOf () ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#existentials" ]; :subject <#_g0> ] [ :object [ :items [ owl:oneOf ( [ :value "http://example.com/swap/test/reify/reify0.n3#a" ] [ :value "http://example.com/swap/test/reify/reify0.n3#b" ] [ :value "http://example.com/swap/test/reify/reify0.n3#p" ] ) ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#universals" ]; :subject <#_g0> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#ancestor" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g1> ] [ :object <#_g1>; :predicate [ :uri "http://www.w3.org/2004/06/rei#subject" ]; :subject <#_g2> ] [ :object [ :value "http://www.w3.org/1999/02/22-rdf-syntax-ns#type" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g3> ] [ :object <#_g3>; :predicate [ :uri "http://www.w3.org/2004/06/rei#predicate" ]; :subject <#_g2> ] [ :object [ :value "http://www.daml.org/2001/03/daml+oil#TransitiveProperty" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g4> ] [ :object <#_g4>; :predicate [ :uri "http://www.w3.org/2004/06/rei#object" ]; :subject <#_g2> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#bill" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g5> ] [ :object <#_g5>; :predicate [ :uri "http://www.w3.org/2004/06/rei#subject" ]; :subject <#_g6> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#ancestor" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g7> ] [ :object <#_g7>; :predicate [ :uri "http://www.w3.org/2004/06/rei#predicate" ]; :subject <#_g6> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#pa" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g8> ] [ :object <#_g8>; :predicate [ :uri "http://www.w3.org/2004/06/rei#object" ]; :subject <#_g6> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#pa" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g9> ] [ :object <#_g9>; :predicate [ :uri "http://www.w3.org/2004/06/rei#subject" ]; :subject <#_g10> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#ancestor" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g11> ] [ :object <#_g11>; :predicate [ :uri "http://www.w3.org/2004/06/rei#predicate" ]; :subject <#_g10> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#granpa" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g12> ] [ :object <#_g12>; :predicate [ :uri "http://www.w3.org/2004/06/rei#object" ]; :subject <#_g10> ] [ :object [ :items [ owl:oneOf () ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#existentials" ]; :subject <#_g13> ] [ :object [ :items [ owl:oneOf () ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#universals" ]; :subject <#_g13> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#a" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g14> ] [ :object <#_g14>; :predicate [ :uri "http://www.w3.org/2004/06/rei#subject" ]; :subject <#_g15> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#means" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g16> ] [ :object <#_g16>; :predicate [ :uri "http://www.w3.org/2004/06/rei#predicate" ]; :subject <#_g15> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#b" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g17> ] [ :object <#_g17>; :predicate [ :uri "http://www.w3.org/2004/06/rei#object" ]; :subject <#_g15> ] [ :object [ :items [ owl:oneOf ( <#_g15> ) ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#statements" ]; :subject <#_g13> ] [ :object <#_g13>; :predicate [ :uri "http://www.w3.org/2004/06/rei#subject" ]; :subject <#_g18> ] [ :object [ :value "http://www.w3.org/2000/10/swap/log#implies" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g19> ] [ :object <#_g19>; :predicate [ :uri "http://www.w3.org/2004/06/rei#predicate" ]; :subject <#_g18> ] [ :object [ :items [ owl:oneOf () ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#existentials" ]; :subject <#_g20> ] [ :object [ :items [ owl:oneOf () ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#universals" ]; :subject <#_g20> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#a" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g21> ] [ :object <#_g21>; :predicate [ :uri "http://www.w3.org/2004/06/rei#subject" ]; :subject <#_g22> ] [ :object [ :value "http://www.w3.org/2000/10/swap/log#implies" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g23> ] [ :object <#_g23>; :predicate [ :uri "http://www.w3.org/2004/06/rei#predicate" ]; :subject <#_g22> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#b" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g24> ] [ :object <#_g24>; :predicate [ :uri "http://www.w3.org/2004/06/rei#object" ]; :subject <#_g22> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#b" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g25> ] [ :object <#_g25>; :predicate [ :uri "http://www.w3.org/2004/06/rei#subject" ]; :subject <#_g26> ] [ :object [ :value "http://www.w3.org/2000/10/swap/log#implies" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g27> ] [ :object <#_g27>; :predicate [ :uri "http://www.w3.org/2004/06/rei#predicate" ]; :subject <#_g26> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#a" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g28> ] [ :object <#_g28>; :predicate [ :uri "http://www.w3.org/2004/06/rei#object" ]; :subject <#_g26> ] [ :object [ :items [ owl:oneOf ( <#_g22> <#_g26> ) ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#statements" ]; :subject <#_g20> ] [ :object <#_g20>; :predicate [ :uri "http://www.w3.org/2004/06/rei#object" ]; :subject <#_g18> ] [ :object [ :items [ owl:oneOf () ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#existentials" ]; :subject <#_g29> ] [ :object [ :items [ owl:oneOf () ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#universals" ]; :subject <#_g29> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#p" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g30> ] [ :object <#_g30>; :predicate [ :uri "http://www.w3.org/2004/06/rei#subject" ]; :subject <#_g31> ] [ :object [ :value "http://www.w3.org/1999/02/22-rdf-syntax-ns#type" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g32> ] [ :object <#_g32>; :predicate [ :uri "http://www.w3.org/2004/06/rei#predicate" ]; :subject <#_g31> ] [ :object [ :value "http://www.daml.org/2001/03/daml+oil#TransitiveProperty" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g33> ] [ :object <#_g33>; :predicate [ :uri "http://www.w3.org/2004/06/rei#object" ]; :subject <#_g31> ] [ :object [ :items [ owl:oneOf ( <#_g31> ) ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#statements" ]; :subject <#_g29> ] [ :object <#_g29>; :predicate [ :uri "http://www.w3.org/2004/06/rei#subject" ]; :subject <#_g34> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#means" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g35> ] [ :object <#_g35>; :predicate [ :uri "http://www.w3.org/2004/06/rei#predicate" ]; :subject <#_g34> ] [ :object [ :items [ owl:oneOf () ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#existentials" ]; :subject <#_g36> ] [ :object [ :items [ owl:oneOf () ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#universals" ]; :subject <#_g36> ] [ :object [ :items [ owl:oneOf () ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#existentials" ]; :subject <#_g37> ] [ :object [ :items [ owl:oneOf ( [ :value "http://example.com/swap/test/reify/reify0.n3#x" ] [ :value "http://example.com/swap/test/reify/reify0.n3#y" ] [ :value "http://example.com/swap/test/reify/reify0.n3#z" ] ) ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#universals" ]; :subject <#_g37> ] [ :object [ :items [ owl:oneOf () ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#existentials" ]; :subject <#_g38> ] [ :object [ :items [ owl:oneOf () ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#universals" ]; :subject <#_g38> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#x" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g39> ] [ :object <#_g39>; :predicate [ :uri "http://www.w3.org/2004/06/rei#subject" ]; :subject <#_g40> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#p" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g41> ] [ :object <#_g41>; :predicate [ :uri "http://www.w3.org/2004/06/rei#predicate" ]; :subject <#_g40> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#y" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g42> ] [ :object <#_g42>; :predicate [ :uri "http://www.w3.org/2004/06/rei#object" ]; :subject <#_g40> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#y" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g43> ] [ :object <#_g43>; :predicate [ :uri "http://www.w3.org/2004/06/rei#subject" ]; :subject <#_g44> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#p" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g45> ] [ :object <#_g45>; :predicate [ :uri "http://www.w3.org/2004/06/rei#predicate" ]; :subject <#_g44> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#z" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g46> ] [ :object <#_g46>; :predicate [ :uri "http://www.w3.org/2004/06/rei#object" ]; :subject <#_g44> ] [ :object [ :items [ owl:oneOf ( <#_g40> <#_g44> ) ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#statements" ]; :subject <#_g38> ] [ :object <#_g38>; :predicate [ :uri "http://www.w3.org/2004/06/rei#subject" ]; :subject <#_g47> ] [ :object [ :value "http://www.w3.org/2000/10/swap/log#implies" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g48> ] [ :object <#_g48>; :predicate [ :uri "http://www.w3.org/2004/06/rei#predicate" ]; :subject <#_g47> ] [ :object [ :items [ owl:oneOf () ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#existentials" ]; :subject <#_g49> ] [ :object [ :items [ owl:oneOf () ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#universals" ]; :subject <#_g49> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#x" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g50> ] [ :object <#_g50>; :predicate [ :uri "http://www.w3.org/2004/06/rei#subject" ]; :subject <#_g51> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#p" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g52> ] [ :object <#_g52>; :predicate [ :uri "http://www.w3.org/2004/06/rei#predicate" ]; :subject <#_g51> ] [ :object [ :value "http://example.com/swap/test/reify/reify0.n3#z" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g53> ] [ :object <#_g53>; :predicate [ :uri "http://www.w3.org/2004/06/rei#object" ]; :subject <#_g51> ] [ :object [ :items [ owl:oneOf ( <#_g51> ) ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#statements" ]; :subject <#_g49> ] [ :object <#_g49>; :predicate [ :uri "http://www.w3.org/2004/06/rei#object" ]; :subject <#_g47> ] [ :object [ :items [ owl:oneOf ( <#_g47> ) ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#statements" ]; :subject <#_g37> ] [ :object <#_g37>; :predicate [ :uri "http://www.w3.org/2004/06/rei#subject" ]; :subject <#_g54> ] [ :object [ :value "http://www.w3.org/1999/02/22-rdf-syntax-ns#type" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g55> ] [ :object <#_g55>; :predicate [ :uri "http://www.w3.org/2004/06/rei#predicate" ]; :subject <#_g54> ] [ :object [ :value "http://www.w3.org/2000/10/swap/log#Truth" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g56> ] [ :object <#_g56>; :predicate [ :uri "http://www.w3.org/2004/06/rei#object" ]; :subject <#_g54> ] [ :object [ :items [ owl:oneOf ( <#_g54> ) ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#statements" ]; :subject <#_g36> ] [ :object <#_g36>; :predicate [ :uri "http://www.w3.org/2004/06/rei#object" ]; :subject <#_g34> ] [ :object <#_g20>; :predicate [ :uri "http://www.w3.org/2004/06/rei#subject" ]; :subject <#_g57> ] [ :object [ :value "http://www.w3.org/2000/10/swap/log#implies" ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#uri" ]; :subject <#_g58> ] [ :object <#_g58>; :predicate [ :uri "http://www.w3.org/2004/06/rei#predicate" ]; :subject <#_g57> ] [ :object <#_g13>; :predicate [ :uri "http://www.w3.org/2004/06/rei#object" ]; :subject <#_g57> ] [ :object [ :items [ owl:oneOf ( <#_g2> <#_g6> <#_g10> <#_g18> <#_g34> <#_g57> ) ] ]; :predicate [ :uri "http://www.w3.org/2004/06/rei#statements" ]; :subject <#_g0> ] [ :object [ :uri "http://www.w3.org/2000/10/swap/log#Truth" ]; :predicate [ :uri "http://www.w3.org/1999/02/22-rdf-syntax-ns#type" ]; :subject <#_g0> ] ) ]; :universals [ owl:oneOf () ] ]. <#_g0> a :BlankNode . <#_g1> a :BlankNode . <#_g2> a :BlankNode . <#_g3> a :BlankNode . <#_g4> a :BlankNode . <#_g5> a :BlankNode . <#_g6> a :BlankNode . <#_g7> a :BlankNode . <#_g8> a :BlankNode . <#_g9> a :BlankNode . <#_g10> a :BlankNode . <#_g11> a :BlankNode . <#_g12> a :BlankNode . <#_g13> a :BlankNode . <#_g14> a :BlankNode . <#_g15> a :BlankNode . <#_g16> a :BlankNode . <#_g17> a :BlankNode . <#_g18> a :BlankNode . <#_g19> a :BlankNode . <#_g20> a :BlankNode . <#_g21> a :BlankNode . <#_g22> a :BlankNode . <#_g23> a :BlankNode . <#_g24> a :BlankNode . <#_g25> a :BlankNode . <#_g26> a :BlankNode . <#_g27> a :BlankNode . <#_g28> a :BlankNode . <#_g29> a :BlankNode . <#_g30> a :BlankNode . <#_g31> a :BlankNode . <#_g32> a :BlankNode . <#_g33> a :BlankNode . <#_g34> a :BlankNode . <#_g35> a :BlankNode . <#_g36> a :BlankNode . <#_g37> a :BlankNode . <#_g38> a :BlankNode . <#_g39> a :BlankNode . <#_g40> a :BlankNode . <#_g41> a :BlankNode . <#_g42> a :BlankNode . <#_g43> a :BlankNode . <#_g44> a :BlankNode . <#_g45> a :BlankNode . <#_g46> a :BlankNode . <#_g47> a :BlankNode . <#_g48> a :BlankNode . <#_g49> a :BlankNode . <#_g50> a :BlankNode . <#_g51> a :BlankNode . <#_g52> a :BlankNode . <#_g53> a :BlankNode . <#_g54> a :BlankNode . <#_g55> a :BlankNode . <#_g56> a :BlankNode . <#_g57> a :BlankNode . <#_g58> a :BlankNode .