{ "clauses": [{ "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "role" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "role" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "black" }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "base" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "m" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "mark" } }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "index" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "m" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "index" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "mark" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "mark" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "base" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "score" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "ConstTerm", "fields": [{ "name": "0" }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "role" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "base" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "score" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "role" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "incr" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "m" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "base" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "control" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "role" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "base" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "step" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "1" }] }] }] }] }] }, "body": [] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "base" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "step" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "m" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "input" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "FuncTerm", "fields": [{ "name": { "name": "move" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "role" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "doublet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "input" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "FuncTerm", "fields": [{ "name": { "name": "jump" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "role" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "triplet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "input" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "ConstTerm", "fields": [{ "name": "noop" }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "role" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "index" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "1" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "index" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "2" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "index" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "3" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "index" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "4" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "index" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "5" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "mark" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "black" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "mark" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "mark" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "blank" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "black" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "black" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "black" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "black" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "5" }] }, { "variant": "ConstTerm", "fields": [{ "name": "black" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "black" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "black" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "black" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "black" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "5" }] }, { "variant": "ConstTerm", "fields": [{ "name": "black" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "blank" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "blank" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "blank" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "blank" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "5" }] }, { "variant": "ConstTerm", "fields": [{ "name": "blank" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "5" }] }, { "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "5" }] }, { "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "5" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "5" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "5" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "5" }] }, { "variant": "ConstTerm", "fields": [{ "name": "5" }] }, { "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "score" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "red" }] }, { "variant": "ConstTerm", "fields": [{ "name": "0" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "score" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "black" }] }, { "variant": "ConstTerm", "fields": [{ "name": "0" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "control" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "init" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "step" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "1" }] }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "legal" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "FuncTerm", "fields": [{ "name": { "name": "move" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "control" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }] }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }] }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "doublet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "ConstTerm", "fields": [{ "name": "blank" }] }] }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "legal" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "red" }] }, { "variant": "FuncTerm", "fields": [{ "name": { "name": "jump" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "control" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "triplet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "ConstTerm", "fields": [{ "name": "black" }] }] }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }, { "variant": "ConstTerm", "fields": [{ "name": "blank" }] }] }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "legal" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "black" }] }, { "variant": "FuncTerm", "fields": [{ "name": { "name": "jump" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "control" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "black" }] }] }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "ConstTerm", "fields": [{ "name": "black" }] }] }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "triplet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }, { "variant": "ConstTerm", "fields": [{ "name": "blank" }] }] }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "legal" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "red" }] }, { "variant": "ConstTerm", "fields": [{ "name": "noop" }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "control" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "black" }] }] }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "legal" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "black" }] }, { "variant": "ConstTerm", "fields": [{ "name": "noop" }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "control" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "next" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "ConstTerm", "fields": [{ "name": "blank" }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "does" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "FuncTerm", "fields": [{ "name": { "name": "move" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "next" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "does" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "FuncTerm", "fields": [{ "name": { "name": "move" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "next" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "m" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "mark" } }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "does" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "FuncTerm", "fields": [{ "name": { "name": "move" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "m" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "mark" } }] }] }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "distinctcell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "m" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "distinctcell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "m" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "next" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "ConstTerm", "fields": [{ "name": "blank" }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "does" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "FuncTerm", "fields": [{ "name": { "name": "jump" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "next" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "ConstTerm", "fields": [{ "name": "blank" }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "does" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "FuncTerm", "fields": [{ "name": { "name": "jump" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "next" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "does" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "FuncTerm", "fields": [{ "name": { "name": "jump" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "next" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "m" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "mark" } }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "does" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "FuncTerm", "fields": [{ "name": { "name": "jump" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "cell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "m" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "mark" } }] }] }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "distinctcell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "m" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "distinctcell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "m" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "distinctcell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "m" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "next" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "score" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "does" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "anyone" } }] }, { "variant": "FuncTerm", "fields": [{ "name": { "name": "move" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "score" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }] }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "next" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "score" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "does" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "FuncTerm", "fields": [{ "name": { "name": "jump" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "score" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "m" } }] }] }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "incr" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "m" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "next" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "score" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "does" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "ConstTerm", "fields": [{ "name": "noop" }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "score" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }] }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "next" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "control" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "black" }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "control" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "next" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "control" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "red" }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "control" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "black" }] }] }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "next" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "step" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }] }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "step" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "m" } }] }] }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "m" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "goal" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "score" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "n" } }] }] }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "PropSentence", "fields": [{ "name": { "name": "terminal" } }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "score" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "role" } }] }, { "variant": "ConstTerm", "fields": [{ "name": "100" }] }] }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "PropSentence", "fields": [{ "name": { "name": "terminal" } }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "true" }, "args": [{ "variant": "FuncTerm", "fields": [{ "name": { "name": "step" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "30" }] }] }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "distinctcell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "index" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "index" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }] }] }, { "variant": "DistinctLit", "fields": [{ "term1": { "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, "term2": { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] } }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "index" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "index" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "distinctcell" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "index" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "index" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }, { "variant": "DistinctLit", "fields": [{ "term1": { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, "term2": { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] } }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "index" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "index" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "doublet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "horizontal" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "doublet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "horizontal" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "doublet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "vertical" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "doublet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "vertical" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "doublet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "slash" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "doublet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "slash" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "doublet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "backslash" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "doublet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "backslash" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "triplet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "horizontal" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "horizontal" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "triplet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "horizontal" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "horizontal" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "triplet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "vertical" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "vertical" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "triplet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "vertical" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "vertical" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "triplet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "slash" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "slash" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "triplet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "slash" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "slash" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "triplet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "backslash" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "backslash" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "triplet" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "backslash" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "z" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "backslash" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "w" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "horizontal" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "nex" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "x" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "index" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }] }] }] }] }, { "variant": "RuleClause", "fields": [{ "head": { "variant": "RelSentence", "fields": [{ "name": { "name": "vertical" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }, "body": [{ "variant": "RelLit", "fields": [{ "name": { "name": "nex" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "v" } }] }, { "variant": "VarTerm", "fields": [{ "name": { "name": "y" } }] }] }] }, { "variant": "RelLit", "fields": [{ "name": { "name": "index" }, "args": [{ "variant": "VarTerm", "fields": [{ "name": { "name": "u" } }] }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "slash" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "slash" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "slash" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "5" }] }, { "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "slash" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "slash" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "slash" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "5" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "slash" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "5" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "slash" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "5" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "backslash" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "backslash" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "5" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "backslash" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "backslash" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "backslash" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "backslash" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "5" }] }, { "variant": "ConstTerm", "fields": [{ "name": "5" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "backslash" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "backslash" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "5" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "nex" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "nex" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "nex" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "nex" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "5" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "incr" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "0" }] }, { "variant": "ConstTerm", "fields": [{ "name": "10" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "incr" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "10" }] }, { "variant": "ConstTerm", "fields": [{ "name": "20" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "incr" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "20" }] }, { "variant": "ConstTerm", "fields": [{ "name": "30" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "incr" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "30" }] }, { "variant": "ConstTerm", "fields": [{ "name": "40" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "incr" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "40" }] }, { "variant": "ConstTerm", "fields": [{ "name": "50" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "incr" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "50" }] }, { "variant": "ConstTerm", "fields": [{ "name": "60" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "incr" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "60" }] }, { "variant": "ConstTerm", "fields": [{ "name": "70" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "incr" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "70" }] }, { "variant": "ConstTerm", "fields": [{ "name": "80" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "incr" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "80" }] }, { "variant": "ConstTerm", "fields": [{ "name": "90" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "incr" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "90" }] }, { "variant": "ConstTerm", "fields": [{ "name": "100" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "1" }] }, { "variant": "ConstTerm", "fields": [{ "name": "2" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "2" }] }, { "variant": "ConstTerm", "fields": [{ "name": "3" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "3" }] }, { "variant": "ConstTerm", "fields": [{ "name": "4" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "4" }] }, { "variant": "ConstTerm", "fields": [{ "name": "5" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "5" }] }, { "variant": "ConstTerm", "fields": [{ "name": "6" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "6" }] }, { "variant": "ConstTerm", "fields": [{ "name": "7" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "7" }] }, { "variant": "ConstTerm", "fields": [{ "name": "8" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "8" }] }, { "variant": "ConstTerm", "fields": [{ "name": "9" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "9" }] }, { "variant": "ConstTerm", "fields": [{ "name": "10" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "10" }] }, { "variant": "ConstTerm", "fields": [{ "name": "11" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "11" }] }, { "variant": "ConstTerm", "fields": [{ "name": "12" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "12" }] }, { "variant": "ConstTerm", "fields": [{ "name": "13" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "13" }] }, { "variant": "ConstTerm", "fields": [{ "name": "14" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "14" }] }, { "variant": "ConstTerm", "fields": [{ "name": "15" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "15" }] }, { "variant": "ConstTerm", "fields": [{ "name": "16" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "16" }] }, { "variant": "ConstTerm", "fields": [{ "name": "17" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "17" }] }, { "variant": "ConstTerm", "fields": [{ "name": "18" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "18" }] }, { "variant": "ConstTerm", "fields": [{ "name": "19" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "19" }] }, { "variant": "ConstTerm", "fields": [{ "name": "20" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "20" }] }, { "variant": "ConstTerm", "fields": [{ "name": "21" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "21" }] }, { "variant": "ConstTerm", "fields": [{ "name": "22" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "22" }] }, { "variant": "ConstTerm", "fields": [{ "name": "23" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "23" }] }, { "variant": "ConstTerm", "fields": [{ "name": "24" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "24" }] }, { "variant": "ConstTerm", "fields": [{ "name": "25" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "25" }] }, { "variant": "ConstTerm", "fields": [{ "name": "26" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "26" }] }, { "variant": "ConstTerm", "fields": [{ "name": "27" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "27" }] }, { "variant": "ConstTerm", "fields": [{ "name": "28" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "28" }] }, { "variant": "ConstTerm", "fields": [{ "name": "29" }] }] }] }] }, { "variant": "SentenceClause", "fields": [{ "variant": "RelSentence", "fields": [{ "name": { "name": "succ" }, "args": [{ "variant": "ConstTerm", "fields": [{ "name": "29" }] }, { "variant": "ConstTerm", "fields": [{ "name": "30" }] }] }] }] }] }