-
-
Save koo5/456ff059dd4755f4f556 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
r |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[ | |
{ | |
"step": 0, | |
"frame": { | |
"env": {}, | |
"rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?z" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"pred": "" | |
} | |
}, | |
"src": 0, | |
"ground": [], | |
"ind": 0 | |
} | |
}, | |
"NO BEES yet PLZ!", | |
{ | |
"looking for case": "http://tauchain.org/a" | |
}, | |
{ | |
"Check rule": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
"Match(free var)!", | |
"No match", | |
"No loop here", | |
{ | |
"Check rule": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
"Match(free var)!", | |
"No match", | |
"No loop here", | |
{ | |
"Check rule": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":Y" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
"Match(free var)!", | |
"No match", | |
"No loop here", | |
{ | |
"Check rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
}, | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
"Match(free var)!", | |
"Equal!", | |
"Equal!", | |
"Done euler loop", | |
"done rule checks, looping", | |
{ | |
"step": 1, | |
"frame": { | |
"parent": { | |
"env": {}, | |
"rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?z" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"pred": "" | |
} | |
}, | |
"src": 0, | |
"ground": [], | |
"ind": 0 | |
}, | |
"env": {}, | |
"rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
}, | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
}, | |
"src": 4, | |
"ground": [], | |
"ind": 0 | |
} | |
}, | |
"NO BEES yet PLZ!", | |
{ | |
"looking for case": "http://tauchain.org/a" | |
}, | |
{ | |
"Check rule": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
"Match(free var)!", | |
"Equal!", | |
"Equal!", | |
{ | |
"ep.src": 0, | |
"c.src": 4 | |
}, | |
" ~~ ~~ ~~", | |
"Done euler loop", | |
{ | |
"Check rule": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
"Match(free var)!", | |
"No match", | |
"No loop here", | |
{ | |
"Check rule": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":Y" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
"Match(free var)!", | |
"Equal!", | |
"Equal!", | |
{ | |
"ep.src": 0, | |
"c.src": 4 | |
}, | |
" ~~ ~~ ~~", | |
"Done euler loop", | |
{ | |
"Check rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
}, | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
"Match(free var)!", | |
"No match", | |
"No loop here", | |
"done rule checks, looping", | |
{ | |
"step": 2, | |
"frame": { | |
"parent": { | |
"parent": { | |
"env": {}, | |
"rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?z" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"pred": "" | |
} | |
}, | |
"src": 0, | |
"ground": [], | |
"ind": 0 | |
}, | |
"env": {}, | |
"rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
}, | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
}, | |
"src": 4, | |
"ground": [], | |
"ind": 0 | |
}, | |
"env": {}, | |
"rule": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":Y" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
}, | |
"src": 3, | |
"ground": [ | |
{ | |
"env": {}, | |
"src": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":Y" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
} | |
], | |
"ind": 0 | |
} | |
}, | |
"Match(free var)!", | |
"Equal!", | |
"Equal!", | |
{ | |
"step": 3, | |
"frame": { | |
"parent": { | |
"parent": { | |
"env": {}, | |
"rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?z" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"pred": "" | |
} | |
}, | |
"src": 0, | |
"ground": [], | |
"ind": 0 | |
}, | |
"env": {}, | |
"rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
}, | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
}, | |
"src": 4, | |
"ground": [], | |
"ind": 0 | |
}, | |
"env": {}, | |
"rule": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
}, | |
"src": 1, | |
"ground": [ | |
{ | |
"env": {}, | |
"src": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
} | |
], | |
"ind": 0 | |
} | |
}, | |
"Match(free var)!", | |
"Equal!", | |
"Equal!", | |
{ | |
"step": 4, | |
"frame": { | |
"parent": { | |
"env": {}, | |
"rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?z" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"pred": "" | |
} | |
}, | |
"src": 0, | |
"ground": [], | |
"ind": 0 | |
}, | |
"env": { | |
"?x": { | |
"pred": ":Y" | |
} | |
}, | |
"rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
}, | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
}, | |
"src": 4, | |
"ground": [ | |
{ | |
"env": {}, | |
"src": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":Y" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
} | |
], | |
"ind": 1 | |
} | |
}, | |
"NO BEES yet PLZ!", | |
{ | |
"looking for case": "http://tauchain.org/a" | |
}, | |
{ | |
"Check rule": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
"No match", | |
"No loop here", | |
{ | |
"Check rule": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
"No match", | |
"No loop here", | |
{ | |
"Check rule": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":Y" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
"Equal!", | |
"No match", | |
"No loop here", | |
{ | |
"Check rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
}, | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
"Match(free var)!", | |
"No match", | |
"No loop here", | |
"done rule checks, looping", | |
{ | |
"step": 5, | |
"frame": { | |
"parent": { | |
"env": {}, | |
"rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?z" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"pred": "" | |
} | |
}, | |
"src": 0, | |
"ground": [], | |
"ind": 0 | |
}, | |
"env": { | |
"?x": { | |
"pred": ":X" | |
} | |
}, | |
"rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
}, | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
}, | |
"src": 4, | |
"ground": [ | |
{ | |
"env": {}, | |
"src": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
} | |
], | |
"ind": 1 | |
} | |
}, | |
"NO BEES yet PLZ!", | |
{ | |
"looking for case": "http://tauchain.org/a" | |
}, | |
{ | |
"Check rule": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
"Equal!", | |
"No match", | |
"No loop here", | |
{ | |
"Check rule": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
"Equal!", | |
"Equal!", | |
"Equal!", | |
{ | |
"ep.src": 0, | |
"c.src": 4 | |
}, | |
" ~~ ~~ ~~", | |
"Done euler loop", | |
{ | |
"Check rule": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":Y" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
"No match", | |
"No loop here", | |
{ | |
"Check rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
}, | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
"Match(free var)!", | |
"No match", | |
"No loop here", | |
"done rule checks, looping", | |
{ | |
"step": 6, | |
"frame": { | |
"parent": { | |
"parent": { | |
"env": {}, | |
"rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?z" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"pred": "" | |
} | |
}, | |
"src": 0, | |
"ground": [], | |
"ind": 0 | |
}, | |
"env": { | |
"?x": { | |
"pred": ":X" | |
} | |
}, | |
"rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
}, | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
}, | |
"src": 4, | |
"ground": [ | |
{ | |
"env": {}, | |
"src": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
} | |
], | |
"ind": 1 | |
}, | |
"env": {}, | |
"rule": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
}, | |
"src": 2, | |
"ground": [ | |
{ | |
"env": {}, | |
"src": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
{ | |
"env": {}, | |
"src": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
} | |
], | |
"ind": 0 | |
} | |
}, | |
"Equal!", | |
"Equal!", | |
"Equal!", | |
{ | |
"step": 7, | |
"frame": { | |
"parent": { | |
"env": {}, | |
"rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?z" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"pred": "" | |
} | |
}, | |
"src": 0, | |
"ground": [], | |
"ind": 0 | |
}, | |
"env": { | |
"?x": { | |
"pred": ":X" | |
} | |
}, | |
"rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
}, | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
}, | |
"src": 4, | |
"ground": [ | |
{ | |
"env": {}, | |
"src": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
{ | |
"env": {}, | |
"src": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
} | |
], | |
"ind": 2 | |
} | |
}, | |
"Match(free var)!", | |
"Equal!", | |
"Equal!", | |
{ | |
"step": 8, | |
"frame": { | |
"env": { | |
"?z": { | |
"pred": ":X" | |
} | |
}, | |
"rule": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?z" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"pred": "" | |
} | |
}, | |
"src": 0, | |
"ground": [ | |
{ | |
"env": {}, | |
"src": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
{ | |
"env": {}, | |
"src": { | |
"body": [], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
}, | |
{ | |
"env": { | |
"?x": { | |
"pred": ":X" | |
} | |
}, | |
"src": { | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
}, | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"head": { | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
} | |
], | |
"ind": 1 | |
} | |
}, | |
"no parent!", | |
{ | |
"evidence": { | |
"http://tauchain.org/a": [ | |
{ | |
"body": [ | |
{ | |
"args": [ | |
{ | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":a" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
}, | |
{ | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":b" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
}, | |
{ | |
"args": [ | |
{ | |
"pred": "?x" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
], | |
"pred": "GND" | |
} | |
], | |
"head": { | |
"args": [ | |
{ | |
"pred": ":X" | |
}, | |
{ | |
"pred": ":c" | |
} | |
], | |
"pred": "http://tauchain.org/a" | |
} | |
} | |
] | |
} | |
}, | |
"end." | |
] |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment