diff --git a/RELEASE b/RELEASE
index 2bf275aef..0b0bf5283 100644
--- a/RELEASE
+++ b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v8.6.3 (2023-11-11) automatic interpretation of variables for rdflegacy
 v8.6.2 (2023-11-11) using lists of 3-tuples in rdflegacy
 v8.6.1 (2023-11-11) running rdflegacy fibonacci example
 v8.6.0 (2023-11-10) adding --legacy to support RDF legacy and dropping sequents
diff --git a/VERSION b/VERSION
index 7b8d3d832..174933642 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-8.6.2
+8.6.3
diff --git a/eye.pl b/eye.pl
index 90412056e..5a518ccd6 100644
--- a/eye.pl
+++ b/eye.pl
@@ -21,7 +21,7 @@
 :- use_module(library(pcre)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v8.6.2 (2023-11-11)').
+version_info('EYE v8.6.3 (2023-11-11)').
 
 license_info('MIT License
 
@@ -640,7 +640,6 @@
     % forward rule
     assertz(implies((
             '<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(R, '<http://eyereasoner.github.io/rule#ForwardRule>'),
-            '<http://eyereasoner.github.io/rule#uvars>'(R, V),
             '<http://eyereasoner.github.io/rule#premise>'(R, K),
             findall(Tp,
                 (   member([S, P, O], K),
@@ -657,12 +656,12 @@
                 M
             ),
             conj_list(B, M),
+            findvars([A, B], V, beta),
             makevars([A, B], [Q, I], beta(V))
             ), '<http://www.w3.org/2000/10/swap/log#implies>'(Q, I), '<>')),
     % backward rule
     assertz(implies((
             '<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(R, '<http://eyereasoner.github.io/rule#BackwardRule>'),
-            '<http://eyereasoner.github.io/rule#uvars>'(R, V),
             '<http://eyereasoner.github.io/rule#premise>'(R, K),
             findall(Tp,
                 (   member([S, P, O], K),
@@ -673,6 +672,7 @@
             conj_list(A, L),
             '<http://eyereasoner.github.io/rule#conclusion>'(R, [[S, P, O]]),
             B =.. [P, S, O],
+            findvars([A, B], V, beta),
             makevars(':-'(B, A), C, beta(V)),
             copy_term_nat(C, CC),
             labelvars(CC, 0, _, avar),
@@ -685,7 +685,6 @@
     % query rule
     assertz(implies((
             '<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(R, '<http://eyereasoner.github.io/rule#QueryRule>'),
-            '<http://eyereasoner.github.io/rule#uvars>'(R, V),
             '<http://eyereasoner.github.io/rule#premise>'(R, K),
             findall(Tp,
                 (   member([S, P, O], K),
@@ -703,6 +702,7 @@
             ),
             conj_list(B, M),
             djiti_answer(answer(B), J),
+            findvars([A, J], V, beta),
             makevars(implies(A, J, '<>'), C, beta(V)),
             copy_term_nat(C, CC),
             labelvars(CC, 0, _, avar),
diff --git a/eye.zip b/eye.zip
index 20afbc4e6..92f650f2a 100644
Binary files a/eye.zip and b/eye.zip differ
diff --git a/legacy/fibonacci/fibonacci.jsonld b/legacy/fibonacci/fibonacci.jsonld
index 32fb6353d..ef646c8c1 100644
--- a/legacy/fibonacci/fibonacci.jsonld
+++ b/legacy/fibonacci/fibonacci.jsonld
@@ -1,40 +1,21 @@
 {
     "@graph": [
         {
-            "@id": "_:b39",
+            "@id": "_:b20",
             "rule:conclusion": {
-                "@list": [
-                    {
-                        "@list": [
-                            {
-                                "@id": "_:b54"
-                            },
-                            {
-                                "@id": "http://example.org/fibonacci#fibonacci"
-                            },
-                            {
-                                "@id": "_:b5"
-                            }
-                        ]
-                    }
-                ]
-            },
-            "rule:premise": {
                 "@list": [
                     {
                         "@list": [
                             {
                                 "@list": [
                                     {
-                                        "@id": "_:b54"
+                                        "@id": "_:b51"
                                     },
                                     {
-                                        "@value": "0",
-                                        "@type": "http://www.w3.org/2001/XMLSchema#integer"
+                                        "@id": "_:b24"
                                     },
                                     {
-                                        "@value": "1",
-                                        "@type": "http://www.w3.org/2001/XMLSchema#integer"
+                                        "@id": "_:b10"
                                     }
                                 ]
                             },
@@ -42,132 +23,98 @@
                                 "@id": "http://example.org/fibonacci#fib"
                             },
                             {
-                                "@id": "_:b5"
+                                "@id": "_:b3"
                             }
                         ]
                     }
                 ]
             },
-            "rule:evars": {
-                "@list": [
-                ]
-            },
-            "rule:uvars": {
-                "@list": [
-                    {
-                        "@id": "_:b54"
-                    },
-                    {
-                        "@id": "_:b5"
-                    }
-                ]
-            },
-            "@type": "rule:BackwardRule"
-        },
-        {
-            "@id": "_:b43",
-            "rule:conclusion": {
+            "rule:premise": {
                 "@list": [
                     {
                         "@list": [
                             {
-                                "@value": "91",
-                                "@type": "http://www.w3.org/2001/XMLSchema#integer"
+                                "@id": "_:b51"
                             },
                             {
-                                "@id": "http://example.org/fibonacci#fibonacci"
+                                "@id": "math:greaterThan"
                             },
                             {
-                                "@id": "_:b5"
+                                "@value": "1",
+                                "@type": "http://www.w3.org/2001/XMLSchema#integer"
                             }
                         ]
-                    }
-                ]
-            },
-            "rule:premise": {
-                "@list": [
+                    },
                     {
                         "@list": [
                             {
-                                "@value": "91",
-                                "@type": "http://www.w3.org/2001/XMLSchema#integer"
+                                "@list": [
+                                    {
+                                        "@id": "_:b51"
+                                    },
+                                    {
+                                        "@value": "1",
+                                        "@type": "http://www.w3.org/2001/XMLSchema#integer"
+                                    }
+                                ]
                             },
                             {
-                                "@id": "http://example.org/fibonacci#fibonacci"
+                                "@id": "math:difference"
                             },
                             {
-                                "@id": "_:b5"
+                                "@id": "_:b79"
                             }
                         ]
-                    }
-                ]
-            },
-            "rule:evars": {
-                "@list": [
-                ]
-            },
-            "rule:uvars": {
-                "@list": [
-                    {
-                        "@id": "_:b5"
-                    }
-                ]
-            },
-            "@type": "rule:QueryRule"
-        },
-        {
-            "@id": "_:b73",
-            "rule:conclusion": {
-                "@list": [
+                    },
                     {
                         "@list": [
                             {
-                                "@value": "6",
-                                "@type": "http://www.w3.org/2001/XMLSchema#integer"
+                                "@list": [
+                                    {
+                                        "@id": "_:b24"
+                                    },
+                                    {
+                                        "@id": "_:b10"
+                                    }
+                                ]
                             },
                             {
-                                "@id": "http://example.org/fibonacci#fibonacci"
+                                "@id": "math:sum"
                             },
                             {
-                                "@id": "_:b5"
+                                "@id": "_:b19"
                             }
                         ]
-                    }
-                ]
-            },
-            "rule:premise": {
-                "@list": [
+                    },
                     {
                         "@list": [
                             {
-                                "@value": "6",
-                                "@type": "http://www.w3.org/2001/XMLSchema#integer"
+                                "@list": [
+                                    {
+                                        "@id": "_:b79"
+                                    },
+                                    {
+                                        "@id": "_:b10"
+                                    },
+                                    {
+                                        "@id": "_:b19"
+                                    }
+                                ]
                             },
                             {
-                                "@id": "http://example.org/fibonacci#fibonacci"
+                                "@id": "http://example.org/fibonacci#fib"
                             },
                             {
-                                "@id": "_:b5"
+                                "@id": "_:b3"
                             }
                         ]
                     }
                 ]
             },
-            "rule:evars": {
-                "@list": [
-                ]
-            },
-            "rule:uvars": {
-                "@list": [
-                    {
-                        "@id": "_:b5"
-                    }
-                ]
-            },
-            "@type": "rule:QueryRule"
+            "@type": "rule:BackwardRule"
         },
         {
-            "@id": "_:b79",
+            "@id": "_:b29",
             "rule:conclusion": {
                 "@list": [
                     {
@@ -175,14 +122,14 @@
                             {
                                 "@list": [
                                     {
-                                        "@value": "0",
+                                        "@value": "1",
                                         "@type": "http://www.w3.org/2001/XMLSchema#integer"
                                     },
                                     {
                                         "@id": "_:b24"
                                     },
                                     {
-                                        "@id": "_:b58"
+                                        "@id": "_:b10"
                                     }
                                 ]
                             },
@@ -190,7 +137,7 @@
                                 "@id": "http://example.org/fibonacci#fib"
                             },
                             {
-                                "@id": "_:b24"
+                                "@id": "_:b10"
                             }
                         ]
                     }
@@ -200,39 +147,43 @@
                 "@list": [
                 ]
             },
-            "rule:evars": {
-                "@list": [
-                ]
-            },
-            "rule:uvars": {
+            "@type": "rule:BackwardRule"
+        },
+        {
+            "@id": "_:b31",
+            "rule:conclusion": {
                 "@list": [
                     {
-                        "@id": "_:b24"
-                    },
-                    {
-                        "@id": "_:b58"
+                        "@list": [
+                            {
+                                "@id": "_:b51"
+                            },
+                            {
+                                "@id": "http://example.org/fibonacci#fibonacci"
+                            },
+                            {
+                                "@id": "_:b3"
+                            }
+                        ]
                     }
                 ]
             },
-            "@type": "rule:BackwardRule"
-        },
-        {
-            "@id": "_:b111",
-            "rule:conclusion": {
+            "rule:premise": {
                 "@list": [
                     {
                         "@list": [
                             {
                                 "@list": [
                                     {
-                                        "@value": "1",
-                                        "@type": "http://www.w3.org/2001/XMLSchema#integer"
+                                        "@id": "_:b51"
                                     },
                                     {
-                                        "@id": "_:b24"
+                                        "@value": "0",
+                                        "@type": "http://www.w3.org/2001/XMLSchema#integer"
                                     },
                                     {
-                                        "@id": "_:b58"
+                                        "@value": "1",
+                                        "@type": "http://www.w3.org/2001/XMLSchema#integer"
                                     }
                                 ]
                             },
@@ -240,56 +191,29 @@
                                 "@id": "http://example.org/fibonacci#fib"
                             },
                             {
-                                "@id": "_:b58"
+                                "@id": "_:b3"
                             }
                         ]
                     }
                 ]
             },
-            "rule:premise": {
-                "@list": [
-                ]
-            },
-            "rule:evars": {
-                "@list": [
-                ]
-            },
-            "rule:uvars": {
-                "@list": [
-                    {
-                        "@id": "_:b24"
-                    },
-                    {
-                        "@id": "_:b58"
-                    }
-                ]
-            },
             "@type": "rule:BackwardRule"
         },
         {
-            "@id": "_:b113",
+            "@id": "_:b37",
             "rule:conclusion": {
                 "@list": [
                     {
                         "@list": [
                             {
-                                "@list": [
-                                    {
-                                        "@id": "_:b54"
-                                    },
-                                    {
-                                        "@id": "_:b24"
-                                    },
-                                    {
-                                        "@id": "_:b58"
-                                    }
-                                ]
+                                "@value": "91",
+                                "@type": "http://www.w3.org/2001/XMLSchema#integer"
                             },
                             {
-                                "@id": "http://example.org/fibonacci#fib"
+                                "@id": "http://example.org/fibonacci#fibonacci"
                             },
                             {
-                                "@id": "_:b5"
+                                "@id": "_:b3"
                             }
                         ]
                     }
@@ -300,70 +224,78 @@
                     {
                         "@list": [
                             {
-                                "@id": "_:b54"
+                                "@value": "91",
+                                "@type": "http://www.w3.org/2001/XMLSchema#integer"
                             },
                             {
-                                "@id": "math:greaterThan"
+                                "@id": "http://example.org/fibonacci#fibonacci"
                             },
                             {
-                                "@value": "1",
-                                "@type": "http://www.w3.org/2001/XMLSchema#integer"
+                                "@id": "_:b3"
                             }
                         ]
-                    },
+                    }
+                ]
+            },
+            "@type": "rule:QueryRule"
+        },
+        {
+            "@id": "_:b63",
+            "rule:conclusion": {
+                "@list": [
                     {
                         "@list": [
                             {
-                                "@list": [
-                                    {
-                                        "@id": "_:b54"
-                                    },
-                                    {
-                                        "@value": "1",
-                                        "@type": "http://www.w3.org/2001/XMLSchema#integer"
-                                    }
-                                ]
+                                "@value": "6",
+                                "@type": "http://www.w3.org/2001/XMLSchema#integer"
                             },
                             {
-                                "@id": "math:difference"
+                                "@id": "http://example.org/fibonacci#fibonacci"
                             },
                             {
-                                "@id": "_:b68"
+                                "@id": "_:b3"
                             }
                         ]
-                    },
+                    }
+                ]
+            },
+            "rule:premise": {
+                "@list": [
                     {
                         "@list": [
                             {
-                                "@list": [
-                                    {
-                                        "@id": "_:b24"
-                                    },
-                                    {
-                                        "@id": "_:b58"
-                                    }
-                                ]
+                                "@value": "6",
+                                "@type": "http://www.w3.org/2001/XMLSchema#integer"
                             },
                             {
-                                "@id": "math:sum"
+                                "@id": "http://example.org/fibonacci#fibonacci"
                             },
                             {
-                                "@id": "_:b7"
+                                "@id": "_:b3"
                             }
                         ]
-                    },
+                    }
+                ]
+            },
+            "@type": "rule:QueryRule"
+        },
+        {
+            "@id": "_:b80",
+            "rule:conclusion": {
+                "@list": [
                     {
                         "@list": [
                             {
                                 "@list": [
                                     {
-                                        "@id": "_:b68"
+                                        "@value": "0",
+                                        "@type": "http://www.w3.org/2001/XMLSchema#integer"
                                     },
                                     {
-                                        "@id": "_:b58"
+                                        "@id": "_:b24"
                                     },
                                     {
-                                        "@id": "_:b7"
+                                        "@id": "_:b10"
                                     }
                                 ]
                             },
@@ -371,42 +303,20 @@
                                 "@id": "http://example.org/fibonacci#fib"
                             },
                             {
-                                "@id": "_:b5"
+                                "@id": "_:b24"
                             }
                         ]
                     }
                 ]
             },
-            "rule:evars": {
-                "@list": [
-                ]
-            },
-            "rule:uvars": {
+            "rule:premise": {
                 "@list": [
-                    {
-                        "@id": "_:b54"
-                    },
-                    {
-                        "@id": "_:b5"
-                    },
-                    {
-                        "@id": "_:b24"
-                    },
-                    {
-                        "@id": "_:b58"
-                    },
-                    {
-                        "@id": "_:b68"
-                    },
-                    {
-                        "@id": "_:b7"
-                    }
                 ]
             },
             "@type": "rule:BackwardRule"
         },
         {
-            "@id": "_:b115",
+            "@id": "_:b91",
             "rule:conclusion": {
                 "@list": [
                     {
@@ -419,7 +329,7 @@
                                 "@id": "http://example.org/fibonacci#fibonacci"
                             },
                             {
-                                "@id": "_:b5"
+                                "@id": "_:b3"
                             }
                         ]
                     }
@@ -437,27 +347,16 @@
                                 "@id": "http://example.org/fibonacci#fibonacci"
                             },
                             {
-                                "@id": "_:b5"
+                                "@id": "_:b3"
                             }
                         ]
                     }
                 ]
             },
-            "rule:evars": {
-                "@list": [
-                ]
-            },
-            "rule:uvars": {
-                "@list": [
-                    {
-                        "@id": "_:b5"
-                    }
-                ]
-            },
             "@type": "rule:QueryRule"
         },
         {
-            "@id": "_:b120",
+            "@id": "_:b102",
             "rule:conclusion": {
                 "@list": [
                     {
@@ -470,7 +369,7 @@
                                 "@id": "http://example.org/fibonacci#fibonacci"
                             },
                             {
-                                "@id": "_:b5"
+                                "@id": "_:b3"
                             }
                         ]
                     }
@@ -488,40 +387,29 @@
                                 "@id": "http://example.org/fibonacci#fibonacci"
                             },
                             {
-                                "@id": "_:b5"
+                                "@id": "_:b3"
                             }
                         ]
                     }
                 ]
             },
-            "rule:evars": {
-                "@list": [
-                ]
-            },
-            "rule:uvars": {
-                "@list": [
-                    {
-                        "@id": "_:b5"
-                    }
-                ]
-            },
             "@type": "rule:QueryRule"
         },
         {
-            "@id": "_:b129",
+            "@id": "_:b112",
             "rule:conclusion": {
                 "@list": [
                     {
                         "@list": [
                             {
-                                "@value": "283",
+                                "@value": "1",
                                 "@type": "http://www.w3.org/2001/XMLSchema#integer"
                             },
                             {
                                 "@id": "http://example.org/fibonacci#fibonacci"
                             },
                             {
-                                "@id": "_:b5"
+                                "@id": "_:b3"
                             }
                         ]
                     }
@@ -532,47 +420,36 @@
                     {
                         "@list": [
                             {
-                                "@value": "283",
+                                "@value": "1",
                                 "@type": "http://www.w3.org/2001/XMLSchema#integer"
                             },
                             {
                                 "@id": "http://example.org/fibonacci#fibonacci"
                             },
                             {
-                                "@id": "_:b5"
+                                "@id": "_:b3"
                             }
                         ]
                     }
                 ]
             },
-            "rule:evars": {
-                "@list": [
-                ]
-            },
-            "rule:uvars": {
-                "@list": [
-                    {
-                        "@id": "_:b5"
-                    }
-                ]
-            },
             "@type": "rule:QueryRule"
         },
         {
-            "@id": "_:b135",
+            "@id": "_:b118",
             "rule:conclusion": {
                 "@list": [
                     {
                         "@list": [
                             {
-                                "@value": "1",
+                                "@value": "283",
                                 "@type": "http://www.w3.org/2001/XMLSchema#integer"
                             },
                             {
                                 "@id": "http://example.org/fibonacci#fibonacci"
                             },
                             {
-                                "@id": "_:b5"
+                                "@id": "_:b3"
                             }
                         ]
                     }
@@ -583,30 +460,19 @@
                     {
                         "@list": [
                             {
-                                "@value": "1",
+                                "@value": "283",
                                 "@type": "http://www.w3.org/2001/XMLSchema#integer"
                             },
                             {
                                 "@id": "http://example.org/fibonacci#fibonacci"
                             },
                             {
-                                "@id": "_:b5"
+                                "@id": "_:b3"
                             }
                         ]
                     }
                 ]
             },
-            "rule:evars": {
-                "@list": [
-                ]
-            },
-            "rule:uvars": {
-                "@list": [
-                    {
-                        "@id": "_:b5"
-                    }
-                ]
-            },
             "@type": "rule:QueryRule"
         }
     ],
diff --git a/legacy/fibonacci/fibonacci.jsonld.ttl b/legacy/fibonacci/fibonacci.jsonld.ttl
index 888197ea7..c9e0b8726 100644
--- a/legacy/fibonacci/fibonacci.jsonld.ttl
+++ b/legacy/fibonacci/fibonacci.jsonld.ttl
@@ -11,434 +11,352 @@ _:b1    <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b2 ;
 _:b2    <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b3 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b4 .
 
-_:b4    <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b5 .
+_:b3    <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b5 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b6 .
 
-_:b5    <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
-
-_:b0    rule:evars    <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> ;
-        rule:premise  _:b7 .
+_:b6    <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b7 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b8 .
 
-_:b7    <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b8 ;
+_:b8    <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b9 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b8    <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b9 ;
+_:b4    <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fib ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b10 .
 
-_:b9    <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b3 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b11 .
-
-_:b11   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  0 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b12 .
-
-_:b12   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  1 ;
+_:b10   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b11 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b10   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fib ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b13 .
-
-_:b13   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
+_:b0    rule:premise  _:b12 .
 
-_:b0    rule:uvars  _:b14 .
+_:b12   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b13 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b14 .
 
-_:b14   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b3 ;
+_:b13   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b5 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b15 .
 
-_:b15   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
-
-_:b16   a                rule:QueryRule ;
-        rule:conclusion  _:b17 .
+_:b15   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  math:greaterThan ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b16 .
 
-_:b17   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b18 ;
+_:b16   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  1 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b18   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  3674 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b19 .
+_:b14   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b17 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b18 .
 
-_:b19   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
+_:b17   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b19 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b20 .
 
-_:b20   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
-
-_:b16   rule:evars    <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> ;
-        rule:premise  _:b21 .
+_:b19   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b5 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b21 .
 
-_:b21   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b22 ;
+_:b21   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  1 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b22   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  3674 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b23 .
-
-_:b23   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b24 .
+_:b20   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  math:difference ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b22 .
 
-_:b24   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
+_:b22   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b23 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b16   rule:uvars  _:b25 .
+_:b18   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b24 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b25 .
 
-_:b25   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
+_:b24   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b26 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b27 .
 
-_:b26   a                rule:QueryRule ;
-        rule:conclusion  _:b27 .
+_:b26   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b7 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b28 .
 
-_:b27   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b28 ;
+_:b28   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b9 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b28   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  0 ;
+_:b27   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  math:sum ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b29 .
 
-_:b29   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b30 .
-
-_:b30   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
+_:b29   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b30 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b26   rule:evars    <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> ;
-        rule:premise  _:b31 .
-
-_:b31   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b32 ;
+_:b25   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b31 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b32   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  0 ;
+_:b31   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b32 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b33 .
 
-_:b33   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
+_:b32   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b23 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b34 .
 
-_:b34   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
+_:b34   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b9 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b35 .
+
+_:b35   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b30 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b26   rule:uvars  _:b35 .
+_:b33   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fib ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b36 .
 
-_:b35   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
+_:b36   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b11 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b36   a                rule:QueryRule ;
-        rule:conclusion  _:b37 .
+_:b37   a                rule:QueryRule ;
+        rule:conclusion  _:b38 .
 
-_:b37   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b38 ;
+_:b38   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b39 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b38   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  283 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b39 .
-
-_:b39   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
+_:b39   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  6 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b40 .
 
-_:b40   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
+_:b40   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b41 .
+
+_:b41   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b11 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b36   rule:evars    <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> ;
-        rule:premise  _:b41 .
+_:b37   rule:premise  _:b42 .
 
-_:b41   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b42 ;
+_:b42   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b43 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b42   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  283 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b43 .
-
-_:b43   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
+_:b43   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  6 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b44 .
 
-_:b44   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
-
-_:b36   rule:uvars  _:b45 .
+_:b44   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b45 .
 
-_:b45   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
+_:b45   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b11 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b46   a                rule:QueryRule ;
+_:b46   a                rule:BackwardRule ;
         rule:conclusion  _:b47 .
 
 _:b47   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b48 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b48   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  1 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b49 .
-
-_:b49   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
+_:b48   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b49 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b50 .
 
-_:b50   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
+_:b49   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  0 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b51 .
 
-_:b46   rule:evars    <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> ;
-        rule:premise  _:b51 .
+_:b51   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b7 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b52 .
 
-_:b51   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b52 ;
+_:b52   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b9 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b52   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  1 ;
+_:b50   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fib ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b53 .
 
-_:b53   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b54 .
-
-_:b54   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
+_:b53   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b7 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b46   rule:uvars  _:b55 .
-
-_:b55   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
+_:b46   rule:premise  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b56   a                rule:QueryRule ;
-        rule:conclusion  _:b57 .
+_:b54   a                rule:QueryRule ;
+        rule:conclusion  _:b55 .
 
-_:b57   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b58 ;
+_:b55   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b56 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b58   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  91 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b59 .
+_:b56   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  3674 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b57 .
 
-_:b59   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b60 .
+_:b57   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b58 .
 
-_:b60   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
+_:b58   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b11 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b56   rule:evars    <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> ;
-        rule:premise  _:b61 .
+_:b54   rule:premise  _:b59 .
 
-_:b61   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b62 ;
+_:b59   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b60 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b62   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  91 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b63 .
+_:b60   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  3674 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b61 .
 
-_:b63   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b64 .
+_:b61   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b62 .
 
-_:b64   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
+_:b62   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b11 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b56   rule:uvars  _:b65 .
+_:b63   a                rule:QueryRule ;
+        rule:conclusion  _:b64 .
 
-_:b65   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
+_:b64   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b65 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b66   a                rule:QueryRule ;
-        rule:conclusion  _:b67 .
-
-_:b67   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b68 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
+_:b65   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  0 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b66 .
 
-_:b68   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  6 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b69 .
-
-_:b69   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b70 .
+_:b66   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b67 .
 
-_:b70   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
+_:b67   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b11 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b66   rule:evars    <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> ;
-        rule:premise  _:b71 .
+_:b63   rule:premise  _:b68 .
 
-_:b71   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b72 ;
+_:b68   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b69 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b72   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  6 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b73 .
-
-_:b73   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b74 .
-
-_:b74   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
+_:b69   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  0 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b70 .
 
-_:b66   rule:uvars  _:b75 .
+_:b70   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b71 .
 
-_:b75   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
+_:b71   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b11 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b76   a                rule:BackwardRule ;
-        rule:conclusion  _:b77 .
+_:b72   a                rule:QueryRule ;
+        rule:conclusion  _:b73 .
 
-_:b77   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b78 ;
+_:b73   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b74 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b78   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b79 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b80 .
-
-_:b79   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  0 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b81 .
+_:b74   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  1 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b75 .
 
-_:b81   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b82 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b83 .
+_:b75   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b76 .
 
-_:b83   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b84 ;
+_:b76   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b11 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b80   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fib ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b85 .
+_:b72   rule:premise  _:b77 .
 
-_:b85   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b82 ;
+_:b77   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b78 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b76   rule:evars    <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> ;
-        rule:premise  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> ;
-        rule:uvars    _:b86 .
+_:b78   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  1 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b79 .
 
-_:b86   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b82 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b87 .
+_:b79   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b80 .
 
-_:b87   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b84 ;
+_:b80   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b11 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b88   a                rule:BackwardRule ;
-        rule:conclusion  _:b89 .
+_:b81   a                rule:QueryRule ;
+        rule:conclusion  _:b82 .
 
-_:b89   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b90 ;
+_:b82   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b83 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b90   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b91 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b92 .
-
-_:b91   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  1 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b93 .
+_:b83   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  283 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b84 .
 
-_:b93   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b82 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b94 .
+_:b84   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b85 .
 
-_:b94   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b84 ;
+_:b85   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b11 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b92   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fib ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b95 .
+_:b81   rule:premise  _:b86 .
 
-_:b95   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b84 ;
+_:b86   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b87 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b88   rule:evars    <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> ;
-        rule:premise  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> ;
-        rule:uvars    _:b96 .
+_:b87   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  283 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b88 .
 
-_:b96   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b82 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b97 .
+_:b88   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b89 .
 
-_:b97   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b84 ;
+_:b89   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b11 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b98   a                rule:BackwardRule ;
-        rule:conclusion  _:b99 .
+_:b90   a                rule:BackwardRule ;
+        rule:conclusion  _:b91 .
 
-_:b99   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b100 ;
+_:b91   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b92 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b100  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b101 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b102 .
+_:b92   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b93 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b94 .
 
-_:b101  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b3 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b103 .
+_:b93   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  1 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b95 .
 
-_:b103  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b82 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b104 .
+_:b95   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b7 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b96 .
 
-_:b104  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b84 ;
+_:b96   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b9 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b102  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fib ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b105 .
+_:b94   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fib ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b97 .
 
-_:b105  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
+_:b97   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b9 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b98   rule:evars    <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> ;
-        rule:premise  _:b106 .
+_:b90   rule:premise  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b106  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b107 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b108 .
-
-_:b107  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b3 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b109 .
-
-_:b109  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  math:greaterThan ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b110 .
+_:b98   a                rule:BackwardRule ;
+        rule:conclusion  _:b99 .
 
-_:b110  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  1 ;
+_:b99   <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b100 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b108  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b111 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b112 .
-
-_:b111  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b113 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b114 .
+_:b100  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b5 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b101 .
 
-_:b113  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b3 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b115 .
+_:b101  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b102 .
 
-_:b115  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  1 ;
+_:b102  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b11 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b114  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  math:difference ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b116 .
+_:b98   rule:premise  _:b103 .
 
-_:b116  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b117 ;
+_:b103  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b104 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b112  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b118 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b119 .
+_:b104  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b105 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b106 .
 
-_:b118  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b120 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b121 .
+_:b105  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b5 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b107 .
 
-_:b120  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b82 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b122 .
+_:b107  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  0 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b108 .
 
-_:b122  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b84 ;
+_:b108  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  1 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b121  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  math:sum ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b123 .
+_:b106  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fib ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b109 .
 
-_:b123  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b124 ;
+_:b109  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b11 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b119  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b125 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
+_:b110  a                rule:QueryRule ;
+        rule:conclusion  _:b111 .
 
-_:b125  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b126 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b127 .
+_:b111  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b112 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b126  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b117 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b128 .
+_:b112  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  91 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b113 .
 
-_:b128  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b84 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b129 .
+_:b113  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b114 .
 
-_:b129  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b124 ;
+_:b114  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b11 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b127  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fib ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b130 .
+_:b110  rule:premise  _:b115 .
 
-_:b130  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
+_:b115  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b116 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 
-_:b98   rule:uvars  _:b131 .
-
-_:b131  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b3 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b132 .
-
-_:b132  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b6 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b133 .
-
-_:b133  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b82 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b134 .
-
-_:b134  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b84 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b135 .
+_:b116  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  91 ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b117 .
 
-_:b135  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b117 ;
-        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b136 .
+_:b117  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  :fibonacci ;
+        <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  _:b118 .
 
-_:b136  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b124 ;
+_:b118  <http://www.w3.org/1999/02/22-rdf-syntax-ns#first>  _:b11 ;
         <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
diff --git a/legacy/fibonacci/fibonacci.ttl b/legacy/fibonacci/fibonacci.ttl
index e61d9bf99..0ea415a83 100644
--- a/legacy/fibonacci/fibonacci.ttl
+++ b/legacy/fibonacci/fibonacci.ttl
@@ -4,8 +4,6 @@
 
 # backward rules
 []  a rule:BackwardRule;
-    rule:uvars (_:X _:Y);
-    rule:evars ();
     rule:premise (
         ((_:X 0 1) :fib _:Y)
     );
@@ -14,24 +12,18 @@
     ).
 
 []  a rule:BackwardRule;
-    rule:uvars (_:A _:B);
-    rule:evars ();
     rule:premise ();
     rule:conclusion (
         ((0 _:A _:B) :fib _:A)
     ).
 
 []  a rule:BackwardRule;
-    rule:uvars (_:A _:B);
-    rule:evars ();
     rule:premise ();
     rule:conclusion (
         ((1 _:A _:B) :fib _:B)
     ).
 
 []  a rule:BackwardRule;
-    rule:uvars (_:X _:Y _:A _:B _:C _:D);
-    rule:evars ();
     rule:premise (
         (_:X math:greaterThan 1)
         ((_:X 1) math:difference _:C)
@@ -44,8 +36,6 @@
 
 # queries
 []  a rule:QueryRule;
-    rule:uvars (_:Y);
-    rule:evars ();
     rule:premise (
         (0 :fibonacci _:Y)
     );
@@ -54,8 +44,6 @@
     ).
 
 []  a rule:QueryRule;
-    rule:uvars (_:Y);
-    rule:evars ();
     rule:premise (
         (1 :fibonacci _:Y)
     );
@@ -64,8 +52,6 @@
     ).
 
 []  a rule:QueryRule;
-    rule:uvars (_:Y);
-    rule:evars ();
     rule:premise (
         (6 :fibonacci _:Y)
     );
@@ -74,8 +60,6 @@
     ).
 
 []  a rule:QueryRule;
-    rule:uvars (_:Y);
-    rule:evars ();
     rule:premise (
         (91 :fibonacci _:Y)
     );
@@ -84,8 +68,6 @@
     ).
 
 []  a rule:QueryRule;
-    rule:uvars (_:Y);
-    rule:evars ();
     rule:premise (
         (283 :fibonacci _:Y)
     );
@@ -94,8 +76,6 @@
     ).
 
 []  a rule:QueryRule;
-    rule:uvars (_:Y);
-    rule:evars ();
     rule:premise (
         (3674 :fibonacci _:Y)
     );
diff --git a/legacy/fibonacci/out/fibonacci.jsonld.ttl.out b/legacy/fibonacci/out/fibonacci.jsonld.ttl.out
index 8208854bb..630d97c90 100644
--- a/legacy/fibonacci/out/fibonacci.jsonld.ttl.out
+++ b/legacy/fibonacci/out/fibonacci.jsonld.ttl.out
@@ -1,8 +1,8 @@
 @prefix : <http://example.org/fibonacci#>.
 
+6 :fibonacci 8 .
 3674 :fibonacci 295872959797101479478634366815157108100573212705250690577871041398423606408217262643449728342664061812585639168722421830407677671667740585806703531229882783069925750619720511808616484846128237251921414441458265138672827487722512845223115526738192067144721087756159352711138340620702266509343657403678256247195010013499661223527119909308682062873140767135468966093474944529418214755911968500799987099146489838560114063096775586903976827512299123202488315139397181279903459556726060805948910609527571241968534269554079076649680403030083743420820438603816095671532163428933363322524736324029745871445486444623006627119156710782085648303485296149604974010598940800770684835758031137479033374229914629583184427269638360355586190323578625395157899987377625662075558684705457 .
 0 :fibonacci 0 .
-283 :fibonacci 62232491515607091882574410635924603070626544377175485625797 .
 1 :fibonacci 1 .
+283 :fibonacci 62232491515607091882574410635924603070626544377175485625797 .
 91 :fibonacci 4660046610375530309 .
-6 :fibonacci 8 .
diff --git a/legacy/socrates/socrates.jsonld b/legacy/socrates/socrates.jsonld
index 7c651d418..8c2c2e599 100644
--- a/legacy/socrates/socrates.jsonld
+++ b/legacy/socrates/socrates.jsonld
@@ -7,13 +7,13 @@
                     {
                         "@list": [
                             {
-                                "@id": "_:b9"
+                                "@id": "_:b14"
                             },
                             {
                                 "@id": "rdf:type"
                             },
                             {
-                                "@id": "_:b18"
+                                "@id": "_:b9"
                             }
                         ]
                     }
@@ -24,48 +24,31 @@
                     {
                         "@list": [
                             {
-                                "@id": "_:b26"
+                                "@id": "_:b2"
                             },
                             {
                                 "@id": "rdfs:subClassOf"
                             },
                             {
-                                "@id": "_:b18"
+                                "@id": "_:b9"
                             }
                         ]
                     },
                     {
                         "@list": [
                             {
-                                "@id": "_:b9"
+                                "@id": "_:b14"
                             },
                             {
                                 "@id": "rdf:type"
                             },
                             {
-                                "@id": "_:b26"
+                                "@id": "_:b2"
                             }
                         ]
                     }
                 ]
             },
-            "rule:evars": {
-                "@list": [
-                ]
-            },
-            "rule:uvars": {
-                "@list": [
-                    {
-                        "@id": "_:b26"
-                    },
-                    {
-                        "@id": "_:b18"
-                    },
-                    {
-                        "@id": "_:b9"
-                    }
-                ]
-            },
             "@type": "rule:ForwardRule"
         },
         {
@@ -75,7 +58,7 @@
                     {
                         "@list": [
                             {
-                                "@id": "_:b9"
+                                "@id": "_:b14"
                             },
                             {
                                 "@id": "rdf:type"
@@ -92,7 +75,7 @@
                     {
                         "@list": [
                             {
-                                "@id": "_:b9"
+                                "@id": "_:b14"
                             },
                             {
                                 "@id": "rdf:type"
@@ -104,17 +87,6 @@
                     }
                 ]
             },
-            "rule:evars": {
-                "@list": [
-                ]
-            },
-            "rule:uvars": {
-                "@list": [
-                    {
-                        "@id": "_:b9"
-                    }
-                ]
-            },
             "@type": "rule:QueryRule"
         },
         {
diff --git a/legacy/socrates/socrates.jsonld.ttl b/legacy/socrates/socrates.jsonld.ttl
index eb6af19df..b486b1753 100644
--- a/legacy/socrates/socrates.jsonld.ttl
+++ b/legacy/socrates/socrates.jsonld.ttl
@@ -22,8 +22,7 @@ _:b3    rdf:first  rdf:type ;
 _:b4    rdf:first  :Mortal ;
         rdf:rest   rdf:nil .
 
-:query1  rule:evars   rdf:nil ;
-        rule:premise  _:b5 .
+:query1  rule:premise  _:b5 .
 
 _:b5    rdf:first  _:b6 ;
         rdf:rest   rdf:nil .
@@ -37,60 +36,43 @@ _:b7    rdf:first  rdf:type ;
 _:b8    rdf:first  :Mortal ;
         rdf:rest   rdf:nil .
 
-:query1  rule:uvars  _:b9 .
-
-_:b9    rdf:first  _:b2 ;
-        rdf:rest   rdf:nil .
-
 :rule1  rdf:type         rule:ForwardRule ;
-        rule:conclusion  _:b10 .
+        rule:conclusion  _:b9 .
 
-_:b10   rdf:first  _:b11 ;
+_:b9    rdf:first  _:b10 ;
         rdf:rest   rdf:nil .
 
-_:b11   rdf:first  _:b2 ;
-        rdf:rest   _:b12 .
+_:b10   rdf:first  _:b2 ;
+        rdf:rest   _:b11 .
 
-_:b12   rdf:first  rdf:type ;
-        rdf:rest   _:b13 .
+_:b11   rdf:first  rdf:type ;
+        rdf:rest   _:b12 .
 
-_:b13   rdf:first  _:b14 ;
+_:b12   rdf:first  _:b13 ;
         rdf:rest   rdf:nil .
 
-:rule1  rule:evars    rdf:nil ;
-        rule:premise  _:b15 .
-
-_:b15   rdf:first  _:b16 ;
-        rdf:rest   _:b17 .
+:rule1  rule:premise  _:b14 .
 
-_:b16   rdf:first  _:b18 ;
-        rdf:rest   _:b19 .
+_:b14   rdf:first  _:b15 ;
+        rdf:rest   _:b16 .
 
-_:b19   rdf:first  rdfs:subClassOf ;
-        rdf:rest   _:b20 .
+_:b15   rdf:first  _:b17 ;
+        rdf:rest   _:b18 .
 
-_:b20   rdf:first  _:b14 ;
-        rdf:rest   rdf:nil .
+_:b18   rdf:first  rdfs:subClassOf ;
+        rdf:rest   _:b19 .
 
-_:b17   rdf:first  _:b21 ;
+_:b19   rdf:first  _:b13 ;
         rdf:rest   rdf:nil .
 
-_:b21   rdf:first  _:b2 ;
-        rdf:rest   _:b22 .
-
-_:b22   rdf:first  rdf:type ;
-        rdf:rest   _:b23 .
-
-_:b23   rdf:first  _:b18 ;
+_:b16   rdf:first  _:b20 ;
         rdf:rest   rdf:nil .
 
-:rule1  rule:uvars  _:b24 .
-
-_:b24   rdf:first  _:b18 ;
-        rdf:rest   _:b25 .
+_:b20   rdf:first  _:b2 ;
+        rdf:rest   _:b21 .
 
-_:b25   rdf:first  _:b14 ;
-        rdf:rest   _:b26 .
+_:b21   rdf:first  rdf:type ;
+        rdf:rest   _:b22 .
 
-_:b26   rdf:first  _:b2 ;
+_:b22   rdf:first  _:b17 ;
         rdf:rest   rdf:nil .
diff --git a/legacy/socrates/socrates.ttl b/legacy/socrates/socrates.ttl
index 3f4647baf..914b66c89 100644
--- a/legacy/socrates/socrates.ttl
+++ b/legacy/socrates/socrates.ttl
@@ -10,8 +10,6 @@
 # forward rule
 :rule1
     a rule:ForwardRule;
-    rule:uvars (_:A _:B _:S);
-    rule:evars ();
     rule:premise (
         (_:A rdfs:subClassOf _:B)
         (_:S rdf:type _:A)
@@ -23,8 +21,6 @@
 # query rule
 :query1
     a rule:QueryRule;
-    rule:uvars (_:S);
-    rule:evars ();
     rule:premise (
         (_:S rdf:type :Mortal)
     );