[test_scasp:query-[goal_origin(flies(tweety),12)-[goal_origin(bird(tweety),6)-[],(not ab(tweety))-[(not penguin(tweety))-[],(not wounded_bird(tweety))-[]]],o_nmr_check-[(not o_chk_1)-[(not-flies(tweety))-[(not ab(tweety))-[(not penguin(tweety))-[],(not wounded_bird(tweety))-[]],(not-bird(tweety))-[goal_origin(bird(tweety),6)-[]]],goal_origin(-flies(sam),14)-[goal_origin(ab(sam),9)-[goal_origin(penguin(sam),2)-[]]],(not flies(sam))-[(not bird(sam))-[(not penguin(sam,'$VAR'('_')))-[],(not wounded_bird(sam))-[]]],goal_origin(-flies(john),14)-[goal_origin(ab(john),10)-[goal_origin(wounded_bird(john),4)-[]]],(not flies(john))-[goal_origin(bird(john),8)-[proved(wounded_bird(john))-[]],proved(ab(john))-[]],goal_origin(-flies('$VAR'('B')'| '{'$VAR'('B')∉[john,sam,tweety]}),15)-[goal_origin(-bird('$VAR'('B')'| '{'$VAR'('B')∉[john,sam,tweety]}),17)-[(not bird('$VAR'('B')'| '{'$VAR'('B')∉[john,sam,tweety]}))-[(not penguin('$VAR'('B')'| '{'$VAR'('B')∉[john,sam,tweety]},'$VAR'('_')))-[],(not wounded_bird('$VAR'('B')'| '{'$VAR'('B')∉[john,sam,tweety]}))-[]]]],(not flies('$VAR'('B')'| '{'$VAR'('B')∉[john,sam,tweety]}))-[(not bird('$VAR'('B')'| '{'$VAR'('B')∉[john,sam,tweety]}))-[(not penguin('$VAR'('B')'| '{'$VAR'('B')∉[john,sam,tweety]},'$VAR'('_')))-[],(not wounded_bird('$VAR'('B')'| '{'$VAR'('B')∉[john,sam,tweety]}))-[]]]],(not o_chk_2)-[(not-bird(john))-[proved(bird(john))-[]],(not-bird(tweety))-[goal_origin(bird(tweety),6)-[]],goal_origin(-bird('$VAR'('C')'| '{'$VAR'('C')∉[john,tweety]}),17)-[(not bird('$VAR'('C')'| '{'$VAR'('C')∉[john,tweety]}))-[(not penguin('$VAR'('C')'| '{'$VAR'('C')∉[john,tweety]},'$VAR'('_')))-[],(not wounded_bird('$VAR'('C')'| '{'$VAR'('C')∉[john,tweety]}))-[]]],(not bird('$VAR'('C')'| '{'$VAR'('C')∉[john,tweety]}))-[(not penguin('$VAR'('C')'| '{'$VAR'('C')∉[john,tweety]},'$VAR'('_')))-[],(not wounded_bird('$VAR'('C')'| '{'$VAR'('C')∉[john,tweety]}))-[]]],(not o_chk_3)-[(not-wounded_bird(john))-[goal_origin(wounded_bird(john),4)-[]],goal_origin(-wounded_bird('$VAR'('E')'| '{'$VAR'('E')∉[john]}),16)-[(not wounded_bird('$VAR'('E')'| '{'$VAR'('E')∉[john]}))-[]],(not wounded_bird('$VAR'('E')'| '{'$VAR'('E')∉[john]}))-[]],(not o_chk_4)-[(not-penguin(sam))-[goal_origin(penguin(sam),2)-[]],goal_origin(-penguin('$VAR'('D')'| '{'$VAR'('D')∉[sam]}),18)-[(not penguin('$VAR'('D')'| '{'$VAR'('D')∉[sam]}))-[]],(not penguin('$VAR'('D')'| '{'$VAR'('D')∉[sam]}))-[]],(not o_chk_5)-[(not-ab(sam))-[goal_origin(ab(sam),9)-[goal_origin(penguin(sam),2)-[]]],(not-ab(john))-[goal_origin(ab(john),10)-[goal_origin(wounded_bird(john),4)-[]]],goal_origin(-ab('$VAR'('A')'| '{'$VAR'('A')∉[john,sam]}),19)-[(not ab('$VAR'('A')'| '{'$VAR'('A')∉[john,sam]}))-[(not penguin('$VAR'('A')'| '{'$VAR'('A')∉[john,sam]}))-[],(not wounded_bird('$VAR'('A')'| '{'$VAR'('A')∉[john,sam]}))-[]]],(not ab('$VAR'('A')'| '{'$VAR'('A')∉[john,sam]}))-[(not penguin('$VAR'('A')'| '{'$VAR'('A')∉[john,sam]}))-[],(not wounded_bird('$VAR'('A')'| '{'$VAR'('A')∉[john,sam]}))-[]]]]]]-[[-ab('$VAR'('A')'| '{'$VAR'('A')∉[john,sam]}),ab(john),ab(sam),not ab(tweety),-bird('$VAR'('B')'| '{'$VAR'('B')∉[john,sam,tweety]}),-bird('$VAR'('C')'| '{'$VAR'('C')∉[john,tweety]}),bird(john),not bird(sam),bird(tweety),-flies('$VAR'('B')'| '{'$VAR'('B')∉[john,sam,tweety]}),-flies(john),-flies(sam),flies(tweety),-penguin('$VAR'('D')'| '{'$VAR'('D')∉[sam]}),not penguin('$VAR'('A')'| '{'$VAR'('A')∉[john,sam]}),penguin(sam),not penguin(tweety),not wounded_bird('$VAR'('B')'| '{'$VAR'('B')∉[john,sam,tweety]}),not wounded_bird('$VAR'('C')'| '{'$VAR'('C')∉[john,tweety]}),-wounded_bird('$VAR'('E')'| '{'$VAR'('E')∉[john]}),not wounded_bird('$VAR'('A')'| '{'$VAR'('A')∉[john,sam]}),wounded_bird(john),not wounded_bird(sam),not wounded_bird(tweety)]].