1 files changed, 0 insertions, 4 deletions

diff --git a/examples/example1.owl b/examples/example1.owl
index 605d96e..75a464e 100644
--- a/examples/example1.owl
+++ b/examples/example1.owl
@@ -14,8 +14,6 @@
     B ⊑ ∃ S.D
     R ⊑ T⁻
     S ⊑ T 
-
-    a : A
     -->
 
     <owl:Class rdf:ID="A">
@@ -79,6 +77,4 @@
         <rdfs:subPropertyOf rdf:resource="#T" />
     </owl:ObjectProperty> 
 
-    <A rdf:about="#a"> </A>
-
 </rdf:RDF>