# Generated with http://eulersharp.sourceforge.net/ version 1.4.7 on 29 Sep 2005 13:07:21 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix c: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix : <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.

{:DanC cn:acquaintedWith :DanBri} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_46>. 
{_:www2002_24_ cn:socialParticipants :DanBri} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_50>. 
{_:www2002_24_ cn:inRegion _:e802507_24_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_54>. 
{{cn:temporalBoundsIntersect owl:inverseOf cn:temporalBoundsIntersect} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_135>. 
 {{cn:temporallyIntersects rdfs:subPropertyOf cn:temporalBoundsIntersect} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_139>. 
  {{{{cn:startingDate rdfs:subPropertyOf cn:startsDuring} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_142>. 
     {_:webConf_24_ cn:startingDate _:e802462_24_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_40>} e:sequent {
    {_:webConf_24_ cn:startsDuring _:e802462_24_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
    {{cn:endingDate rdfs:subPropertyOf cn:endsDuring} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_145>. 
     {_:webConf_24_ cn:endingDate _:e802465_24_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_41>} e:sequent {
    {_:webConf_24_ cn:endsDuring _:e802465_24_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
   {_:webConf_24_ cn:temporallySubsumes (_:e802462_24_ _:e802465_24_)} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_178>}. 
   {{{cn:startingDate rdfs:subPropertyOf cn:startsDuring} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_142>. 
     {_:www2002_24_ cn:startingDate _:e802462_24_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_40>} e:sequent {
    {_:www2002_24_ cn:startsDuring _:e802462_24_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
    {{cn:endingDate rdfs:subPropertyOf cn:endsDuring} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_145>. 
     {_:www2002_24_ cn:endingDate _:e802465_24_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_41>} e:sequent {
    {_:www2002_24_ cn:endsDuring _:e802465_24_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
   {_:www2002_24_ cn:temporallySubsumes (_:e802462_24_ _:e802465_24_)} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_178>}} e:sequent {
  {_:webConf_24_ cn:temporallyIntersects _:www2002_24_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_183>}} e:sequent {
 {_:webConf_24_ cn:temporalBoundsIntersect _:www2002_24_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
{_:www2002_24_ cn:temporalBoundsIntersect _:webConf_24_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_60>}. 
{_:webConf_24_ cn:socialParticipants :DanC} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_19>. 
{_:webConf_24_ cn:inRegion _:e802507_24_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_54>. 
{{cn:temporalBoundsIntersect owl:inverseOf cn:temporalBoundsIntersect} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_135>. 
 {{cn:temporallyIntersects rdfs:subPropertyOf cn:temporalBoundsIntersect} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_139>. 
  {{{{cn:startingDate rdfs:subPropertyOf cn:startsDuring} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_142>. 
     {_:webConf_24_ cn:startingDate _:e802462_24_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_40>} e:sequent {
    {_:webConf_24_ cn:startsDuring _:e802462_24_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
    {{cn:endingDate rdfs:subPropertyOf cn:endsDuring} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_145>. 
     {_:webConf_24_ cn:endingDate _:e802465_24_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_41>} e:sequent {
    {_:webConf_24_ cn:endsDuring _:e802465_24_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
   {_:webConf_24_ cn:temporallySubsumes (_:e802462_24_ _:e802465_24_)} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_178>}. 
   {{{cn:startingDate rdfs:subPropertyOf cn:startsDuring} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_142>. 
     {_:webConf_24_ cn:startingDate _:e802462_24_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_40>} e:sequent {
    {_:webConf_24_ cn:startsDuring _:e802462_24_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
    {{cn:endingDate rdfs:subPropertyOf cn:endsDuring} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_145>. 
     {_:webConf_24_ cn:endingDate _:e802465_24_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_41>} e:sequent {
    {_:webConf_24_ cn:endsDuring _:e802465_24_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
   {_:webConf_24_ cn:temporallySubsumes (_:e802462_24_ _:e802465_24_)} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_178>}} e:sequent {
  {_:webConf_24_ cn:temporallyIntersects _:webConf_24_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_183>}} e:sequent {
 {_:webConf_24_ cn:temporalBoundsIntersect _:webConf_24_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
{_:webConf_24_ cn:temporalBoundsIntersect _:webConf_24_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_60>}. 

# Proof found in 609 steps (60839 steps/sec) using 1 engine (375 triples)
}.