logicmoo_workspace
logicmoo_workspace copied to clipboard
Published
20 hours ago •
logicmoo
logicmoo
logicmoo.base.examples.fol.SANITY_AT_LEAST_MOST_EXACTLY_01 JUnit
trafficstars
(cd /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['sanity_at_least_most_exactly_01.pfc.pl']")
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/SANITY_AT_LEAST_MOST_EXACTLY_01/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ASANITY_AT_LEAST_MOST_EXACTLY_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/420
%~ init_phase(after_load)
%~ init_phase(restore_state)
%
%~ init_why(after_boot,program)
%~ after_boot.
%~ Dont forget to ?- logicmoo_i_cyc_xform.
running('/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl'),
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))
:- cls.
%:- module(t123).
%:- '$set_source_module'(t123).
/*~
%~ skipped(messy_on_output,cls)
~*/
%:- module(t123).
%:- '$set_source_module'(t123).
:- set_prolog_flag(logicmoo_modality,full).
/*~
~*/
:- use_module(library(script_files)).
% :- process_this_script.
/*~
~*/
% :- process_this_script.
:- statistics.
/*~
% Started at Sat Sep 25 22:54:25 2021
% 1.156 seconds cpu time for 2,336,552 inferences
% 942,433 atoms, 32,345 functors, 31,563 predicates, 751 modules, 15,990,363 VM-codes
%
% Limit Allocated In use
% Local stack: - 52 Kb 3,920 b
% Global stack: - 256 Kb 179 Kb
% Trail stack: - 66 Kb 1,136 b
% Total: 1,024 Mb 374 Kb 184 Kb
%
% 5 garbage collections gained 465,192 bytes in 0.000 seconds.
% 5 atom garbage collections gained 2,604 atoms in 0.082 seconds.
% 9 clause garbage collections gained 1,742 clauses in 0.000 seconds.
% Stack shifts: 1 local, 2 global, 1 trail in 0.000 seconds
% 3 threads, 0 finished threads used 0.000 seconds
~*/
subtest([subtest_assert(tHuman(joe)),
mpred_test(isa(_,tHeart))]).
/*~
%~ debugm( baseKB,
%~ show_success( baseKB,
%~ baseKB : ain( clif( subtest( [ subtest_assert( tHuman(joe)),
%~ mpred_test( tHeart(Heart4))])))))
% xgrun compiled into parser_chat80 0.00 sec, 0 clauses
% xgproc compiled into parser_chat80 0.02 sec, 0 clauses
** Grammar from file /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/clone.xg: 214 words .. **
** Grammar from file /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/lex.xg: -254 words .. **
% chatops compiled into parser_chat80 0.00 sec, 0 clauses
% chatops compiled into parser_chat80 0.00 sec, 0 clauses
% :- share_mfa_pt2(parser_chat80,test_chat80,1).
% :- share_mfa_pt2(parser_chat80,hi80,0).
% :- share_mfa_pt2(parser_chat80,hi80,1).
% :- share_mfa_pt2(parser_chat80,control80,1).
% :- share_mfa_pt2(parser_chat80,trace_chat80,1).
% /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/load compiled into parser_chat80 2.71 sec, 3 clauses
% /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/debuggery/dmsg compiled into dmsg 0.15 sec, -16 clauses
=======================================================
subtest('[|]'(subtest_assert(tHuman(joe)),'[|]'(mpred_test(tHeart('$VAR'('Heart4'))),[])))
============================================
?- kif_to_boxlog( subtest([subtest_assert(tHuman(joe)),mpred_test(tHeart(Heart4))]) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ joe isa tHuman isa subtest_assert ?Heart4 isa tHeart isa mpred_test isa subtest
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(subtest('[|]'(subtest_assert(tHuman(joe)),'[|]'(mpred_test(tHeart('$VAR'('Heart4'))),[]))))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(subtest([subtest_assert(tHuman(joe)),mpred_test(tHeart(Heart4))])).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that joe isa tHuman isa subtest_assert ?Heart4 isa tHeart isa mpred_test isa subtest
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( subtest( [ subtest_assert( tHuman(joe)),
mpred_test( tHeart(Heart4))])).
============================================
~*/
subtest([subtest_assert(tHuman(joe)),
mpred_test(hasOrgan(joe,_))]).
/*~
%~ debugm( baseKB,
%~ show_success( baseKB,
%~ baseKB : ain( clif( subtest( [ subtest_assert( tHuman(joe)),
%~ mpred_test( hasOrgan(joe,HasOrgan_Joe4))])))))
=======================================================
subtest('[|]'(subtest_assert(tHuman(joe)),'[|]'(mpred_test(hasOrgan(joe,'$VAR'('HasOrgan_Joe4'))),[])))
============================================
?- kif_to_boxlog( subtest([subtest_assert(tHuman(joe)),mpred_test(hasOrgan(joe,HasOrgan_Joe4))]) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ joe isa tHuman isa subtest_assert joe hasOrgan ?HasOrgan_Joe4 isa mpred_test isa subtest
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(subtest('[|]'(subtest_assert(tHuman(joe)),'[|]'(mpred_test(hasOrgan(joe,'$VAR'('HasOrgan_Joe4'))),[]))))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(subtest([subtest_assert(tHuman(joe)),mpred_test(hasOrgan(joe,HasOrgan_Joe4))])).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that joe isa tHuman isa subtest_assert joe hasOrgan ?HasOrgan_Joe4 isa mpred_test isa subtest
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( subtest( [ subtest_assert( tHuman(joe)),
mpred_test( hasOrgan(joe,HasOrgan_Joe4))])).
============================================
~*/
subtest([subtest_assert(tHeart(_)),
mpred_test(~hasOrgan(jack,_))]).
/*~
%~ debugm( baseKB,
%~ show_success( baseKB,
%~ baseKB : ain( clif( subtest( [ subtest_assert( tHeart(Heart7)),
%~ mpred_test( ~( hasOrgan(jack,HasOrgan_Jack5)))])))))
=======================================================
subtest('[|]'(subtest_assert(tHeart('$VAR'('Heart7'))),'[|]'(mpred_test(~(hasOrgan(jack,'$VAR'('HasOrgan_Jack5')))),[])))
============================================
?- kif_to_boxlog( subtest([subtest_assert(tHeart(Heart7)),mpred_test(~hasOrgan(jack,HasOrgan_Jack5))]) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ ?Heart7 isa tHeart isa subtest_assert jack hasOrgan ?HasOrgan_Jack5 isa ~ isa mpred_test isa subtest
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(subtest('[|]'(subtest_assert(tHeart('$VAR'('Heart7'))),'[|]'(mpred_test(not(hasOrgan(jack,'$VAR'('HasOrgan_Jack5')))),[]))))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(subtest([subtest_assert(tHeart(Heart7)),mpred_test(~hasOrgan(jack,HasOrgan_Jack5))])).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that ?Heart7 isa tHeart isa subtest_assert jack hasOrgan ?HasOrgan_Jack5 isa ~ isa mpred_test isa subtest
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( subtest( [ subtest_assert( tHeart(Heart7)),
mpred_test( ~( hasOrgan(jack,HasOrgan_Jack5)))])).
============================================
~*/
:- ain(tHuman(iBob)).
/*~
~*/
testable_quants(X,Fml,Q,Name):-member(QF,[exactly,atmost,atleast]),member(QN,[0,1,2,3,5,10]),Q=..[QF,QN,X,Fml],atom_concat(QF,QN,Name).
/*~
~*/
testable_quants(X,Fml,Q,Name):-member(QF,[all,exists]),Q=..[QF,X,Fml],atom_concat(QF,'1',Name).
/*~
~*/
testable_quants(X,Fml,~Q,Name):-member(QF,[all,exists]),Q=..[QF,X,Fml],atom_concat(QF,'0',Name).
/*~
~*/
:- add_test(exactly3, (all([[Human,tHuman]],exactly(3,[[E3ye,tEye]],hasEye(Human,E3ye))))).
/*~
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ test_boxlog(exactly3)
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl:38
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ kif_to_boxlog_attvars2 = forall('$VAR'('Human'),necessary(=>(isa('$VAR'('Human'),tHuman),quant(exactly(3),'$VAR'('E3ye'),and(hasEye('$VAR'('Human'),'$VAR'('E3ye')),isa('$VAR'('E3ye'),tEye))))))
%~ w_o_c(
%~ error = error(uninstantiation_error(E3ye),context(put_attr/3,'1-st argument')),
%~ baseKB : kif_to_boxlog(
%~ all(
%~ [ [Human,tHuman]],
%~ exactly(3,[[E3ye,tEye]],hasEye(Human,E3ye))), KB,rule4:0,_726))
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl#L38
(0)$[system] '$c_call_prolog'. no(clause)
(1)$[$toplevel] '$toplevel'. % toplevel.pl:701:
(2)$[$toplevel] '$runtoplevel'. % toplevel.pl:713:
(10)$[system] '$load_file'('sanity_at_least_most_exactly_01.pfc.pl',user,'<gt;garbage_collected>'). % init.pl:2353:
(13)$[system]# '$sig_atomic'(setup_call_cleanup(with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl ',<gt;clause>(0x560e5ff4f100),[expand(false),expand(true)])),'$mt_do_load'(<gt;clause>(0x560e5ff4f100),'sanity_at_least_most_exactly_01.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl ',user,[expand(false),expand(true)]),'$mt_end_load'(<gt;clause>(0x560e5ff4f100)))). no(clause)
(14)$[system] '$c_call_prolog'. no(clause)
(16)$[system]# setup_call_catcher_cleanup(system:with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl ',<gt;clause>(0x560e5ff4f100),[expand(false),expand(true)])),system:'$mt_do_load'(<gt;clause>(0x560e5ff4f100),'sanity_at_least_most_exactly_01.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'(<gt;clause>(0x560e5ff4f100))). % init.pl:646:
(18)$[system]# '$qdo_load_file'('sanity_at_least_most_exactly_01.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl ',user,[expand(false),expand(true)]). % init.pl:2546:
(21)<gt;*>$[system]# '$do_load_file_2'('sanity_at_least_most_exactly_01.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl ',user,compiled,[expand(false),expand(true)]). % init.pl:2592:
(25)$[system]# setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl ',1632225668.73294),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl ',A,[expand(false),expand(true)]),B,system:'$end_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl ',lexstate(202,swi),user)). % init.pl:646:
(26)<gt;*>$[system]# '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl ',A,[expand(false),expand(true)]). % init.pl:3007:
(27)$[system]# '$compile_term'('<gt;garbage_collected>','<gt;garbage_collected>','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl '). % init.pl:3074:
(28)$[system]# '$compile_term'('<gt;garbage_collected>','<gt;garbage_collected>','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl ',-). % init.pl:3084:
(29)$[system]# '$execute_directive'('<gt;garbage_collected>','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl '). % init.pl:3549:
(30)$[system]# '$execute_directive_2'('<gt;garbage_collected>','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl '). % init.pl:3571:
(31)<gt;*>$[system] '$execute_directive_3'(add_test(exactly3,all([[A,tHuman]],exactly(3,[[B,tEye]],hasEye(A,B))))). % init.pl:3574:
(32)$[system] catch(baseKB:add_test(exactly3,all([[A,tHuman]],exactly(3,[[B,tEye]],hasEye(A,B)))),error(C,D),system:'$exception_in_directive'(error(C,D))). % init.pl:546:
(33)[baseKB] common_logic_sanity:add_test(exactly3,'<gt;garbage_collected>'). % common_logic_sanity.pl:271:
(34)[baseKB] common_logic_sanity:test_boxlog('<gt;garbage_collected>'). % common_logic_sanity.pl:136:
(35)[baseKB] common_logic_sanity:test_boxlog([],'<gt;garbage_collected>'). % common_logic_sanity.pl:143:
(36)[baseKB] locally_each:locally_tl('<gt;garbage_collected>','<gt;garbage_collected>'). % redo_locally.pl:151:
(37)[locally_each] locally_each:locally('<gt;garbage_collected>','<gt;garbage_collected>'). % redo_locally.pl:149:
(38)$[locally_each] locally_each:wtl(t_l,'<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % redo_locally.pl:199:
(39)$[locally_each] locally_each:wtl(t_l,'<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % redo_locally.pl:204:
(40)$[locally_each] locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % redo_locally.pl:217:
(41)$[each_call_cleanup] each_call_cleanup:each_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % each_call.pl:147:
(42)$[each_call_cleanup] each_call_cleanup:trusted_redo_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % each_call.pl:116:
(43)$[system] setup_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % init.pl:650:
(44)$[system]# setup_call_catcher_cleanup(locally_each:key_asserta(t_l,t_l:kif_option_list([])),each_call_cleanup:((baseKB:(\+ \+ (pretty_numbervars_ground(all([[Human,tHuman]],exactly(3,[[E3ye,tEye]],hasEye(Human,E3ye))),all([[Human,tHuman]],exactly(3,[[E3ye,tEye]],hasEye(Human,E3ye)))),kif_optionally_e(never,ain,clif(all([[Human,tHuman]],exactly(3,[[E3ye,tEye]],hasEye(Human,E3ye))))),kif_to_boxlog(all([[Human,tHuman]],exactly(3,[[E3ye,tEye]],hasEye(Human,E3ye))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A))),deterministic(B)),(notrace(B==true)->!;mquietly(locally_each:key_erase(t_l)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),true));locally_each:key_asserta(t_l,t_l:kif_option_list([])),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail))),C,each_call_cleanup:mquietly(locally_each:key_erase(t_l))). % init.pl:646:
(45)<gt;*>$[each_call_cleanup] '<gt;meta-call>'('<gt;garbage_collected>'). no(clause)
(46)[ucatch]# ucatch:'<gt;garbage_collected>'. % ucatch.pl:1758:
(47)$[ucatch] ucatch:call_each_det('<gt;garbage_collected>','<gt;garbage_collected>'). % ucatch.pl:1775:
(48)$[ucatch] ucatch:call_each_det('<gt;garbage_collected>','<gt;garbage_collected>'). % ucatch.pl:1775:
(49)$[ucatch] ucatch:call_each_det(ucatch:must_det_u,'<gt;garbage_collected>'). % ucatch.pl:1775:
(50)$[ucatch] ucatch:call_each_det('<gt;garbage_collected>','<gt;garbage_collected>'). % ucatch.pl:1778:
(51)$[ucatch] ucatch:p_call('<gt;garbage_collected>','<gt;garbage_collected>'). % ucatch.pl:1784:
(52)$[ucatch]# ucatch:'<gt;garbage_collected>'. % ucatch.pl:1727:
(53)<gt;*>$[must_sanity]# must_sanity:baseKB:kif_to_boxlog(all([[Human,tHuman]],exactly(3,[[E3ye,tEye]],hasEye(Human,E3ye))),A). % must_sanity.pl:65:
(54)[baseKB] common_logic_snark:kif_to_boxlog('<gt;garbage_collected>','<gt;garbage_collected>'). % common_logic_snark.pl:1099:
(55)<gt;*>[must_sanity]# must_sanity:baseKB:kif_to_boxlog(all([[Human,tHuman]],exactly(3,[[E3ye,tEye]],hasEye(Human,E3ye))),A,rule4:0). % must_sanity.pl:65:
(56)[baseKB] common_logic_snark:kif_to_boxlog('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % common_logic_snark.pl:1107:
(57)[locally_each] locally_each:w_o_c('<gt;garbage_collected>'). % redo_locally.pl:86:
(58)$[system] catch(locally_each:w_o_c(error,baseKB:kif_to_boxlog(all([[Human,tHuman]],exactly(3,[[E3ye,tEye]],hasEye(Human,E3ye))),KB,rule4:0,A)),error(uninstantiation_error(E3ye),context(put_attr/3,'1-st argument')),locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(E3ye),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(all([[Human,tHuman]],exactly(3,[[E3ye,tEye]],hasEye(Human,E3ye))),KB,rule4:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(E3ye),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(all([[Human,tHuman]],exactly(3,[[E3ye,tEye]],hasEye(Human,E3ye))),KB,rule4:0,A))),break,trace,baseKB:kif_to_boxlog(all([[Human,tHuman]],exactly(3,[[E3ye,tEye]],hasEye(Human,E3ye))),KB,rule4:0,A))). % init.pl:546:
(59)$[locally_each] '<gt;meta-call>'(locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(E3ye),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(all([[Human,tHuman]],exactly(3,[[E3ye,tEye]],hasEye(Human,E3ye))),KB,rule4:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(E3ye),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(all([[Human,tHuman]],exactly(3,[[E3ye,tEye]],hasEye(Human,E3ye))),KB,rule4:0,A))),break,trace,baseKB:kif_to_boxlog(all([[Human,tHuman]],exactly(3,[[E3ye,tEye]],hasEye(Human,E3ye))),KB,rule4:0,A))). no(clause)
(60)[locally_each] dumpst:dumpST. % dumpst.pl:150:
%~ w_o_c(
%~ error = error(uninstantiation_error(E3ye),context(put_attr/3,'1-st argument')),
%~ baseKB : kif_to_boxlog(
%~ all(
%~ [ [Human,tHuman]],
%~ exactly(3,[[E3ye,tEye]],hasEye(Human,E3ye))), KB,rule4:0,_726))
% Break level 1
% Exit break level 1
^ Call: (60) [baseKB] common_logic_snark:kif_to_boxlog(all([[Human, tHuman]], exactly(3, [[E3ye, tEye]], hasEye(Human, E3ye))), KB, rule4:0, _724) ? EOF: exit (status 4)
%~ unused(no_junit_results)
%~ test_completed_exit(0)
%~ message_hook_type(warning)
%~ message_hook(
%~ goal_failed(at_halt,system:test_completed),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ at_halt,
%~ system : test_completed]])
Goal (at_halt) failed: system:test_completed
Warning: Goal (at_halt) failed: system:test_completed
totalTime=4.000
FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k sanity_at_least_most_exactly_01.pfc.pl (returned 4) Add_LABELS='' Rem_LABELS='Skipped,Skipped,Errors,Warnings,Overtime,Skipped'
