[test_scasp:query-[goal_origin(chosen(1,2),11)-[goal_origin(edge(1,2),5)-[],(not other(1,2))-[goal_origin(vertex(1),2)-[],goal_origin(vertex(2),3)-[],(not vertex('$VAR'('A')'| '{'$VAR'('A')∉[0,1,2]}))-[],proved(vertex(1))-[],proved(vertex(2))-[],goal_origin(vertex(0),1)-[],(not edge(1,0))-[],proved(vertex(1))-[],proved(vertex(2))-[],proved(vertex(1))-[],(not edge(1,1))-[],proved(vertex(1))-[],proved(vertex(2))-[],proved(vertex(2))-[],proved(edge(1,2))-[]]],o_nmr_check-[(not o_chk_1)-[(not vertex('$VAR'('B')'| '{'$VAR'('B')∉[0,1,2]}))-[],proved(vertex(0))-[],goal_origin(reachable(0),8)-[goal_origin(chosen(2,0),11)-[goal_origin(edge(2,0),6)-[],(not other(2,0))-[proved(vertex(2))-[],proved(vertex(0))-[],(not vertex('$VAR'('C')'| '{'$VAR'('C')∉[0,1,2]}))-[],proved(vertex(2))-[],proved(vertex(0))-[],proved(vertex(0))-[],proved(edge(2,0))-[],proved(vertex(2))-[],proved(vertex(0))-[],proved(vertex(1))-[],(not edge(2,1))-[],proved(vertex(2))-[],proved(vertex(0))-[],proved(vertex(2))-[],(not edge(2,2))-[]]]],proved(vertex(1))-[],goal_origin(reachable(1),7)-[goal_origin(chosen(0,1),11)-[goal_origin(edge(0,1),4)-[],(not other(0,1))-[proved(vertex(0))-[],proved(vertex(1))-[],(not vertex('$VAR'('D')'| '{'$VAR'('D')∉[0,1,2]}))-[],proved(vertex(0))-[],proved(vertex(1))-[],proved(vertex(0))-[],(not edge(0,0))-[],proved(vertex(0))-[],proved(vertex(1))-[],proved(vertex(1))-[],proved(edge(0,1))-[],proved(vertex(0))-[],proved(vertex(1))-[],proved(vertex(2))-[],(not edge(0,2))-[]]],proved(reachable(0))-[]],proved(vertex(2))-[],goal_origin(reachable(2),7)-[goal_origin(chosen(1,2),11)-[goal_origin(edge(1,2),5)-[],proved(not other(1,2))-[]],proved(reachable(1))-[]]],(not o_chk_2)-[(not chosen('$VAR'('R')'| '{'$VAR'('R')∉[0,1,2]},'$VAR'('S')))-[(not edge('$VAR'('R')'| '{'$VAR'('R')∉[0,1,2]},'$VAR'('S')))-[]],(not chosen(0,'$VAR'('W')'| '{'$VAR'('W')∉[1]}))-[(not edge(0,'$VAR'('W')'| '{'$VAR'('W')∉[1]}))-[]],proved(chosen(0,1))-[],(not chosen('$VAR'('T')'| '{'$VAR'('T')∉[0,1,2]},1))-[(not edge('$VAR'('T')'| '{'$VAR'('T')∉[0,1,2]},1))-[]],proved(chosen(0,1))-[],proved(chosen(0,1))-[],proved(chosen(0,1))-[],(not chosen(1,1))-[proved(not edge(1,1))-[]],proved(chosen(0,1))-[],(not chosen(2,1))-[proved(not edge(2,1))-[]],(not chosen(1,'$VAR'('X')'| '{'$VAR'('X')∉[2]}))-[(not edge(1,'$VAR'('X')'| '{'$VAR'('X')∉[2]}))-[]],proved(chosen(1,2))-[],(not chosen('$VAR'('U')'| '{'$VAR'('U')∉[0,1,2]},2))-[(not edge('$VAR'('U')'| '{'$VAR'('U')∉[0,1,2]},2))-[]],proved(chosen(1,2))-[],(not chosen(0,2))-[proved(not edge(0,2))-[]],proved(chosen(1,2))-[],proved(chosen(1,2))-[],proved(chosen(1,2))-[],(not chosen(2,2))-[proved(not edge(2,2))-[]],(not chosen(2,'$VAR'('Y')'| '{'$VAR'('Y')∉[0]}))-[(not edge(2,'$VAR'('Y')'| '{'$VAR'('Y')∉[0]}))-[]],proved(chosen(2,0))-[],(not chosen('$VAR'('V')'| '{'$VAR'('V')∉[0,1,2]},0))-[(not edge('$VAR'('V')'| '{'$VAR'('V')∉[0,1,2]},0))-[]],proved(chosen(2,0))-[],(not chosen(0,0))-[proved(not edge(0,0))-[]],proved(chosen(2,0))-[],(not chosen(1,0))-[proved(not edge(1,0))-[]],proved(chosen(2,0))-[],proved(chosen(2,0))-[]],(not o_chk_3('$VAR'('Z')'| '{'$VAR'('Z')∉[0,1,2]},'$VAR'('A1')))-[(not edge('$VAR'('Z')'| '{'$VAR'('Z')∉[0,1,2]},'$VAR'('A1')))-[]],(not o_chk_3(0,'$VAR'('B1')'| '{'$VAR'('B1')∉[1]}))-[(not edge(0,'$VAR'('B1')'| '{'$VAR'('B1')∉[1]}))-[]],(not o_chk_3(0,1))-[proved(edge(0,1))-[],proved(not other(0,1))-[],proved(chosen(0,1))-[]],(not o_chk_3(1,'$VAR'('C1')'| '{'$VAR'('C1')∉[2]}))-[(not edge(1,'$VAR'('C1')'| '{'$VAR'('C1')∉[2]}))-[]],(not o_chk_3(1,2))-[proved(edge(1,2))-[],proved(not other(1,2))-[],proved(chosen(1,2))-[]],(not o_chk_3(2,'$VAR'('D1')'| '{'$VAR'('D1')∉[0]}))-[(not edge(2,'$VAR'('D1')'| '{'$VAR'('D1')∉[0]}))-[]],(not o_chk_3(2,0))-[proved(edge(2,0))-[],proved(not other(2,0))-[],proved(chosen(2,0))-[]],(not o_chk_4('$VAR'('E')'| '{'$VAR'('E')∉[0,1,2]},'$VAR'('_')))-[(not vertex('$VAR'('E')'| '{'$VAR'('E')∉[0,1,2]}))-[]],(not o_chk_4(0,'$VAR'('F')'| '{'$VAR'('F')∉[0,1,2]}))-[proved(vertex(0))-[],(not vertex('$VAR'('F')'| '{'$VAR'('F')∉[0,1,2]}))-[]],(not o_chk_4(0,0))-[proved(vertex(0))-[],proved(vertex(0))-[],(not vertex('$VAR'('G')'| '{'$VAR'('G')∉[0,1,2]}))-[],proved(vertex(0))-[],proved(vertex(0))-[],proved(vertex(0))-[],proved(not edge(0,0))-[],proved(vertex(0))-[],proved(vertex(0))-[],proved(vertex(1))-[],proved(edge(0,1))-[],proved(chosen(0,1))-[],goal_origin(other(0,0),10)-[proved(vertex(0))-[],proved(vertex(0))-[],goal_origin(vertex(1),2)-[],proved(edge(0,1))-[],proved(chosen(0,1))-[]],proved(vertex(0))-[],proved(vertex(0))-[],proved(vertex(2))-[],proved(not edge(0,2))-[]],(not o_chk_4(0,1))-[proved(vertex(0))-[],proved(vertex(1))-[],(not vertex('$VAR'('H')'| '{'$VAR'('H')∉[0,1,2]}))-[],proved(vertex(0))-[],proved(vertex(1))-[],proved(vertex(0))-[],proved(not edge(0,0))-[],proved(vertex(0))-[],proved(vertex(1))-[],proved(vertex(1))-[],proved(edge(0,1))-[],proved(vertex(0))-[],proved(vertex(1))-[],proved(vertex(2))-[],proved(not edge(0,2))-[]],(not o_chk_4(0,2))-[proved(vertex(0))-[],proved(vertex(2))-[],(not vertex('$VAR'('I')'| '{'$VAR'('I')∉[0,1,2]}))-[],proved(vertex(0))-[],proved(vertex(2))-[],proved(vertex(0))-[],proved(not edge(0,0))-[],proved(vertex(0))-[],proved(vertex(2))-[],proved(vertex(1))-[],proved(edge(0,1))-[],proved(chosen(0,1))-[],goal_origin(other(0,2),10)-[proved(vertex(0))-[],proved(vertex(2))-[],goal_origin(vertex(1),2)-[],proved(edge(0,1))-[],proved(chosen(0,1))-[]],proved(vertex(0))-[],proved(vertex(2))-[],proved(vertex(2))-[],proved(not edge(0,2))-[]],(not o_chk_4(1,'$VAR'('J')'| '{'$VAR'('J')∉[0,1,2]}))-[proved(vertex(1))-[],(not vertex('$VAR'('J')'| '{'$VAR'('J')∉[0,1,2]}))-[]],(not o_chk_4(1,0))-[proved(vertex(1))-[],proved(vertex(0))-[],(not vertex('$VAR'('K')'| '{'$VAR'('K')∉[0,1,2]}))-[],proved(vertex(1))-[],proved(vertex(0))-[],proved(vertex(0))-[],proved(not edge(1,0))-[],proved(vertex(1))-[],proved(vertex(0))-[],proved(vertex(1))-[],proved(not edge(1,1))-[],proved(vertex(1))-[],proved(vertex(0))-[],proved(vertex(2))-[],proved(edge(1,2))-[],proved(chosen(1,2))-[],goal_origin(other(1,0),10)-[proved(vertex(1))-[],proved(vertex(0))-[],goal_origin(vertex(2),3)-[],proved(edge(1,2))-[],proved(chosen(1,2))-[]]],(not o_chk_4(1,1))-[proved(vertex(1))-[],proved(vertex(1))-[],(not vertex('$VAR'('L')'| '{'$VAR'('L')∉[0,1,2]}))-[],proved(vertex(1))-[],proved(vertex(1))-[],proved(vertex(0))-[],proved(not edge(1,0))-[],proved(vertex(1))-[],proved(vertex(1))-[],proved(vertex(1))-[],proved(not edge(1,1))-[],proved(vertex(1))-[],proved(vertex(1))-[],proved(vertex(2))-[],proved(edge(1,2))-[],proved(chosen(1,2))-[],goal_origin(other(1,1),10)-[proved(vertex(1))-[],proved(vertex(1))-[],goal_origin(vertex(2),3)-[],proved(edge(1,2))-[],proved(chosen(1,2))-[]]],(not o_chk_4(1,2))-[proved(vertex(1))-[],proved(vertex(2))-[],(not vertex('$VAR'('M')'| '{'$VAR'('M')∉[0,1,2]}))-[],proved(vertex(1))-[],proved(vertex(2))-[],proved(vertex(0))-[],proved(not edge(1,0))-[],proved(vertex(1))-[],proved(vertex(2))-[],proved(vertex(1))-[],proved(not edge(1,1))-[],proved(vertex(1))-[],proved(vertex(2))-[],proved(vertex(2))-[],proved(edge(1,2))-[]],(not o_chk_4(2,'$VAR'('N')'| '{'$VAR'('N')∉[0,1,2]}))-[proved(vertex(2))-[],(not vertex('$VAR'('N')'| '{'$VAR'('N')∉[0,1,2]}))-[]],(not o_chk_4(2,0))-[proved(vertex(2))-[],proved(vertex(0))-[],(not vertex('$VAR'('O')'| '{'$VAR'('O')∉[0,1,2]}))-[],proved(vertex(2))-[],proved(vertex(0))-[],proved(vertex(0))-[],proved(edge(2,0))-[],proved(vertex(2))-[],proved(vertex(0))-[],proved(vertex(1))-[],proved(not edge(2,1))-[],proved(vertex(2))-[],proved(vertex(0))-[],proved(vertex(2))-[],proved(not edge(2,2))-[]],(not o_chk_4(2,1))-[proved(vertex(2))-[],proved(vertex(1))-[],(not vertex('$VAR'('P')'| '{'$VAR'('P')∉[0,1,2]}))-[],proved(vertex(2))-[],proved(vertex(1))-[],proved(vertex(0))-[],proved(edge(2,0))-[],proved(chosen(2,0))-[],goal_origin(other(2,1),10)-[proved(vertex(2))-[],proved(vertex(1))-[],goal_origin(vertex(0),1)-[],proved(edge(2,0))-[],proved(chosen(2,0))-[]],proved(vertex(2))-[],proved(vertex(1))-[],proved(vertex(1))-[],proved(not edge(2,1))-[],proved(vertex(2))-[],proved(vertex(1))-[],proved(vertex(2))-[],proved(not edge(2,2))-[]],(not o_chk_4(2,2))-[proved(vertex(2))-[],proved(vertex(2))-[],(not vertex('$VAR'('Q')'| '{'$VAR'('Q')∉[0,1,2]}))-[],proved(vertex(2))-[],proved(vertex(2))-[],proved(vertex(0))-[],proved(edge(2,0))-[],proved(chosen(2,0))-[],goal_origin(other(2,2),10)-[proved(vertex(2))-[],proved(vertex(2))-[],goal_origin(vertex(0),1)-[],proved(edge(2,0))-[],proved(chosen(2,0))-[]],proved(vertex(2))-[],proved(vertex(2))-[],proved(vertex(1))-[],proved(not edge(2,1))-[],proved(vertex(2))-[],proved(vertex(2))-[],proved(vertex(2))-[],proved(not edge(2,2))-[]]]]]-[[reachable(0),reachable(1),reachable(2),not vertex('$VAR'('A')'| '{'$VAR'('A')∉[0,1,2]}),not vertex('$VAR'('B')'| '{'$VAR'('B')∉[0,1,2]}),not vertex('$VAR'('C')'| '{'$VAR'('C')∉[0,1,2]}),not vertex('$VAR'('D')'| '{'$VAR'('D')∉[0,1,2]}),not vertex('$VAR'('E')'| '{'$VAR'('E')∉[0,1,2]}),not vertex('$VAR'('F')'| '{'$VAR'('F')∉[0,1,2]}),not vertex('$VAR'('G')'| '{'$VAR'('G')∉[0,1,2]}),not vertex('$VAR'('H')'| '{'$VAR'('H')∉[0,1,2]}),not vertex('$VAR'('I')'| '{'$VAR'('I')∉[0,1,2]}),not vertex('$VAR'('J')'| '{'$VAR'('J')∉[0,1,2]}),not vertex('$VAR'('K')'| '{'$VAR'('K')∉[0,1,2]}),not vertex('$VAR'('L')'| '{'$VAR'('L')∉[0,1,2]}),not vertex('$VAR'('M')'| '{'$VAR'('M')∉[0,1,2]}),not vertex('$VAR'('N')'| '{'$VAR'('N')∉[0,1,2]}),not vertex('$VAR'('O')'| '{'$VAR'('O')∉[0,1,2]}),not vertex('$VAR'('P')'| '{'$VAR'('P')∉[0,1,2]}),not vertex('$VAR'('Q')'| '{'$VAR'('Q')∉[0,1,2]}),vertex(0),vertex(1),vertex(2),not chosen('$VAR'('R')'| '{'$VAR'('R')∉[0,1,2]},'$VAR'('S')),not chosen('$VAR'('T')'| '{'$VAR'('T')∉[0,1,2]},1),not chosen('$VAR'('U')'| '{'$VAR'('U')∉[0,1,2]},2),not chosen('$VAR'('V')'| '{'$VAR'('V')∉[0,1,2]},0),not chosen(0,'$VAR'('W')'| '{'$VAR'('W')∉[1]}),not chosen(0,0),chosen(0,1),not chosen(0,2),not chosen(1,'$VAR'('X')'| '{'$VAR'('X')∉[2]}),not chosen(1,0),not chosen(1,1),chosen(1,2),not chosen(2,'$VAR'('Y')'| '{'$VAR'('Y')∉[0]}),chosen(2,0),not chosen(2,1),not chosen(2,2),not edge('$VAR'('R')'| '{'$VAR'('R')∉[0,1,2]},'$VAR'('S')),not edge('$VAR'('T')'| '{'$VAR'('T')∉[0,1,2]},1),not edge('$VAR'('U')'| '{'$VAR'('U')∉[0,1,2]},2),not edge('$VAR'('V')'| '{'$VAR'('V')∉[0,1,2]},0),not edge('$VAR'('Z')'| '{'$VAR'('Z')∉[0,1,2]},'$VAR'('A1')),not edge(0,'$VAR'('W')'| '{'$VAR'('W')∉[1]}),not edge(0,'$VAR'('B1')'| '{'$VAR'('B1')∉[1]}),not edge(0,0),edge(0,1),not edge(0,2),not edge(1,'$VAR'('X')'| '{'$VAR'('X')∉[2]}),not edge(1,'$VAR'('C1')'| '{'$VAR'('C1')∉[2]}),not edge(1,0),not edge(1,1),edge(1,2),not edge(2,'$VAR'('Y')'| '{'$VAR'('Y')∉[0]}),not edge(2,'$VAR'('D1')'| '{'$VAR'('D1')∉[0]}),edge(2,0),not edge(2,1),not edge(2,2),other(0,0),not other(0,1),other(0,2),other(1,0),other(1,1),not other(1,2),not other(2,0),other(2,1),other(2,2)]].