From 34cf11ca8bcfc18118383207b9646ac9bf083aa7 Mon Sep 17 00:00:00 2001
From: josd <josderoo@gmail.com>
Date: Mon, 18 Mar 2024 12:47:53 +0100
Subject: [PATCH] updating alternative syntax example

---
 README.md | 35 +----------------------------------
 1 file changed, 1 insertion(+), 34 deletions(-)

diff --git a/README.md b/README.md
index e4a8a92..0511300 100644
--- a/README.md
+++ b/README.md
@@ -13,37 +13,4 @@ See the living document [RDF Surfaces Primer](https://w3c-cg.github.io/rdfsurfac
 
 ### Example using alternative RDF TriG syntax
 
-```trig
-# ------------------
-# Socrates inference
-# ------------------
-#
-# Infer that Socrates is mortal.
-
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
-@prefix blogic: <http://www.w3.org/2000/10/swap/blogic#>.
-@prefix : <http://example.org/ns#>.
-
-:Socrates a :Man.
-:Man rdfs:subClassOf :Human.
-:Human rdfs:subClassOf :Mortal.
-
-(_:A _:B _:S) blogic:onNegativeSurface _:subclass_surface1.
-
-_:subclass_surface1 {
-    _:A rdfs:subClassOf _:B.
-    _:S a _:A.
-    () blogic:onNegativeSurface _:subclass_surface2.
-}
-
-_:subclass_surface2 {
-    _:S a _:B.
-}
-
-# query
-(_:S _:C) blogic:onQuerySurface _:query_surface.
-
-_:query_surface {
-    _:S a _:C.
-}
-```
+- https://github.com/eyereasoner/see-lingua/blob/main/lingua/blogic.trig