[test_scasp:query-[goal_origin(nqueens(4,[q(1,2),q(2,4),q(3,1),q(4,3)]),1)-[goal_origin(nqueens(4,4,[],[q(1,2),q(2,4),q(3,1),q(4,3)]),2)-[(4>0)-[],goal_origin(pickqueen(4,3,4),5)-[(4>1)-[],(3 is 4-1)-[],goal_origin(pickqueen(4,3,3),4)-[(3>0)-[],goal_origin(q(4,3),10)-[(not negq(4,3))-[chs(q(4,3))-[]]]]],(not attack(4,3,[]))-[],(3 is 4-1)-[],goal_origin(nqueens(3,4,[q(4,3)],[q(1,2),q(2,4),q(3,1),q(4,3)]),2)-[(3>0)-[],goal_origin(pickqueen(3,1,4),5)-[(4>1)-[],(3 is 4-1)-[],goal_origin(pickqueen(3,1,3),5)-[(3>1)-[],(2 is 3-1)-[],goal_origin(pickqueen(3,1,2),5)-[(2>1)-[],(1 is 2-1)-[],goal_origin(pickqueen(3,1,1),4)-[(1>0)-[],goal_origin(q(3,1),10)-[(not negq(3,1))-[chs(q(3,1))-[]]]]]]],(not attack(3,1,[q(4,3)]))-[(not ('$VAR'('_')'| '{'$VAR'('_')∉[1]})is 4-3)-[],(1 is 4-3)-[],(not abs(1,'$VAR'('D')'| '{'$VAR'('D')∉[1]}))-[(1>=0)-[]],(1 is 4-3)-[],goal_origin(abs(1,1),12)-[(1>=0)-[]],(not ('$VAR'('_')'| '{'$VAR'('_')∉[2]})is 3-1)-[],(1 is 4-3)-[],proved(abs(1,1))-[],(2 is 3-1)-[],(not abs(2,'$VAR'('H')'| '{'$VAR'('H')∉[2]}))-[(2>=0)-[]],(1 is 4-3)-[],proved(abs(1,1))-[],(2 is 3-1)-[],goal_origin(abs(2,2),12)-[(2>=0)-[]],(not attack(3,1,[]))-[]],(2 is 3-1)-[],goal_origin(nqueens(2,4,[q(3,1),q(4,3)],[q(1,2),q(2,4),q(3,1),q(4,3)]),2)-[(2>0)-[],goal_origin(pickqueen(2,4,4),4)-[(4>0)-[],goal_origin(q(2,4),10)-[(not negq(2,4))-[chs(q(2,4))-[]]]],(not attack(2,4,[q(3,1),q(4,3)]))-[(not ('$VAR'('_')'| '{'$VAR'('_')∉[1]})is 3-2)-[],(1 is 3-2)-[],(not abs(1,'$VAR'('E')'| '{'$VAR'('E')∉[1]}))-[(1>=0)-[]],(1 is 3-2)-[],proved(abs(1,1))-[],(not ('$VAR'('_')'| '{'$VAR'('_')∉[-3]})is 1-4)-[],(1 is 3-2)-[],proved(abs(1,1))-[],(-3 is 1-4)-[],(not abs(-3,'$VAR'('A')'| '{'$VAR'('A')∉[-3,3]}))-[(-3<0)-[],(not ('$VAR'('A')'| '{'$VAR'('A')∉[-3,3]})is-3* -1)-[]],(1 is 3-2)-[],proved(abs(1,1))-[],(-3 is 1-4)-[],(not abs(-3,-3))-[(-3<0)-[],(-3<0)-[],(not-3 is -3* -1)-[]],(1 is 3-2)-[],proved(abs(1,1))-[],(-3 is 1-4)-[],goal_origin(abs(-3,3),13)-[(-3<0)-[],(3 is -3* -1)-[]],(not attack(2,4,[q(4,3)]))-[(not ('$VAR'('_')'| '{'$VAR'('_')∉[2]})is 4-2)-[],(2 is 4-2)-[],(not abs(2,'$VAR'('I')'| '{'$VAR'('I')∉[2]}))-[(2>=0)-[]],(2 is 4-2)-[],proved(abs(2,2))-[],(not ('$VAR'('_')'| '{'$VAR'('_')∉[-1]})is 3-4)-[],(2 is 4-2)-[],proved(abs(2,2))-[],(-1 is 3-4)-[],(not abs(-1,'$VAR'('B')'| '{'$VAR'('B')∉[-1,1]}))-[(-1<0)-[],(not ('$VAR'('B')'| '{'$VAR'('B')∉[-1,1]})is-1* -1)-[]],(2 is 4-2)-[],proved(abs(2,2))-[],(-1 is 3-4)-[],(not abs(-1,-1))-[(-1<0)-[],(-1<0)-[],(not-1 is -1* -1)-[]],(2 is 4-2)-[],proved(abs(2,2))-[],(-1 is 3-4)-[],goal_origin(abs(-1,1),13)-[(-1<0)-[],(1 is -1* -1)-[]],(not attack(2,4,[]))-[]]],(1 is 2-1)-[],goal_origin(nqueens(1,4,[q(2,4),q(3,1),q(4,3)],[q(1,2),q(2,4),q(3,1),q(4,3)]),2)-[(1>0)-[],goal_origin(pickqueen(1,2,4),5)-[(4>1)-[],(3 is 4-1)-[],goal_origin(pickqueen(1,2,3),5)-[(3>1)-[],(2 is 3-1)-[],goal_origin(pickqueen(1,2,2),4)-[(2>0)-[],goal_origin(q(1,2),10)-[(not negq(1,2))-[chs(q(1,2))-[]]]]]],(not attack(1,2,[q(2,4),q(3,1),q(4,3)]))-[(not ('$VAR'('_')'| '{'$VAR'('_')∉[1]})is 2-1)-[],(1 is 2-1)-[],(not abs(1,'$VAR'('F')'| '{'$VAR'('F')∉[1]}))-[(1>=0)-[]],(1 is 2-1)-[],proved(abs(1,1))-[],(not ('$VAR'('_')'| '{'$VAR'('_')∉[2]})is 4-2)-[],(1 is 2-1)-[],proved(abs(1,1))-[],(2 is 4-2)-[],(not abs(2,'$VAR'('J')'| '{'$VAR'('J')∉[2]}))-[(2>=0)-[]],(1 is 2-1)-[],proved(abs(1,1))-[],(2 is 4-2)-[],proved(abs(2,2))-[],(not attack(1,2,[q(3,1),q(4,3)]))-[(not ('$VAR'('_')'| '{'$VAR'('_')∉[2]})is 3-1)-[],(2 is 3-1)-[],(not abs(2,'$VAR'('K')'| '{'$VAR'('K')∉[2]}))-[(2>=0)-[]],(2 is 3-1)-[],proved(abs(2,2))-[],(not ('$VAR'('_')'| '{'$VAR'('_')∉[-1]})is 1-2)-[],(2 is 3-1)-[],proved(abs(2,2))-[],(-1 is 1-2)-[],(not abs(-1,'$VAR'('C')'| '{'$VAR'('C')∉[-1,1]}))-[(-1<0)-[],(not ('$VAR'('C')'| '{'$VAR'('C')∉[-1,1]})is-1* -1)-[]],(2 is 3-1)-[],proved(abs(2,2))-[],(-1 is 1-2)-[],proved(not abs(-1,-1))-[],(2 is 3-1)-[],proved(abs(2,2))-[],(-1 is 1-2)-[],proved(abs(-1,1))-[],(not attack(1,2,[q(4,3)]))-[(not ('$VAR'('_')'| '{'$VAR'('_')∉[3]})is 4-1)-[],(3 is 4-1)-[],(not abs(3,'$VAR'('L')'| '{'$VAR'('L')∉[3]}))-[(3>=0)-[]],(3 is 4-1)-[],goal_origin(abs(3,3),12)-[(3>=0)-[]],(not ('$VAR'('_')'| '{'$VAR'('_')∉[1]})is 3-2)-[],(3 is 4-1)-[],proved(abs(3,3))-[],(1 is 3-2)-[],(not abs(1,'$VAR'('G')'| '{'$VAR'('G')∉[1]}))-[(1>=0)-[]],(3 is 4-1)-[],proved(abs(3,3))-[],(1 is 3-2)-[],proved(abs(1,1))-[],(not attack(1,2,[]))-[]]]],(0 is 1-1)-[],goal_origin(nqueens(0,4,[q(1,2),q(2,4),q(3,1),q(4,3)],[q(1,2),q(2,4),q(3,1),q(4,3)]),3)-[]]]]]]],test_scasp:query-[goal_origin(nqueens(4,[q(1,3),q(2,1),q(3,4),q(4,2)]),1)-[goal_origin(nqueens(4,4,[],[q(1,3),q(2,1),q(3,4),q(4,2)]),2)-[(4>0)-[],goal_origin(pickqueen(4,2,4),5)-[(4>1)-[],(3 is 4-1)-[],goal_origin(pickqueen(4,2,3),5)-[(3>1)-[],(2 is 3-1)-[],goal_origin(pickqueen(4,2,2),4)-[(2>0)-[],goal_origin(q(4,2),10)-[(not negq(4,2))-[chs(q(4,2))-[]]]]]],(not attack(4,2,[]))-[],(3 is 4-1)-[],goal_origin(nqueens(3,4,[q(4,2)],[q(1,3),q(2,1),q(3,4),q(4,2)]),2)-[(3>0)-[],goal_origin(pickqueen(3,4,4),4)-[(4>0)-[],goal_origin(q(3,4),10)-[(not negq(3,4))-[chs(q(3,4))-[]]]],(not attack(3,4,[q(4,2)]))-[(not ('$VAR'('_')'| '{'$VAR'('_')∉[1]})is 4-3)-[],(1 is 4-3)-[],(not abs(1,'$VAR'('D')'| '{'$VAR'('D')∉[1]}))-[(1>=0)-[]],(1 is 4-3)-[],goal_origin(abs(1,1),12)-[(1>=0)-[]],(not ('$VAR'('_')'| '{'$VAR'('_')∉[-2]})is 2-4)-[],(1 is 4-3)-[],proved(abs(1,1))-[],(-2 is 2-4)-[],(not abs(-2,'$VAR'('A')'| '{'$VAR'('A')∉[-2,2]}))-[(-2<0)-[],(not ('$VAR'('A')'| '{'$VAR'('A')∉[-2,2]})is-2* -1)-[]],(1 is 4-3)-[],proved(abs(1,1))-[],(-2 is 2-4)-[],(not abs(-2,-2))-[(-2<0)-[],(-2<0)-[],(not-2 is -2* -1)-[]],(1 is 4-3)-[],proved(abs(1,1))-[],(-2 is 2-4)-[],goal_origin(abs(-2,2),13)-[(-2<0)-[],(2 is -2* -1)-[]],(not attack(3,4,[]))-[]],(2 is 3-1)-[],goal_origin(nqueens(2,4,[q(3,4),q(4,2)],[q(1,3),q(2,1),q(3,4),q(4,2)]),2)-[(2>0)-[],goal_origin(pickqueen(2,1,4),5)-[(4>1)-[],(3 is 4-1)-[],goal_origin(pickqueen(2,1,3),5)-[(3>1)-[],(2 is 3-1)-[],goal_origin(pickqueen(2,1,2),5)-[(2>1)-[],(1 is 2-1)-[],goal_origin(pickqueen(2,1,1),4)-[(1>0)-[],goal_origin(q(2,1),10)-[(not negq(2,1))-[chs(q(2,1))-[]]]]]]],(not attack(2,1,[q(3,4),q(4,2)]))-[(not ('$VAR'('_')'| '{'$VAR'('_')∉[1]})is 3-2)-[],(1 is 3-2)-[],(not abs(1,'$VAR'('E')'| '{'$VAR'('E')∉[1]}))-[(1>=0)-[]],(1 is 3-2)-[],proved(abs(1,1))-[],(not ('$VAR'('_')'| '{'$VAR'('_')∉[3]})is 4-1)-[],(1 is 3-2)-[],proved(abs(1,1))-[],(3 is 4-1)-[],(not abs(3,'$VAR'('K')'| '{'$VAR'('K')∉[3]}))-[(3>=0)-[]],(1 is 3-2)-[],proved(abs(1,1))-[],(3 is 4-1)-[],goal_origin(abs(3,3),12)-[(3>=0)-[]],(not attack(2,1,[q(4,2)]))-[(not ('$VAR'('_')'| '{'$VAR'('_')∉[2]})is 4-2)-[],(2 is 4-2)-[],(not abs(2,'$VAR'('I')'| '{'$VAR'('I')∉[2]}))-[(2>=0)-[]],(2 is 4-2)-[],goal_origin(abs(2,2),12)-[(2>=0)-[]],(not ('$VAR'('_')'| '{'$VAR'('_')∉[1]})is 2-1)-[],(2 is 4-2)-[],proved(abs(2,2))-[],(1 is 2-1)-[],(not abs(1,'$VAR'('F')'| '{'$VAR'('F')∉[1]}))-[(1>=0)-[]],(2 is 4-2)-[],proved(abs(2,2))-[],(1 is 2-1)-[],proved(abs(1,1))-[],(not attack(2,1,[]))-[]]],(1 is 2-1)-[],goal_origin(nqueens(1,4,[q(2,1),q(3,4),q(4,2)],[q(1,3),q(2,1),q(3,4),q(4,2)]),2)-[(1>0)-[],goal_origin(pickqueen(1,3,4),5)-[(4>1)-[],(3 is 4-1)-[],goal_origin(pickqueen(1,3,3),4)-[(3>0)-[],goal_origin(q(1,3),10)-[(not negq(1,3))-[chs(q(1,3))-[]]]]],(not attack(1,3,[q(2,1),q(3,4),q(4,2)]))-[(not ('$VAR'('_')'| '{'$VAR'('_')∉[1]})is 2-1)-[],(1 is 2-1)-[],(not abs(1,'$VAR'('G')'| '{'$VAR'('G')∉[1]}))-[(1>=0)-[]],(1 is 2-1)-[],proved(abs(1,1))-[],(not ('$VAR'('_')'| '{'$VAR'('_')∉[-2]})is 1-3)-[],(1 is 2-1)-[],proved(abs(1,1))-[],(-2 is 1-3)-[],(not abs(-2,'$VAR'('B')'| '{'$VAR'('B')∉[-2,2]}))-[(-2<0)-[],(not ('$VAR'('B')'| '{'$VAR'('B')∉[-2,2]})is-2* -1)-[]],(1 is 2-1)-[],proved(abs(1,1))-[],(-2 is 1-3)-[],proved(not abs(-2,-2))-[],(1 is 2-1)-[],proved(abs(1,1))-[],(-2 is 1-3)-[],proved(abs(-2,2))-[],(not attack(1,3,[q(3,4),q(4,2)]))-[(not ('$VAR'('_')'| '{'$VAR'('_')∉[2]})is 3-1)-[],(2 is 3-1)-[],(not abs(2,'$VAR'('J')'| '{'$VAR'('J')∉[2]}))-[(2>=0)-[]],(2 is 3-1)-[],proved(abs(2,2))-[],(not ('$VAR'('_')'| '{'$VAR'('_')∉[1]})is 4-3)-[],(2 is 3-1)-[],proved(abs(2,2))-[],(1 is 4-3)-[],(not abs(1,'$VAR'('H')'| '{'$VAR'('H')∉[1]}))-[(1>=0)-[]],(2 is 3-1)-[],proved(abs(2,2))-[],(1 is 4-3)-[],proved(abs(1,1))-[],(not attack(1,3,[q(4,2)]))-[(not ('$VAR'('_')'| '{'$VAR'('_')∉[3]})is 4-1)-[],(3 is 4-1)-[],(not abs(3,'$VAR'('L')'| '{'$VAR'('L')∉[3]}))-[(3>=0)-[]],(3 is 4-1)-[],proved(abs(3,3))-[],(not ('$VAR'('_')'| '{'$VAR'('_')∉[-1]})is 2-3)-[],(3 is 4-1)-[],proved(abs(3,3))-[],(-1 is 2-3)-[],(not abs(-1,'$VAR'('C')'| '{'$VAR'('C')∉[-1,1]}))-[(-1<0)-[],(not ('$VAR'('C')'| '{'$VAR'('C')∉[-1,1]})is-1* -1)-[]],(3 is 4-1)-[],proved(abs(3,3))-[],(-1 is 2-3)-[],(not abs(-1,-1))-[(-1<0)-[],(-1<0)-[],(not-1 is -1* -1)-[]],(3 is 4-1)-[],proved(abs(3,3))-[],(-1 is 2-3)-[],goal_origin(abs(-1,1),13)-[(-1<0)-[],(1 is -1* -1)-[]],(not attack(1,3,[]))-[]]]],(0 is 1-1)-[],goal_origin(nqueens(0,4,[q(1,3),q(2,1),q(3,4),q(4,2)],[q(1,3),q(2,1),q(3,4),q(4,2)]),3)-[]]]]]]]]-[[not abs(-3,'$VAR'('A')'| '{'$VAR'('A')∉[-3,3]}),not abs(-3,-3),abs(-3,3),not abs(-1,'$VAR'('B')'| '{'$VAR'('B')∉[-1,1]}),not abs(-1,'$VAR'('C')'| '{'$VAR'('C')∉[-1,1]}),not abs(-1,-1),abs(-1,1),not abs(1,'$VAR'('D')'| '{'$VAR'('D')∉[1]}),not abs(1,'$VAR'('E')'| '{'$VAR'('E')∉[1]}),not abs(1,'$VAR'('F')'| '{'$VAR'('F')∉[1]}),not abs(1,'$VAR'('G')'| '{'$VAR'('G')∉[1]}),abs(1,1),not abs(2,'$VAR'('H')'| '{'$VAR'('H')∉[2]}),not abs(2,'$VAR'('I')'| '{'$VAR'('I')∉[2]}),not abs(2,'$VAR'('J')'| '{'$VAR'('J')∉[2]}),not abs(2,'$VAR'('K')'| '{'$VAR'('K')∉[2]}),abs(2,2),not abs(3,'$VAR'('L')'| '{'$VAR'('L')∉[3]}),abs(3,3),not negq(1,2),not negq(2,4),not negq(3,1),not negq(4,3),nqueens(4,[q(1,2),q(2,4),q(3,1),q(4,3)]),q(1,2),q(2,4),q(3,1),q(4,3),not attack(1,2,[]),not attack(1,2,[q(2,4),q(3,1),q(4,3)]),not attack(1,2,[q(3,1),q(4,3)]),not attack(1,2,[q(4,3)]),not attack(2,4,[]),not attack(2,4,[q(3,1),q(4,3)]),not attack(2,4,[q(4,3)]),not attack(3,1,[]),not attack(3,1,[q(4,3)]),not attack(4,3,[]),pickqueen(1,2,2),pickqueen(1,2,3),pickqueen(1,2,4),pickqueen(2,4,4),pickqueen(3,1,1),pickqueen(3,1,2),pickqueen(3,1,3),pickqueen(3,1,4),pickqueen(4,3,3),pickqueen(4,3,4),nqueens(0,4,[q(1,2),q(2,4),q(3,1),q(4,3)],[q(1,2),q(2,4),q(3,1),q(4,3)]),nqueens(1,4,[q(2,4),q(3,1),q(4,3)],[q(1,2),q(2,4),q(3,1),q(4,3)]),nqueens(2,4,[q(3,1),q(4,3)],[q(1,2),q(2,4),q(3,1),q(4,3)]),nqueens(3,4,[q(4,3)],[q(1,2),q(2,4),q(3,1),q(4,3)]),nqueens(4,4,[],[q(1,2),q(2,4),q(3,1),q(4,3)])],[not abs(-2,'$VAR'('A')'| '{'$VAR'('A')∉[-2,2]}),not abs(-2,'$VAR'('B')'| '{'$VAR'('B')∉[-2,2]}),not abs(-2,-2),abs(-2,2),not abs(-1,'$VAR'('C')'| '{'$VAR'('C')∉[-1,1]}),not abs(-1,-1),abs(-1,1),not abs(1,'$VAR'('D')'| '{'$VAR'('D')∉[1]}),not abs(1,'$VAR'('E')'| '{'$VAR'('E')∉[1]}),not abs(1,'$VAR'('F')'| '{'$VAR'('F')∉[1]}),not abs(1,'$VAR'('G')'| '{'$VAR'('G')∉[1]}),not abs(1,'$VAR'('H')'| '{'$VAR'('H')∉[1]}),abs(1,1),not abs(2,'$VAR'('I')'| '{'$VAR'('I')∉[2]}),not abs(2,'$VAR'('J')'| '{'$VAR'('J')∉[2]}),abs(2,2),not abs(3,'$VAR'('K')'| '{'$VAR'('K')∉[3]}),not abs(3,'$VAR'('L')'| '{'$VAR'('L')∉[3]}),abs(3,3),not negq(1,3),not negq(2,1),not negq(3,4),not negq(4,2),nqueens(4,[q(1,3),q(2,1),q(3,4),q(4,2)]),q(1,3),q(2,1),q(3,4),q(4,2),not attack(1,3,[]),not attack(1,3,[q(2,1),q(3,4),q(4,2)]),not attack(1,3,[q(3,4),q(4,2)]),not attack(1,3,[q(4,2)]),not attack(2,1,[]),not attack(2,1,[q(3,4),q(4,2)]),not attack(2,1,[q(4,2)]),not attack(3,4,[]),not attack(3,4,[q(4,2)]),not attack(4,2,[]),pickqueen(1,3,3),pickqueen(1,3,4),pickqueen(2,1,1),pickqueen(2,1,2),pickqueen(2,1,3),pickqueen(2,1,4),pickqueen(3,4,4),pickqueen(4,2,2),pickqueen(4,2,3),pickqueen(4,2,4),nqueens(0,4,[q(1,3),q(2,1),q(3,4),q(4,2)],[q(1,3),q(2,1),q(3,4),q(4,2)]),nqueens(1,4,[q(2,1),q(3,4),q(4,2)],[q(1,3),q(2,1),q(3,4),q(4,2)]),nqueens(2,4,[q(3,4),q(4,2)],[q(1,3),q(2,1),q(3,4),q(4,2)]),nqueens(3,4,[q(4,2)],[q(1,3),q(2,1),q(3,4),q(4,2)]),nqueens(4,4,[],[q(1,3),q(2,1),q(3,4),q(4,2)])]].