[test_scasp:query-[goal_origin(ancestor(bob,sam),32)-[goal_origin(parent(bob,jill),28)-[goal_origin(father(bob,jill),20)-[]],goal_origin(ancestor(jill,sam),31)-[goal_origin(parent(jill,sam),29)-[goal_origin(mother(jill,sam),27)-[]]]],o_nmr_check-[(not o_chk_1('$VAR'('A')))-[goal_origin(test2('$VAR'('A'),'$VAR'('E')'| '{'$VAR'('E')∉[1]}),3)-[(not test3('$VAR'('A')))-[goal_origin(test1('$VAR'('A')),2)-[]]],goal_origin(test2('$VAR'('A'),1),4)-[(not test3('$VAR'('A')))-[goal_origin(test1('$VAR'('A')),2)-[]]]],(not o_chk_2('$VAR'('B')))-[goal_origin(test1('$VAR'('B')),2)-[]],(not o_chk_3('$VAR'('_'),'$VAR'('_')'| '{'$VAR'('_')∉[1]}))-[],(not o_chk_3('$VAR'('C'),1))-[(not test3('$VAR'('C')))-[goal_origin(test1('$VAR'('C')),2)-[]],goal_origin(test2('$VAR'('C'),1),4)-[(not test3('$VAR'('C')))-[goal_origin(test1('$VAR'('C')),2)-[]]]],(not o_chk_4('$VAR'('_'),1))-[],(not o_chk_4('$VAR'('D'),'$VAR'('F')'| '{'$VAR'('F')∉[1]}))-[(not test3('$VAR'('D')))-[goal_origin(test1('$VAR'('D')),2)-[]],goal_origin(test2('$VAR'('D'),'$VAR'('F')'| '{'$VAR'('F')∉[1]}),3)-[(not test3('$VAR'('D')))-[goal_origin(test1('$VAR'('D')),2)-[]]]]]]]-[[test1('$VAR'('A')),test1('$VAR'('B')),test1('$VAR'('C')),test1('$VAR'('D')),not test3('$VAR'('A')),not test3('$VAR'('C')),not test3('$VAR'('D')),ancestor(bob,sam),ancestor(jill,sam),father(bob,jill),mother(jill,sam),parent(bob,jill),parent(jill,sam),test2('$VAR'('A'),'$VAR'('E')'| '{'$VAR'('E')∉[1]}),test2('$VAR'('A'),1),test2('$VAR'('C'),1),test2('$VAR'('D'),'$VAR'('F')'| '{'$VAR'('F')∉[1]})]].