1 files changed, 4 insertions, 0 deletions

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