The scope of quickvars (?x) in N3

Since I started implementing N3 reasoning in 2001 the scope
of quickvars is the statement (i.e. triple or rule) level.
This is because I follow the logic programming convention
where the scope of universals is the clause (i.e. fact or rule).

At the occasion of the first team submission d.d. 2008-01-14
http://www.w3.org/TeamSubmission/2008/SUBM-n3-20080114/
I made the following comments 5 days later
http://lists.w3.org/Archives/Public/public-cwm-talk/2008JanMar/0000.html
esp.

[[
The main differences that we have in our implementation are
1/ the scope of quickvars like ?A is the statement level
...
]]

Then 7 years later (2015) I replied to a message from TimBL
https://lists.w3.org/Archives/Public/public-cwm-talk/2015JanMar/0003.html
but never got a reply back.

Then another 7 years later (2022) I created the following issue
https://github.com/solid/specification/issues/395#issue-1197903204


Jos

-- https://josd.github.io