From 1582e2aca8bec34167f28fad0f672b92bee3377c Mon Sep 17 00:00:00 2001
From: Timothy Lebo <timrdf@gmail.com>
Date: Mon, 18 Jul 2011 15:45:06 -0400
Subject: [PATCH] added 3 roots from Cynthia for TPTP

---
 .../web-directories/manual/pml-pointers.ttl   | 37 ++++++++++++-------
 1 file changed, 23 insertions(+), 14 deletions(-)

diff --git a/instances/web-directories/manual/pml-pointers.ttl b/instances/web-directories/manual/pml-pointers.ttl
index c7ee569..0ad57ea 100644
--- a/instances/web-directories/manual/pml-pointers.ttl
+++ b/instances/web-directories/manual/pml-pointers.ttl
@@ -62,44 +62,53 @@ James""" .
    rdfs:comment "Reported by Jitin/UTEP"; .
 
 [] void:dumpFile <http://iw.cs.utep.edu:8080/service-output/proofs/>; a pmlp:Website, void:Dataset; void:vocabulary <http://inference-web.org/2.0/pml>;
-   rdfs:comment "#Reported by Jitin/UTEP"; .
+   rdfs:comment "Reported by Jitin/UTEP"; .
 
 [] void:dumpFile <http://iw.cs.utep.edu/astronomy/>;                  a pmlp:Website, void:Dataset; void:vocabulary <http://inference-web.org/2.0/pml>;
-   rdfs:comment "#Reported by Jitin/UTEP"; .
+   rdfs:comment "Reported by Jitin/UTEP"; .
 
 [] void:dumpFile <http://iw.cs.utep.edu/earthscience/>;               a pmlp:Website, void:Dataset; void:vocabulary <http://inference-web.org/2.0/pml>;
-   rdfs:comment "#Reported by Jitin/UTEP"; .
+   rdfs:comment "Reported by Jitin/UTEP"; .
 
 [] void:dumpFile <http://iw.cs.utep.edu/environmentalscience/>;       a pmlp:Website, void:Dataset; void:vocabulary <http://inference-web.org/2.0/pml>;
-   rdfs:comment "#Reported by Jitin/UTEP"; .
+   rdfs:comment "Reported by Jitin/UTEP"; .
 
 [] void:dumpFile <http://iw.cs.utep.edu/registry/>;                   a pmlp:Website, void:Dataset; void:vocabulary <http://inference-web.org/2.0/pml>;
-   rdfs:comment "#Reported by Jitin/UTEP"; .
+   rdfs:comment "Reported by Jitin/UTEP"; .
 
 [] void:dumpFile <http://iw.cs.utep.edu/visko/transformers/>;         a pmlp:Website, void:Dataset; void:vocabulary <http://inference-web.org/2.0/pml>;
-   rdfs:comment "#Reported by Jitin/UTEP"; .
+   rdfs:comment "Reported by Jitin/UTEP"; .
 
 [] void:dumpFile <http://inference-web.org/registry/>;                a pmlp:Website, void:Dataset; void:vocabulary <http://inference-web.org/2.0/pml>;
-   rdfs:comment "#Reported by Jitin/UTEP"; .
+   rdfs:comment "Reported by Jitin/UTEP"; .
 
 [] void:dumpFile <http://trust.utep.edu/2.0/>;                        a pmlp:Website, void:Dataset; void:vocabulary <http://inference-web.org/2.0/pml>;
-   rdfs:comment "#Reported by Jitin/UTEP"; .
+   rdfs:comment "Reported by Jitin/UTEP"; .
 
 [] void:dumpFile <http://trust.utep.edu/2010/>;                       a pmlp:Website, void:Dataset; void:vocabulary <http://inference-web.org/2.0/pml>;
-   rdfs:comment "#Reported by Jitin/UTEP"; .
+   rdfs:comment "Reported by Jitin/UTEP"; .
 
 [] void:dumpFile <http://trust.utep.edu/2009/>;                       a pmlp:Website, void:Dataset; void:vocabulary <http://inference-web.org/2.0/pml>;
-   rdfs:comment "#Reported by Jitin/UTEP"; .
+   rdfs:comment "Reported by Jitin/UTEP"; .
 
 [] void:dumpFile <http://trust.utep.edu/2008/>;                       a pmlp:Website, void:Dataset; void:vocabulary <http://inference-web.org/2.0/pml>;
-   rdfs:comment "#Reported by Jitin/UTEP"; .
+   rdfs:comment "Reported by Jitin/UTEP"; .
 
 [] void:dumpFile <http://trust.utep.edu/2007/01/>;                    a pmlp:Website, void:Dataset; void:vocabulary <http://inference-web.org/2.0/pml>;
-   rdfs:comment "#Reported by Jitin/UTEP"; .
+   rdfs:comment "Reported by Jitin/UTEP"; .
 
 [] void:dumpFile <http://trust.utep.edu/2007/02/>;                    a pmlp:Website, void:Dataset; void:vocabulary <http://inference-web.org/2.0/pml>;
-   rdfs:comment "#Reported by Jitin/UTEP"; .
+   rdfs:comment "Reported by Jitin/UTEP"; .
 
 [] void:dumpFile <http://trust.utep.edu/2006/>;                       a pmlp:Website, void:Dataset; void:vocabulary <http://inference-web.org/2.0/pml>;
-   rdfs:comment "#Reported by Jitin/UTEP"; .
+   rdfs:comment "Reported by Jitin/UTEP"; .
+
+
+
+[] void:dumpFile <http://inference-web.org/proofs/tptp/Problems/> a pmlp:Website, void:Dataset; void:vocabulary <http://inference-web.org/2.0/pml>;
+   rdfs:comment "Reported by Cynthia/RPI"; .
+[] void:dumpFile <http://inference-web.org/proofs/tptp/Solutions/> a pmlp:Website, void:Dataset; void:vocabulary <http://inference-web.org/2.0/pml>;
+   rdfs:comment "Reported by Cynthia/RPI"; .
+[] void:dumpFile <http://inference-web.org/proofs/tptp/MizarProofs/> a pmlp:Website, void:Dataset; void:vocabulary <http://inference-web.org/2.0/pml>;
+   rdfs:comment "Reported by Cynthia/RPI"; .