This is a summary of the testresults with Euler for http://www.w3.org/2002/03owlt/editors-draft/draft/Manifest Euler is an inference engine supporting logic based proofs. It is a backward-chaining reasoner enhanced with Euler path detection and will tell you whether a given set of facts and rules supports a given conclusion. More details are at http://www.agfa.com/w3c/euler/ http://eulersharp.sourceforge.net/2003/03swap/ To parse the manifests and the test documents Jena 2 is used. We assume that we PASS a test when: a proof is found for a PositiveEntailmentTest or no proof is found for a NegativeEntailmentTest seen as a PositiveEntailmentTest or a proof is found for an InconsistencyTest or no proof is found for a ConsistencyTest seen as an InconsistencyTest or a proof is found for an ImportEntailmentTest or it is an ImportLevelTest or a proof is found for an OWLforOWLTest or it is a NotOwlFeatureTest The results are: tests PASS FAIL -------------------------------------------- Lite 14 12 2 Lite_Full 81 77 4 DL 1 1 0 DL_Full 99 93 6 Full 73 72 1 -------------------------------------------- 268 255 13 The detailed results are: (there is a maybe not up to date proof at http://www.agfa.com/w3c/temp/owl-proof.n3) [ tr:test ; tr:begins "2003-08-31T20:26:34Z"^^xsd:dateTime; tr:ends "2003-08-31T20:26:40Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:26:41Z"^^xsd:dateTime; tr:ends "2003-08-31T20:26:41Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:26:42Z"^^xsd:dateTime; tr:ends "2003-08-31T20:27:30Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:27:30Z"^^xsd:dateTime; tr:ends "2003-08-31T20:27:57Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:27:57Z"^^xsd:dateTime; tr:ends "2003-08-31T20:27:57Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:27:57Z"^^xsd:dateTime; tr:ends "2003-08-31T20:27:57Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:27:58Z"^^xsd:dateTime; tr:ends "2003-08-31T20:27:58Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:27:58Z"^^xsd:dateTime; tr:ends "2003-08-31T20:27:58Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:27:58Z"^^xsd:dateTime; tr:ends "2003-08-31T20:27:59Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:28:00Z"^^xsd:dateTime; tr:ends "2003-08-31T20:28:00Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:28:00Z"^^xsd:dateTime; tr:ends "2003-08-31T20:28:00Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:28:01Z"^^xsd:dateTime; tr:ends "2003-08-31T20:28:01Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:28:01Z"^^xsd:dateTime; tr:ends "2003-08-31T20:28:01Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:28:02Z"^^xsd:dateTime; tr:ends "2003-08-31T20:28:02Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:28:02Z"^^xsd:dateTime; tr:ends "2003-08-31T20:28:58Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:28:58Z"^^xsd:dateTime; tr:ends "2003-08-31T20:29:02Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:29:02Z"^^xsd:dateTime; tr:ends "2003-08-31T20:29:03Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:29:03Z"^^xsd:dateTime; tr:ends "2003-08-31T20:29:04Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:29:04Z"^^xsd:dateTime; tr:ends "2003-08-31T20:29:08Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:29:08Z"^^xsd:dateTime; tr:ends "2003-08-31T20:29:53Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:29:53Z"^^xsd:dateTime; tr:ends "2003-08-31T20:30:00Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:30:00Z"^^xsd:dateTime; tr:ends "2003-08-31T20:30:01Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:30:02Z"^^xsd:dateTime; tr:ends "2003-08-31T20:30:49Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_InconsistencyTest_DL_Full>; a tr:FailingRun]. [ tr:test ; tr:begins "2003-08-31T20:30:49Z"^^xsd:dateTime; tr:ends "2003-08-31T20:30:51Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:31:39Z"^^xsd:dateTime; tr:ends "2003-08-31T20:31:39Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:31:39Z"^^xsd:dateTime; tr:ends "2003-08-31T20:31:39Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NotOwlFeatureTest_Lite>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:31:40Z"^^xsd:dateTime; tr:ends "2003-08-31T20:31:40Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ImportLevelTest_Lite>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:31:40Z"^^xsd:dateTime; tr:ends "2003-08-31T20:31:40Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:31:40Z"^^xsd:dateTime; tr:ends "2003-08-31T20:31:41Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_NegativeEntailmentTest_Lite>; a tr:FailingRun]. [ tr:test ; tr:begins "2003-08-31T20:31:41Z"^^xsd:dateTime; tr:ends "2003-08-31T20:31:42Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:31:42Z"^^xsd:dateTime; tr:ends "2003-08-31T20:31:43Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:31:44Z"^^xsd:dateTime; tr:ends "2003-08-31T20:31:44Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:31:44Z"^^xsd:dateTime; tr:ends "2003-08-31T20:32:32Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:32:32Z"^^xsd:dateTime; tr:ends "2003-08-31T20:32:32Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:32:32Z"^^xsd:dateTime; tr:ends "2003-08-31T20:33:19Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:33:19Z"^^xsd:dateTime; tr:ends "2003-08-31T20:33:20Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:33:20Z"^^xsd:dateTime; tr:ends "2003-08-31T20:34:12Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:34:12Z"^^xsd:dateTime; tr:ends "2003-08-31T20:34:17Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:34:17Z"^^xsd:dateTime; tr:ends "2003-08-31T20:34:20Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:34:21Z"^^xsd:dateTime; tr:ends "2003-08-31T20:35:08Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:35:08Z"^^xsd:dateTime; tr:ends "2003-08-31T20:35:09Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:35:09Z"^^xsd:dateTime; tr:ends "2003-08-31T20:35:09Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NotOwlFeatureTest_Lite>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:35:10Z"^^xsd:dateTime; tr:ends "2003-08-31T20:35:11Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:35:11Z"^^xsd:dateTime; tr:ends "2003-08-31T20:35:12Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:35:12Z"^^xsd:dateTime; tr:ends "2003-08-31T20:35:58Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:35:58Z"^^xsd:dateTime; tr:ends "2003-08-31T20:36:49Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:36:49Z"^^xsd:dateTime; tr:ends "2003-08-31T20:36:49Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ImportLevelTest_Lite>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:36:50Z"^^xsd:dateTime; tr:ends "2003-08-31T20:36:50Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:36:53Z"^^xsd:dateTime; tr:ends "2003-08-31T20:36:54Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:36:54Z"^^xsd:dateTime; tr:ends "2003-08-31T20:37:38Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:37:38Z"^^xsd:dateTime; tr:ends "2003-08-31T20:37:38Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:37:38Z"^^xsd:dateTime; tr:ends "2003-08-31T20:37:39Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:37:39Z"^^xsd:dateTime; tr:ends "2003-08-31T20:37:40Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:37:41Z"^^xsd:dateTime; tr:ends "2003-08-31T20:38:31Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:38:31Z"^^xsd:dateTime; tr:ends "2003-08-31T20:38:32Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:38:32Z"^^xsd:dateTime; tr:ends "2003-08-31T20:39:30Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:39:31Z"^^xsd:dateTime; tr:ends "2003-08-31T20:39:31Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:39:31Z"^^xsd:dateTime; tr:ends "2003-08-31T20:39:32Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:39:32Z"^^xsd:dateTime; tr:ends "2003-08-31T20:39:32Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:39:33Z"^^xsd:dateTime; tr:ends "2003-08-31T20:40:23Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:40:23Z"^^xsd:dateTime; tr:ends "2003-08-31T20:40:30Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:40:30Z"^^xsd:dateTime; tr:ends "2003-08-31T20:41:31Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:41:31Z"^^xsd:dateTime; tr:ends "2003-08-31T20:42:22Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:42:22Z"^^xsd:dateTime; tr:ends "2003-08-31T20:42:24Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:42:24Z"^^xsd:dateTime; tr:ends "2003-08-31T20:42:24Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:42:24Z"^^xsd:dateTime; tr:ends "2003-08-31T20:42:25Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:42:25Z"^^xsd:dateTime; tr:ends "2003-08-31T20:42:26Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:42:27Z"^^xsd:dateTime; tr:ends "2003-08-31T20:42:30Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:42:30Z"^^xsd:dateTime; tr:ends "2003-08-31T20:42:31Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:42:31Z"^^xsd:dateTime; tr:ends "2003-08-31T20:42:31Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NotOwlFeatureTest_Lite>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:42:32Z"^^xsd:dateTime; tr:ends "2003-08-31T20:42:32Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:42:32Z"^^xsd:dateTime; tr:ends "2003-08-31T20:42:33Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:42:33Z"^^xsd:dateTime; tr:ends "2003-08-31T20:42:43Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:43:28Z"^^xsd:dateTime; tr:ends "2003-08-31T20:43:28Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:43:28Z"^^xsd:dateTime; tr:ends "2003-08-31T20:43:28Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ImportLevelTest_Lite>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:43:29Z"^^xsd:dateTime; tr:ends "2003-08-31T20:43:29Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:43:31Z"^^xsd:dateTime; tr:ends "2003-08-31T20:44:02Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:44:02Z"^^xsd:dateTime; tr:ends "2003-08-31T20:44:45Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:44:45Z"^^xsd:dateTime; tr:ends "2003-08-31T20:44:45Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:44:45Z"^^xsd:dateTime; tr:ends "2003-08-31T20:44:45Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_OWLforOWLTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:44:46Z"^^xsd:dateTime; tr:ends "2003-08-31T20:44:46Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:44:46Z"^^xsd:dateTime; tr:ends "2003-08-31T20:44:47Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:44:47Z"^^xsd:dateTime; tr:ends "2003-08-31T20:44:47Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:44:48Z"^^xsd:dateTime; tr:ends "2003-08-31T20:44:48Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:44:48Z"^^xsd:dateTime; tr:ends "2003-08-31T20:44:48Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:44:48Z"^^xsd:dateTime; tr:ends "2003-08-31T20:44:49Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:45:37Z"^^xsd:dateTime; tr:ends "2003-08-31T20:45:37Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:45:37Z"^^xsd:dateTime; tr:ends "2003-08-31T20:45:37Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:45:38Z"^^xsd:dateTime; tr:ends "2003-08-31T20:46:27Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:46:27Z"^^xsd:dateTime; tr:ends "2003-08-31T20:46:34Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:47:20Z"^^xsd:dateTime; tr:ends "2003-08-31T20:48:06Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:48:06Z"^^xsd:dateTime; tr:ends "2003-08-31T20:48:13Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:48:14Z"^^xsd:dateTime; tr:ends "2003-08-31T20:49:03Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:49:04Z"^^xsd:dateTime; tr:ends "2003-08-31T20:49:04Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:49:04Z"^^xsd:dateTime; tr:ends "2003-08-31T20:49:52Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:49:52Z"^^xsd:dateTime; tr:ends "2003-08-31T20:49:53Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:49:53Z"^^xsd:dateTime; tr:ends "2003-08-31T20:49:53Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NotOwlFeatureTest_Lite>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:49:53Z"^^xsd:dateTime; tr:ends "2003-08-31T20:50:43Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:50:44Z"^^xsd:dateTime; tr:ends "2003-08-31T20:50:45Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:50:45Z"^^xsd:dateTime; tr:ends "2003-08-31T20:50:45Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:50:47Z"^^xsd:dateTime; tr:ends "2003-08-31T20:50:59Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:51:02Z"^^xsd:dateTime; tr:ends "2003-08-31T20:51:38Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_PositiveEntailmentTest_Lite_Full>; a tr:FailingRun]. [ tr:test ; tr:begins "2003-08-31T20:51:39Z"^^xsd:dateTime; tr:ends "2003-08-31T20:51:57Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:51:57Z"^^xsd:dateTime; tr:ends "2003-08-31T20:51:57Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:51:57Z"^^xsd:dateTime; tr:ends "2003-08-31T20:52:00Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:52:00Z"^^xsd:dateTime; tr:ends "2003-08-31T20:52:00Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:52:01Z"^^xsd:dateTime; tr:ends "2003-08-31T20:52:01Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:52:01Z"^^xsd:dateTime; tr:ends "2003-08-31T20:52:01Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:52:01Z"^^xsd:dateTime; tr:ends "2003-08-31T20:52:03Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:52:03Z"^^xsd:dateTime; tr:ends "2003-08-31T20:52:22Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:52:22Z"^^xsd:dateTime; tr:ends "2003-08-31T20:52:23Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:52:23Z"^^xsd:dateTime; tr:ends "2003-08-31T20:52:23Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:52:24Z"^^xsd:dateTime; tr:ends "2003-08-31T20:53:11Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:53:59Z"^^xsd:dateTime; tr:ends "2003-08-31T20:54:46Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:54:46Z"^^xsd:dateTime; tr:ends "2003-08-31T20:54:51Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:54:51Z"^^xsd:dateTime; tr:ends "2003-08-31T20:54:51Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:55:38Z"^^xsd:dateTime; tr:ends "2003-08-31T20:56:27Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:56:27Z"^^xsd:dateTime; tr:ends "2003-08-31T20:56:27Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:56:27Z"^^xsd:dateTime; tr:ends "2003-08-31T20:56:27Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:56:28Z"^^xsd:dateTime; tr:ends "2003-08-31T20:56:31Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:56:31Z"^^xsd:dateTime; tr:ends "2003-08-31T20:56:31Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:56:38Z"^^xsd:dateTime; tr:ends "2003-08-31T20:56:39Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:56:40Z"^^xsd:dateTime; tr:ends "2003-08-31T20:57:04Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:57:04Z"^^xsd:dateTime; tr:ends "2003-08-31T20:57:05Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:57:05Z"^^xsd:dateTime; tr:ends "2003-08-31T20:57:05Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NotOwlFeatureTest_Lite>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:57:05Z"^^xsd:dateTime; tr:ends "2003-08-31T20:57:08Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:57:08Z"^^xsd:dateTime; tr:ends "2003-08-31T20:57:12Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:57:12Z"^^xsd:dateTime; tr:ends "2003-08-31T20:57:12Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:57:12Z"^^xsd:dateTime; tr:ends "2003-08-31T20:57:12Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:57:13Z"^^xsd:dateTime; tr:ends "2003-08-31T20:57:13Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:57:13Z"^^xsd:dateTime; tr:ends "2003-08-31T20:57:13Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:57:13Z"^^xsd:dateTime; tr:ends "2003-08-31T20:57:14Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:57:14Z"^^xsd:dateTime; tr:ends "2003-08-31T20:57:14Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:57:14Z"^^xsd:dateTime; tr:ends "2003-08-31T20:57:15Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:57:15Z"^^xsd:dateTime; tr:ends "2003-08-31T20:57:15Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_OWLforOWLTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:57:15Z"^^xsd:dateTime; tr:ends "2003-08-31T20:57:15Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:57:15Z"^^xsd:dateTime; tr:ends "2003-08-31T20:58:03Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:58:04Z"^^xsd:dateTime; tr:ends "2003-08-31T20:58:04Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:58:51Z"^^xsd:dateTime; tr:ends "2003-08-31T20:59:36Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:59:36Z"^^xsd:dateTime; tr:ends "2003-08-31T20:59:37Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:59:37Z"^^xsd:dateTime; tr:ends "2003-08-31T20:59:42Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:59:42Z"^^xsd:dateTime; tr:ends "2003-08-31T20:59:42Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:59:43Z"^^xsd:dateTime; tr:ends "2003-08-31T20:59:43Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_ImportEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T20:59:43Z"^^xsd:dateTime; tr:ends "2003-08-31T21:00:30Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:00:34Z"^^xsd:dateTime; tr:ends "2003-08-31T21:00:35Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:00:35Z"^^xsd:dateTime; tr:ends "2003-08-31T21:00:35Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:00:35Z"^^xsd:dateTime; tr:ends "2003-08-31T21:00:37Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:00:39Z"^^xsd:dateTime; tr:ends "2003-08-31T21:01:16Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_PositiveEntailmentTest_DL_Full>; a tr:FailingRun]. [ tr:test ; tr:begins "2003-08-31T21:01:16Z"^^xsd:dateTime; tr:ends "2003-08-31T21:01:16Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:01:17Z"^^xsd:dateTime; tr:ends "2003-08-31T21:02:04Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:02:04Z"^^xsd:dateTime; tr:ends "2003-08-31T21:02:04Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NotOwlFeatureTest_Lite>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:02:05Z"^^xsd:dateTime; tr:ends "2003-08-31T21:02:07Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_ConsistencyTest_Lite_Full>; a tr:FailingRun]. [ tr:test ; tr:begins "2003-08-31T21:02:07Z"^^xsd:dateTime; tr:ends "2003-08-31T21:02:12Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:02:55Z"^^xsd:dateTime; tr:ends "2003-08-31T21:03:39Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:03:41Z"^^xsd:dateTime; tr:ends "2003-08-31T21:03:41Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:03:42Z"^^xsd:dateTime; tr:ends "2003-08-31T21:03:44Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_ConsistencyTest_Lite>; a tr:FailingRun]. [ tr:test ; tr:begins "2003-08-31T21:03:44Z"^^xsd:dateTime; tr:ends "2003-08-31T21:03:44Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:03:45Z"^^xsd:dateTime; tr:ends "2003-08-31T21:04:29Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:04:29Z"^^xsd:dateTime; tr:ends "2003-08-31T21:04:30Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:04:30Z"^^xsd:dateTime; tr:ends "2003-08-31T21:04:31Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:04:31Z"^^xsd:dateTime; tr:ends "2003-08-31T21:04:31Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_OWLforOWLTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:04:32Z"^^xsd:dateTime; tr:ends "2003-08-31T21:04:32Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:04:33Z"^^xsd:dateTime; tr:ends "2003-08-31T21:04:58Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:05:51Z"^^xsd:dateTime; tr:ends "2003-08-31T21:06:43Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:07:43Z"^^xsd:dateTime; tr:ends "2003-08-31T21:07:43Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:07:43Z"^^xsd:dateTime; tr:ends "2003-08-31T21:07:43Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NotOwlFeatureTest_Lite>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:07:44Z"^^xsd:dateTime; tr:ends "2003-08-31T21:07:53Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:08:41Z"^^xsd:dateTime; tr:ends "2003-08-31T21:08:41Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:09:39Z"^^xsd:dateTime; tr:ends "2003-08-31T21:09:39Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:09:40Z"^^xsd:dateTime; tr:ends "2003-08-31T21:09:40Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_NegativeEntailmentTest_Full>; a tr:FailingRun]. [ tr:test ; tr:begins "2003-08-31T21:09:40Z"^^xsd:dateTime; tr:ends "2003-08-31T21:09:41Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:09:41Z"^^xsd:dateTime; tr:ends "2003-08-31T21:09:42Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:09:50Z"^^xsd:dateTime; tr:ends "2003-08-31T21:10:31Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_PositiveEntailmentTest_Lite_Full>; a tr:FailingRun]. [ tr:test ; tr:begins "2003-08-31T21:10:34Z"^^xsd:dateTime; tr:ends "2003-08-31T21:11:05Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:11:05Z"^^xsd:dateTime; tr:ends "2003-08-31T21:11:57Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:11:57Z"^^xsd:dateTime; tr:ends "2003-08-31T21:11:58Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:11:58Z"^^xsd:dateTime; tr:ends "2003-08-31T21:11:59Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:12:00Z"^^xsd:dateTime; tr:ends "2003-08-31T21:12:00Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:12:00Z"^^xsd:dateTime; tr:ends "2003-08-31T21:12:00Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NotOwlFeatureTest_Lite>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:12:00Z"^^xsd:dateTime; tr:ends "2003-08-31T21:12:00Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:12:01Z"^^xsd:dateTime; tr:ends "2003-08-31T21:12:01Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NotOwlFeatureTest_Lite>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:12:02Z"^^xsd:dateTime; tr:ends "2003-08-31T21:12:39Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:12:39Z"^^xsd:dateTime; tr:ends "2003-08-31T21:12:39Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:12:40Z"^^xsd:dateTime; tr:ends "2003-08-31T21:12:42Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:12:42Z"^^xsd:dateTime; tr:ends "2003-08-31T21:12:42Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:12:42Z"^^xsd:dateTime; tr:ends "2003-08-31T21:12:42Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_OWLforOWLTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:12:43Z"^^xsd:dateTime; tr:ends "2003-08-31T21:12:45Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:12:45Z"^^xsd:dateTime; tr:ends "2003-08-31T21:12:45Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:12:46Z"^^xsd:dateTime; tr:ends "2003-08-31T21:13:12Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:14:00Z"^^xsd:dateTime; tr:ends "2003-08-31T21:14:00Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:14:00Z"^^xsd:dateTime; tr:ends "2003-08-31T21:14:45Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:14:45Z"^^xsd:dateTime; tr:ends "2003-08-31T21:14:46Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:14:46Z"^^xsd:dateTime; tr:ends "2003-08-31T21:14:47Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:14:48Z"^^xsd:dateTime; tr:ends "2003-08-31T21:14:50Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:14:51Z"^^xsd:dateTime; tr:ends "2003-08-31T21:15:39Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:16:32Z"^^xsd:dateTime; tr:ends "2003-08-31T21:16:32Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:16:32Z"^^xsd:dateTime; tr:ends "2003-08-31T21:16:32Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_ImportEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:16:33Z"^^xsd:dateTime; tr:ends "2003-08-31T21:16:35Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:16:36Z"^^xsd:dateTime; tr:ends "2003-08-31T21:16:36Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:16:36Z"^^xsd:dateTime; tr:ends "2003-08-31T21:16:40Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:16:40Z"^^xsd:dateTime; tr:ends "2003-08-31T21:16:40Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:16:40Z"^^xsd:dateTime; tr:ends "2003-08-31T21:16:42Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:16:42Z"^^xsd:dateTime; tr:ends "2003-08-31T21:16:44Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:16:44Z"^^xsd:dateTime; tr:ends "2003-08-31T21:16:44Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:16:45Z"^^xsd:dateTime; tr:ends "2003-08-31T21:16:46Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:16:46Z"^^xsd:dateTime; tr:ends "2003-08-31T21:16:46Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:16:47Z"^^xsd:dateTime; tr:ends "2003-08-31T21:16:47Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:16:47Z"^^xsd:dateTime; tr:ends "2003-08-31T21:16:48Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_ConsistencyTest_DL_Full>; a tr:FailingRun]. [ tr:test ; tr:begins "2003-08-31T21:16:48Z"^^xsd:dateTime; tr:ends "2003-08-31T21:16:48Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:16:48Z"^^xsd:dateTime; tr:ends "2003-08-31T21:16:49Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:16:49Z"^^xsd:dateTime; tr:ends "2003-08-31T21:16:49Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:16:50Z"^^xsd:dateTime; tr:ends "2003-08-31T21:16:50Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:16:50Z"^^xsd:dateTime; tr:ends "2003-08-31T21:16:50Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:17:36Z"^^xsd:dateTime; tr:ends "2003-08-31T21:17:37Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:17:37Z"^^xsd:dateTime; tr:ends "2003-08-31T21:17:37Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:17:38Z"^^xsd:dateTime; tr:ends "2003-08-31T21:18:22Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_InconsistencyTest_DL_Full>; a tr:FailingRun]. [ tr:test ; tr:begins "2003-08-31T21:19:14Z"^^xsd:dateTime; tr:ends "2003-08-31T21:19:14Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:19:14Z"^^xsd:dateTime; tr:ends "2003-08-31T21:19:14Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ImportLevelTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:19:14Z"^^xsd:dateTime; tr:ends "2003-08-31T21:19:14Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:19:15Z"^^xsd:dateTime; tr:ends "2003-08-31T21:19:16Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:19:16Z"^^xsd:dateTime; tr:ends "2003-08-31T21:20:03Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:20:06Z"^^xsd:dateTime; tr:ends "2003-08-31T21:20:48Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_PositiveEntailmentTest_DL_Full>; a tr:FailingRun]. [ tr:test ; tr:begins "2003-08-31T21:20:53Z"^^xsd:dateTime; tr:ends "2003-08-31T21:21:33Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_PositiveEntailmentTest_Lite_Full>; a tr:FailingRun]. [ tr:test ; tr:begins "2003-08-31T21:21:33Z"^^xsd:dateTime; tr:ends "2003-08-31T21:21:59Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:21:59Z"^^xsd:dateTime; tr:ends "2003-08-31T21:21:59Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:22:00Z"^^xsd:dateTime; tr:ends "2003-08-31T21:22:00Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:22:00Z"^^xsd:dateTime; tr:ends "2003-08-31T21:22:00Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:22:00Z"^^xsd:dateTime; tr:ends "2003-08-31T21:22:01Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:22:01Z"^^xsd:dateTime; tr:ends "2003-08-31T21:22:01Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:22:02Z"^^xsd:dateTime; tr:ends "2003-08-31T21:22:03Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:22:03Z"^^xsd:dateTime; tr:ends "2003-08-31T21:22:03Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:22:03Z"^^xsd:dateTime; tr:ends "2003-08-31T21:22:03Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_OWLforOWLTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:22:03Z"^^xsd:dateTime; tr:ends "2003-08-31T21:22:05Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:22:05Z"^^xsd:dateTime; tr:ends "2003-08-31T21:22:05Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:22:06Z"^^xsd:dateTime; tr:ends "2003-08-31T21:22:06Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:22:53Z"^^xsd:dateTime; tr:ends "2003-08-31T21:23:39Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:23:39Z"^^xsd:dateTime; tr:ends "2003-08-31T21:23:39Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:23:39Z"^^xsd:dateTime; tr:ends "2003-08-31T21:23:39Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:23:40Z"^^xsd:dateTime; tr:ends "2003-08-31T21:23:40Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ImportLevelTest_DL>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:23:40Z"^^xsd:dateTime; tr:ends "2003-08-31T21:23:40Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:23:40Z"^^xsd:dateTime; tr:ends "2003-08-31T21:23:41Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:23:41Z"^^xsd:dateTime; tr:ends "2003-08-31T21:23:44Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:23:44Z"^^xsd:dateTime; tr:ends "2003-08-31T21:23:44Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:23:44Z"^^xsd:dateTime; tr:ends "2003-08-31T21:23:45Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:23:45Z"^^xsd:dateTime; tr:ends "2003-08-31T21:24:40Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:24:40Z"^^xsd:dateTime; tr:ends "2003-08-31T21:24:48Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:24:48Z"^^xsd:dateTime; tr:ends "2003-08-31T21:24:48Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:24:48Z"^^xsd:dateTime; tr:ends "2003-08-31T21:24:50Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:24:51Z"^^xsd:dateTime; tr:ends "2003-08-31T21:24:51Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:24:52Z"^^xsd:dateTime; tr:ends "2003-08-31T21:24:53Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:24:53Z"^^xsd:dateTime; tr:ends "2003-08-31T21:24:55Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:24:55Z"^^xsd:dateTime; tr:ends "2003-08-31T21:25:48Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:25:48Z"^^xsd:dateTime; tr:ends "2003-08-31T21:25:48Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:25:48Z"^^xsd:dateTime; tr:ends "2003-08-31T21:25:48Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:25:49Z"^^xsd:dateTime; tr:ends "2003-08-31T21:26:37Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:26:37Z"^^xsd:dateTime; tr:ends "2003-08-31T21:26:37Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:26:37Z"^^xsd:dateTime; tr:ends "2003-08-31T21:26:38Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:26:38Z"^^xsd:dateTime; tr:ends "2003-08-31T21:26:39Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:26:39Z"^^xsd:dateTime; tr:ends "2003-08-31T21:26:39Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:26:39Z"^^xsd:dateTime; tr:ends "2003-08-31T21:26:39Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:26:39Z"^^xsd:dateTime; tr:ends "2003-08-31T21:26:39Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:26:40Z"^^xsd:dateTime; tr:ends "2003-08-31T21:26:40Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_PositiveEntailmentTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:26:42Z"^^xsd:dateTime; tr:ends "2003-08-31T21:27:22Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_PositiveEntailmentTest_DL_Full>; a tr:FailingRun]. [ tr:test ; tr:begins "2003-08-31T21:27:22Z"^^xsd:dateTime; tr:ends "2003-08-31T21:27:27Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_ConsistencyTest_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:27:27Z"^^xsd:dateTime; tr:ends "2003-08-31T21:27:27Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:27:28Z"^^xsd:dateTime; tr:ends "2003-08-31T21:27:28Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:27:28Z"^^xsd:dateTime; tr:ends "2003-08-31T21:27:28Z"^^xsd:dateTime; tr:system ; tr:output <#noProofFound_NegativeEntailmentTest_Lite_Full>; a tr:PassingRun]. [ tr:test ; tr:begins "2003-08-31T21:27:28Z"^^xsd:dateTime; tr:ends "2003-08-31T21:27:29Z"^^xsd:dateTime; tr:system ; tr:output <#proofFound_InconsistencyTest_DL_Full>; a tr:PassingRun].