[Jenkins]Jenkins
log in

Failed

logicmoo.pfc.test.sanity_base.TML_01D.logicmoo.pfc.test.sanity_base.TML_01D@Test_0004_Line_0000__path_2_in_user: user: ~path(Path,Path) (from logicmoo.pfc.test.sanity_base.logicmoo.pfc.test.sanity_base.TML_01D)

Failing for the past 1 build (Since #9 )
Took 1 ms.

Error Message

failure = "failure=info((why_was_true(user:(\\+ ~path(_3399856,_3399856))),nop(ftrace(user: ~path(_3399856,_3399856)))))\nno_proof_for(\\+ ~path(X,X)).\n\nno_proof_for(\\+ ~path(X,X)).\n\nno_proof_for(\\+ ~path(X,X)).\n\n". failure = [].

Standard Error

name=Test_0004_Line_0000__path_2_in_user
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.TML_01D'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'tml_01d.pfc\']"'.
 (cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['tml_01d.pfc']")

```
%~ 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/packs_sys/pfc/t/sanity_base/tml_01d.pfc'),
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:96
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))
%~ message_hook(
%~    error( permission_error(redefine,module,logicmoo_test),
%~      context(module/2,'Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl')),
%~    error,
%~    [ '~q/~w: '-[module,2],
%~      'No permission to ~w ~w `~p\''-[redefine,module,logicmoo_test],
%~      ' (~w)'-['Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl']])
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:98
%~ source_location('/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl',98)
module/2: No permission to redefine module `logicmoo_test' (Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl)
ERROR: /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:98:
ERROR:    module/2: No permission to redefine module `logicmoo_test' (Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl)

:- use_module(library(statistics)).
/*~
~*/

:- statistics.
/*~
% Started at Mon Sep 27 03:03:01 2021
% 1.025 seconds cpu time for 2,121,427 inferences
% 941,728 atoms, 32,339 functors, 31,543 predicates, 747 modules, 15,986,601 VM-codes
%
%                     Limit   Allocated      In use
% Local  stack:           -       52 Kb    3,920  b
% Global stack:           -      256 Kb    4,392  b
% Trail  stack:           -       66 Kb      352  b
%        Total:    1,024 Mb      374 Kb    8,664  b
%
% 3 garbage collections gained 270,776 bytes in 0.000 seconds.
% 4 atom garbage collections gained 2,673 atoms in 0.053 seconds.
% 8 clause garbage collections gained 1,846 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
~*/

:- cls.
% reset runtime counter

/*~
%~ skipped(messy_on_output,cls)
~*/

% reset runtime counter

:- mpred_test(statistics(runtime,_Secs)).

% Quick fwd test
/*~
%~ ?-( mpred_test("Test_0001_Line_0000__Runtime_in_user",user:statistics(runtime,_Secs))).
passed=info(why_was_true(user:statistics(runtime,[947,947])))
no_proof_for(statistics(runtime,[947,947])).

no_proof_for(statistics(runtime,[947,947])).

name='logicmoo.pfc.test.sanity_base.TML_01D-Test_0001_Line_0000__Runtime_in_user'.
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.TML_01D'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'tml_01d.pfc\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_TML_01D_Test_0001_Line_0000_Runtime_in_user-junit.xml
~*/

% Quick fwd test
taxinomicPair(E,P) ==>
  (t(P,X,Y),t(E,Y, Z) ==> t(P, X, Z)).

/*~
~*/

subRelation(E,P) ==>
  (t(E,X,Y) ==> t(P,X,Y)).

/*~
~*/

edge(1,2).
/*~
~*/

edge(2,3).
/*~
~*/

edge(3,4).

/*~
~*/

taxinomicPair(edge,path).

/*~
~*/

subRelation(edge,path).

/*~
~*/

transitive(path).

/*~
~*/

transitive(P) ==>
  (t(P,X,Y),t(P,Y, Z) ==> t(P, X, Z)).

/*~
~*/

symmetric(P) ==>
  (t(P,X,Y)/dif(X,Y) ==> t(P,Y,X)).

/*~
%~ warn( really_remake_as_dynamic(
%~          clpfd : symmetric(Symmetric),
%~          for(baseKB,decl_kb_type(kb_shared,baseKB:symmetric/1))))
%~ warn( really_remake_as_dynamic2(clpfd:symmetric(Symmetric),bc(decl_kb_type(kb_shared,baseKB:symmetric/1))))
~*/

symmetric(path).

% provably not a subrelation of equality
/*~
~*/

% provably not a subrelation of equality
antireflexive(P) <gt;==> ~genlPreds(P,equals).
/*~
~*/

~genlPreds(P,equals) <gt;==> ~t(P,X,X).

/*~
@(cyclic_break(member(S_1,S_1)),[S_1=[S_1|_49998]])
% Break level 1

% Exit break level 1
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc#L40 
(0)$0m0m97m40m13m[system]0m49m0m0m0m0m1m99m49m11m '$c_call_prolog'. 0m49m0m21m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(1)$0m0m91m49m14m[$toplevel]0m49m0m0m0m0m0m91m49m14m '$toplevel'. 0m49m0m0m0m  %  toplevel.pl:701:
(2)$0m0m91m49m14m[$toplevel]0m49m0m0m0m0m2m37m40m17m '$runtoplevel'. 0m49m39m0m0m  %  toplevel.pl:713:
(10)$0m0m97m40m13m[system]0m49m0m0m0m0m0m99m49m15m '$load_file'('tml_01d.pfc',user,'<gt;garbage_collected>'). 0m49m0m0m0m  %  init.pl:2353:
(13)$0m0m97m40m13m[system]0m49m0m0m0m#0m0m99m49m15m '$sig_atomic'(setup_call_cleanup(with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',<gt;clause>(0x55ac1152cb00),[expand(false),expand(true)])),'$mt_do_load'(<gt;clause>(0x55ac1152cb00),'tml_01d.pfc','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',user,[expand(false),expand(true)]),'$mt_end_load'(<gt;clause>(0x55ac1152cb00)))). 0m49m0m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(14)$0m0m97m40m13m[system]0m49m0m0m0m0m1m99m49m11m '$c_call_prolog'. 0m49m0m21m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(16)$0m0m97m40m13m[system]0m49m0m0m0m#0m0m97m40m13m setup_call_catcher_cleanup(system:with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',<gt;clause>(0x55ac1152cb00),[expand(false),expand(true)])),system:'$mt_do_load'(<gt;clause>(0x55ac1152cb00),'tml_01d.pfc','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'(<gt;clause>(0x55ac1152cb00))). 0m49m0m0m0m  %  init.pl:646:
(18)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m32m49m14m '$qdo_load_file'('tml_01d.pfc','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',user,[expand(false),expand(true)]). 0m49m39m0m0m  %  init.pl:2546:
(21)<gt;*>$0m0m97m40m13m[system]0m49m0m0m0m#0m1m39m49m14m '$do_load_file_2'('tml_01d.pfc','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',user,compiled,[expand(false),expand(true)]). 0m49m39m21m0m  %  init.pl:2592:
(25)$0m0m97m40m13m[system]0m49m0m0m0m#0m0m97m40m13m setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',1632631432.08379),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',A,[expand(false),expand(true)]),B,system:'$end_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',lexstate(202,swi),user)). 0m49m0m0m0m  %  init.pl:646:
(26)<gt;*>$0m0m97m40m13m[system]0m49m0m0m0m#0m0m99m49m15m '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',A,[expand(false),expand(true)]). 0m49m0m0m0m  %  init.pl:3007:
(27)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m39m49m15m '$compile_term'('<gt;garbage_collected>','<gt;garbage_collected>','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc '). 0m49m39m0m0m  %  init.pl:3074:
(28)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m39m49m15m '$compile_term'('<gt;garbage_collected>','<gt;garbage_collected>','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',-). 0m49m39m0m0m  %  init.pl:3084:
(29)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m95m49m11m '$execute_directive'('<gt;garbage_collected>','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc '). 0m49m0m0m0m  %  init.pl:3549:
(30)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m99m49m10m '$execute_directive_2'('<gt;garbage_collected>','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc '). 0m49m0m0m0m  %  init.pl:3571:
(31)<gt;*>$0m0m97m40m13m[system]0m49m0m0m0m#0m1m94m49m16m '$execute_directive_3'(mpred_ain((~genlPreds(A,equals)<gt;==> ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax))). 0m49m0m21m0m  %  init.pl:3574:
(32)$0m0m97m40m13m[system]0m49m0m0m0m#0m0m97m40m13m catch(user:mpred_ain((~genlPreds(A,equals)<gt;==> ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)),error(C,D),system:'$exception_in_directive'(error(C,D))). 0m49m0m0m0m  %  init.pl:546:
(33)0m2m37m40m12m[user]0m49m39m0m0m0m0m95m49m14m pfc_lib:mpred_ain('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1262:
(34)$0m2m37m40m12m[user]0m49m39m0m0m0m1m36m49m17m pfc_lib:mpred_ain_now4(baseKB,baseKB,'<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:1275:
(35)$0m2m37m40m12m[user]0m49m39m0m0m0m0m36m49m16m pfc_lib:mpred_ain_now5(baseKB,baseKB,'<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m0m0m  %  mpred_core.pl:1288:
(36)$0m1m37m40m10m[call_from]0m49m39m21m0m0m0m95m49m13m call_from:call_from_module(baseKB,'<gt;garbage_collected>'). 0m49m0m0m0m  %  call_from_module.pl:284:
(37)0m1m37m40m10m[call_from]0m49m39m21m0m0m2m37m40m12m call_from:call_from_module(baseKB,user,user,'<gt;garbage_collected>'). 0m49m39m0m0m  %  call_from_module.pl:289:
(38)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m2m37m40m15m must_sanity:scce_orig('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m0m0m  %  must_sanity.pl:271:
(39)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  init.pl:650:
(40)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m37m40m12m setup_call_catcher_cleanup(call_from:('$set_typein_module'(baseKB),'$set_source_module'(baseKB)),must_sanity:((call_from:call(baseKB:with_source_module(baseKB,locally_tl(current_defaultAssertMt(baseKB),with_current_why((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals)<gt;==> ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax))))))),deterministic(C)),(notrace(C==true)->!;call_from:('$set_source_module'(user),'$set_typein_module'(user)),notrace(nb_setarg(1,mquietly_if(true,call_from:('$set_source_module'(user),'$set_typein_module'(user))),false));call_from:('$set_typein_module'(baseKB),'$set_source_module'(baseKB)),notrace(nb_setarg(1,mquietly_if(true,call_from:('$set_source_module'(user),'$set_typein_module'(user))),true)),notrace(fail))),D,must_sanity:mquietly_if(true,call_from:('$set_source_module'(user),'$set_typein_module'(user)))). 0m49m39m0m0m  %  init.pl:646:
(41)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(42)0m0m97m40m13m[system]0m49m0m0m0m0m0m93m49m15m call('<gt;garbage_collected>'). 0m49m0m0m0m  %  init.pl:483:
(43)$0m1m37m40m10m[call_from]0m49m39m21m0m0m2m37m40m17m call_from:with_source_module(baseKB,'<gt;garbage_collected>'). 0m49m39m0m0m  %  call_from_module.pl:265:
(44)0m1m37m40m10m[call_from]0m49m39m21m0m0m2m37m40m17m call_from:with_source_module(baseKB,baseKB,'<gt;garbage_collected>'). 0m49m39m0m0m  %  call_from_module.pl:270:
(45)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m2m37m40m15m must_sanity:scce_orig('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m0m0m  %  must_sanity.pl:271:
(46)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  init.pl:650:
(47)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m37m40m12m setup_call_catcher_cleanup(call_from:'$set_source_module'(baseKB),must_sanity:((call_from:call(locally_tl(current_defaultAssertMt(baseKB),with_current_why((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals)<gt;==> ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)))))),deterministic(C)),(notrace(C==true)->!;call_from:'$set_source_module'(baseKB),notrace(nb_setarg(1,mquietly_if(true,call_from:'$set_source_module'(baseKB)),false));call_from:'$set_source_module'(baseKB),notrace(nb_setarg(1,mquietly_if(true,call_from:'$set_source_module'(baseKB)),true)),notrace(fail))),D,must_sanity:mquietly_if(true,call_from:'$set_source_module'(baseKB))). 0m49m39m0m0m  %  init.pl:646:
(48)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(49)0m0m97m40m13m[system]0m49m0m0m0m0m0m93m49m15m call('<gt;garbage_collected>'). 0m49m0m0m0m  %  init.pl:483:
(50)0m1m37m40m10m[call_from]0m49m39m21m0m0m0m94m49m10m locally_each:locally_tl('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  redo_locally.pl:151:
(51)0m2m95m49m16m[locally_each]0m49m0m0m0m0m1m99m49m14m locally_each:locally('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m21m0m  %  redo_locally.pl:149:
(52)$0m2m95m49m16m[locally_each]0m49m0m0m0m0m1m97m40m15m locally_each:wtl(t_l,'<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m21m0m  %  redo_locally.pl:199:
(53)$0m2m95m49m16m[locally_each]0m49m0m0m0m0m1m97m40m15m locally_each:wtl(t_l,'<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m21m0m  %  redo_locally.pl:204:
(54)$0m2m95m49m16m[locally_each]0m49m0m0m0m0m2m37m40m17m locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m0m0m  %  redo_locally.pl:217:
(55)$0m2m33m49m11m[each_call_cleanup]0m49m39m0m0m0m2m33m49m11m each_call_cleanup:each_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m0m0m  %  each_call.pl:147:
(56)$0m2m33m49m11m[each_call_cleanup]0m49m39m0m0m0m1m97m40m17m each_call_cleanup:trusted_redo_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m21m0m  %  each_call.pl:116:
(57)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  init.pl:650:
(58)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m37m40m12m setup_call_catcher_cleanup(locally_each:key_asserta(t_l,t_l:current_defaultAssertMt(baseKB)),each_call_cleanup:((call_from:with_current_why((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals)<gt;==> ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)))),deterministic(C)),(notrace(C==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:current_defaultAssertMt(baseKB)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail))),D,each_call_cleanup:mquietly(locally_each:key_erase(t_l))). 0m49m39m0m0m  %  init.pl:646:
(59)$0m2m33m49m11m[each_call_cleanup]0m49m39m0m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(60)0m0m94m49m16m[ucatch]0m49m0m0m0m0m2m91m49m16m ucatch:with_current_why('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  ucatch.pl:932:
(61)$0m0m94m49m16m[ucatch]0m49m0m0m0m0m0m93m49m12m ucatch:with_only_current_why('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  ucatch.pl:922:
(62)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  init.pl:650:
(63)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m37m40m12m setup_call_catcher_cleanup(ucatch:b_setval('$current_why',wp(((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),mfl4(['P'=A,'X'=B],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40)),call_from:rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals)<gt;==> ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax))))),ucatch:(call(call_from:rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals)<gt;==> ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)))),b_setval('$current_why',[])),C,ucatch:b_setval('$current_why',[])). 0m49m39m0m0m  %  init.pl:646:
(64)$0m0m94m49m16m[ucatch]0m49m0m0m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(65)0m1m37m40m10m[call_from]0m49m39m21m0m0m1m96m49m11m pfc_lib:rtrace_if_booted('<gt;garbage_collected>'). 0m49m0m21m0m  %  mpred_core.pl:1284:
(66)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m33m49m12m pfc_lib:mpred_ain_now('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:1294:
(67)$0m2m96m49m15m[logicmoo_test]0m49m0m0m0m#0m0m97m40m12m logicmoo_test:'<gt;garbage_collected>'. 0m49m0m0m0m  %  logicmoo_test.pl:274:
(68)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:ain_fast('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1310:
(69)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1076:
(70)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1080:
(71)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(72)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post1('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1422:
(73)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1080:
(74)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(75)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m#0m2m37m40m12m pfc_lib:mpred_post2((~genlPreds(A,equals)<gt;==> ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)). 0m49m39m0m0m  %  mpred_core.pl:1435:
(76)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post12('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1499:
(77)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post13('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1572:
(78)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_post13(baseKB,'<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:1590:
(79)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post_update4(unique,'<gt;garbage_collected>','<gt;garbage_collected>',none). 0m49m0m0m0m  %  mpred_core.pl:1675:
(80)$0m2m96m49m15m[logicmoo_test]0m49m0m0m0m#0m0m97m40m12m logicmoo_test:'<gt;garbage_collected>'. 0m49m0m0m0m  %  logicmoo_test.pl:274:
(81)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_enqueue('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1876:
(82)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_enqueue_w_mode('<gt;garbage_collected>',direct,'<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1882:
(83)$0m1m39m49m10m[baseKB]0m49m39m21m0m#0m2m37m40m12m pfc_lib:mpred_enqueue_direct((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),(~genlPreds(A,equals)<gt;==> ~t(A,B,B))). 0m49m39m0m0m  %  mpred_core.pl:1902:
(84)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m2m37m40m12m loop_check:loop_check_term(user:mpred_fwc((~genlPreds(A,equals)<gt;==> ~t(A,B,B))),mpred_enqueueing((~genlPreds(A,equals)<gt;==> ~t(A,B,B))),baseKB:true). 0m49m39m0m0m  %  no_loops.pl:294:
(85)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('<gt;garbage_collected>','<gt;garbage_collected>',1,1293,'<gt;garbage_collected>'). 0m49m0m0m0m  %  no_loops.pl:237:
(86)0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_fwc('<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2480:
(87)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>',[]). 0m49m0m0m0m  %  mpred_core.pl:1080:
(88)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(89)$0m2m37m40m12m[user]0m49m39m0m0m0m1m93m49m10m pfc_lib:mpred_fwc0((~genlPreds(A,equals)<gt;==> ~t(A,B,B))). 0m49m0m21m0m  %  mpred_core.pl:2493:
(90)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m2m37m40m12m loop_check:loop_check_term(user:mpred_fwc1((~genlPreds(A,equals)<gt;==> ~t(A,B,B))),info(mpred_fwc1((~genlPreds(A,equals)<gt;==> ~t(A,B,B))),'mpred_core.pl':2493),user:true). 0m49m39m0m0m  %  no_loops.pl:294:
(91)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('<gt;garbage_collected>','<gt;garbage_collected>',1,1366,'<gt;garbage_collected>'). 0m49m0m0m0m  %  no_loops.pl:237:
(92)0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_fwc1('<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2540:
(93)$0m2m37m40m12m[user]0m49m39m0m0m0m1m39m49m10m pfc_lib:mpred_m_fwc1(baseKB,'<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:2549:
(94)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  init.pl:650:
(95)$0m0m97m40m13m[system]0m49m0m0m0m0m2m37m40m12m setup_call_catcher_cleanup(user:asserta(t_l:busy_s((~genlPreds(A,equals)<gt;==> ~t(A,B,B))),<gt;clause>(0x55ac148a6100)),user:(mpred_m_fwc2(baseKB,(~genlPreds(A,equals)<gt;==> ~t(A,B,B)))->true;true),C,user:(catch(erase(<gt;clause>(0x55ac148a6100)),D,fail)->true;true)). 0m49m39m0m0m  %  init.pl:646:
(96)<gt;*>$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(97)<gt;*>0m2m37m40m12m[user]0m49m39m0m0m0m1m39m49m10m pfc_lib:mpred_m_fwc2(baseKB,(~genlPreds(A,equals)<gt;==> ~t(A,B,B))). 0m49m39m21m0m  %  mpred_core.pl:2556:
(98)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_do_rule('<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2577:
(99)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:process_rule('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:3565:
(100)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:process_rule0('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:3567:
(101)$0m1m39m49m10m[aggregate]0m49m39m21m0m0m0m97m40m12m aggregate:foreach('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  aggregate.pl:590:
(102)$0m1m39m49m10m[aggregate]0m49m39m21m0m#0m2m37m40m12m aggregate:prove_list('<gt;garbage_collected>',A v [\+genlPreds(A,equals)],user:(build_rule([\+genlPreds(A,equals)],rhs([~t(A,B,B)]),((~genlPreds(C,equals)<gt;==> ~t(C,D,D)),mfl4(['P'=E,'X'=F],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40)))->true;true)). 0m49m39m0m0m  %  aggregate.pl:599:
(103)<gt;*>$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(104)0m2m37m40m12m[user]0m49m39m0m0m#0m1m39m49m10m pfc_lib:build_rule([\+genlPreds(A,equals)],rhs([~t(A,B,B)]),((~genlPreds(C,equals)<gt;==> ~t(C,D,D)),mfl4(['P'=E,'X'=F],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40))). 0m49m39m21m0m  %  mpred_core.pl:3579:
(105)$0m0m95m49m12m[logicmoo_util_terms]0m49m0m0m0m0m0m97m40m12m logicmoo_util_terms:doall('<gt;garbage_collected>'). 0m49m0m0m0m  %  misc_terms.pl:1165:
(106)<gt;*>$0m0m97m40m13m[system]0m49m0m0m0m0m0m97m40m12m ignore('<gt;garbage_collected>'). 0m49m0m0m0m  %  init.pl:528:
(107)$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(108)0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_no_nc('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2774:
(109)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2782:
(110)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_1('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2801:
(111)<gt;*>$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_ain_trigger_reprop('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2062:
(112)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_full('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2760:
(113)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:complain_loop('<gt;garbage_collected>',break). 0m49m0m0m0m  %  mpred_core.pl:2766:
(114)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2781:
(115)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_rhs('<gt;garbage_collected>',(\+genlPreds(A,equals),'$nt'(genlPreds(B,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,C,C)])))). 0m49m0m0m0m  %  mpred_core.pl:2815:
(116)<gt;*>$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m10m pfc_lib:mpred_eval_rhs1(~t(A,B,B),(\+genlPreds(A,equals),'$nt'(genlPreds(C,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,B,B)])))). 0m49m39m0m0m  %  mpred_core.pl:2869:
(117)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_post('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1409:
(118)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1080:
(119)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(120)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_post1('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1422:
(121)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1080:
(122)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(123)<gt;*>$0m2m37m40m12m[user]0m49m39m0m0m0m1m91m49m10m pfc_lib:mpred_post2(~t(A,B,B),(\+genlPreds(A,equals),'$nt'(genlPreds(C,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,B,B)])))). 0m49m0m21m0m  %  mpred_core.pl:1435:
(124)<gt;*>$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m16m pfc_lib:mpred_post12(~t(A,B,B),(\+genlPreds(A,equals),'$nt'(genlPreds(C,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,B,B)])))). 0m49m39m0m0m  %  mpred_core.pl:1482:
(125)<gt;*>$0m2m37m40m12m[user]0m49m39m0m0m0m1m35m49m11m pfc_lib:mpred_post12_negated(t(A,B,B),(\+genlPreds(A,equals),'$nt'(genlPreds(C,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,B,B)])))). 0m49m39m21m0m  %  mpred_core.pl:1463:
(126)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_post13('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1572:
(127)$0m2m37m40m12m[user]0m49m39m0m0m0m2m37m40m12m pfc_lib:mpred_post13(user,'<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m0m0m  %  mpred_core.pl:1590:
(128)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_post_update4(unique,'<gt;garbage_collected>','<gt;garbage_collected>',none). 0m49m0m0m0m  %  mpred_core.pl:1675:
(129)$0m2m96m49m15m[logicmoo_test]0m49m0m0m0m#0m0m97m40m12m logicmoo_test:'<gt;garbage_collected>'. 0m49m0m0m0m  %  logicmoo_test.pl:274:
(130)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_enqueue('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1876:
(131)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_enqueue_w_mode('<gt;garbage_collected>',direct,'<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1882:
(132)$0m2m37m40m12m[user]0m49m39m0m0m0m0m95m49m17m pfc_lib:mpred_enqueue_direct((\+genlPreds(A,equals),'$nt'(genlPreds(B,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,C,C)]))),~t(A,C,C)). 0m49m0m0m0m  %  mpred_core.pl:1902:
(133)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m2m37m40m12m loop_check:loop_check_term(baseKB:mpred_fwc(~t(A,B,B)),mpred_enqueueing(~t(A,B,B)),user:true). 0m49m39m0m0m  %  no_loops.pl:294:
(134)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('<gt;garbage_collected>','<gt;garbage_collected>',1,2213,'<gt;garbage_collected>'). 0m49m0m0m0m  %  no_loops.pl:237:
(135)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_fwc('<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2480:
(136)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>',[]). 0m49m0m0m0m  %  mpred_core.pl:1080:
(137)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(138)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m93m49m10m pfc_lib:mpred_fwc0(~t(A,B,B)). 0m49m0m21m0m  %  mpred_core.pl:2493:
(139)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m1m39m49m10m loop_check:loop_check_term(baseKB:mpred_fwc1(~t(A,B,B)),info(mpred_fwc1(~t(A,B,B)),'mpred_core.pl':2493),baseKB:true). 0m49m39m21m0m  %  no_loops.pl:294:
(140)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('<gt;garbage_collected>','<gt;garbage_collected>',1,2286,'<gt;garbage_collected>'). 0m49m0m0m0m  %  no_loops.pl:237:
(141)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_fwc1('<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2540:
(142)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_m_fwc1(baseKB,'<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:2546:
(143)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_m_fwc1(baseKB,'<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:2549:
(144)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  init.pl:650:
(145)$0m0m97m40m13m[system]0m49m0m0m0m0m0m93m49m15m setup_call_catcher_cleanup(baseKB:asserta(t_l:busy_s(preventedWhen(t(A,B,C),{call(=,B,C)})),<gt;clause>(0x55ac23bed0e0)),baseKB:(mpred_m_fwc2(baseKB,preventedWhen(t(A,B,C),{call(=,B,C)}))->true;true),D,baseKB:(catch(erase(<gt;clause>(0x55ac23bed0e0)),E,fail)->true;true)). 0m49m0m0m0m  %  init.pl:646:
(146)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(147)0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_m_fwc2(baseKB,'<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:2556:
(148)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  init.pl:650:
(149)$0m0m97m40m13m[system]0m49m0m0m0m0m0m93m49m15m setup_call_catcher_cleanup(baseKB:asserta(t_l:busy_f(preventedWhen(t(A,B,C),{call(=,B,C)})),<gt;clause>(0x55ac23becff0)),baseKB:(mpred_do_fact(preventedWhen(t(A,B,C),{call(=,B,C)}))->true;true),D,baseKB:(catch(erase(<gt;clause>(0x55ac23becff0)),E,fail)->true;true)). 0m49m0m0m0m  %  init.pl:646:
(150)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(151)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_do_fact(preventedWhen(t(A,B,C),{call(=,B,C)})). 0m49m0m0m0m  %  mpred_core.pl:2673:
(152)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_do_fcpt(preventedWhen(t(A,B,C),{call(=,B,C)}),preventedWhen(t(D,E,F),{call(=,E,F)})). 0m49m0m0m0m  %  mpred_core.pl:2686:
(153)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_no_nc('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2774:
(154)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2781:
(155)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_eval_rhs('<gt;garbage_collected>',(preventedWhen(t(A,B,C),{call(=,B,C)}),'$pt'(baseKB,preventedWhen(t(D,E,F),{call(=,E,F)}),rhs([(t(D,E,F)/mpred_positive_fact(t(D,E,F)),{call(=,E,F)}==>nesc(~t(D,E,F)))])))). 0m49m0m0m0m  %  mpred_core.pl:2815:
(156)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_eval_rhs1((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C))),(preventedWhen(t(D,E,F),{call(=,E,F)}),'$pt'(baseKB,preventedWhen(t(A,B,C),{call(=,B,C)}),rhs([(t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))])))). 0m49m0m0m0m  %  mpred_core.pl:2869:
(157)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1409:
(158)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1080:
(159)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(160)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post1('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1422:
(161)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1080:
(162)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(163)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_post2((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C))),(preventedWhen(t(D,E,F),{call(=,E,F)}),'$pt'(baseKB,preventedWhen(t(A,B,C),{call(=,B,C)}),rhs([(t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))])))). 0m49m0m0m0m  %  mpred_core.pl:1435:
(164)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post12('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1499:
(165)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post13('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1572:
(166)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_post13(baseKB,'<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:1590:
(167)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post_update4(unique,'<gt;garbage_collected>','<gt;garbage_collected>',none). 0m49m0m0m0m  %  mpred_core.pl:1675:
(168)$0m2m96m49m15m[logicmoo_test]0m49m0m0m0m#0m0m97m40m12m logicmoo_test:'<gt;garbage_collected>'. 0m49m0m0m0m  %  logicmoo_test.pl:274:
(169)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_enqueue('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1876:
(170)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_enqueue_w_mode('<gt;garbage_collected>',direct,'<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1882:
(171)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_enqueue_direct((preventedWhen(t(A,B,C),{call(=,B,C)}),'$pt'(baseKB,preventedWhen(t(D,E,F),{call(=,E,F)}),rhs([(t(D,E,F)/mpred_positive_fact(t(D,E,F)),{call(=,E,F)}==>nesc(~t(D,E,F)))]))),(t(D,E,F)/mpred_positive_fact(t(D,E,F)),{call(=,E,F)}==>nesc(~t(D,E,F)))). 0m49m0m0m0m  %  mpred_core.pl:1902:
(172)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m93m49m15m loop_check:loop_check_term(baseKB:mpred_fwc((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))),mpred_enqueueing((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))),baseKB:true). 0m49m0m0m0m  %  no_loops.pl:294:
(173)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('<gt;garbage_collected>','<gt;garbage_collected>',1,2872,'<gt;garbage_collected>'). 0m49m0m0m0m  %  no_loops.pl:237:
(174)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_fwc('<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2480:
(175)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>',[]). 0m49m0m0m0m  %  mpred_core.pl:1080:
(176)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(177)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_fwc0((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))). 0m49m0m0m0m  %  mpred_core.pl:2493:
(178)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m5m1m @(loop_check:loop_check_term(baseKB:mpred_fwc1((t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1)))),info(mpred_fwc1((t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1)))),'mpred_core.pl':2493),baseKB:true),[S_1=[S_1|A]]). 21m25m0m  %  no_loops.pl:294:
(179)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('<gt;garbage_collected>','<gt;garbage_collected>',1,2945,'<gt;garbage_collected>'). 0m49m0m0m0m  %  no_loops.pl:237:
(180)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_fwc1('<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2540:
(181)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_m_fwc1(baseKB,'<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:2549:
(182)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  init.pl:650:
(183)$0m0m97m40m13m[system]0m49m0m0m0m0m5m1m @(setup_call_catcher_cleanup(baseKB:asserta(t_l:busy_s((t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1)))),<gt;clause>(0x55ac14ba7a40)),baseKB:(mpred_m_fwc2(baseKB,(t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1))))->true;true),B,baseKB:(catch(erase(<gt;clause>(0x55ac14ba7a40)),C,fail)->true;true)),[S_1=[S_1|A]]). 21m25m0m  %  init.pl:646:
(184)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(185)<gt;*>0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_m_fwc2(baseKB,(t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1)))),[S_1=[S_1|A]]). 21m25m0m  %  mpred_core.pl:2556:
(186)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_do_rule('<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2571:
(187)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:process_rule('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:3565:
(188)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:process_rule0('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:3567:
(189)$0m1m39m49m10m[aggregate]0m49m39m21m0m0m0m97m40m12m aggregate:foreach('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  aggregate.pl:590:
(190)$0m1m39m49m10m[aggregate]0m49m39m21m0m0m5m1m @(aggregate:prove_list('<gt;garbage_collected>',v(member,S_1,S_1,[t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}]),baseKB:(build_rule([t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}],rhs([nesc(~t(member,S_1,S_1))]),((t(B,C,D)/mpred_positive_fact(t(B,C,D)),{call(=,C,D)}==>nesc(~t(B,C,D))),mfl4(['P'=E,'X'=F],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/tml_01d.pfc',40)))->true;true)),[S_1=[S_1|A]]). 21m25m0m  %  aggregate.pl:599:
(191)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(192)0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:build_rule([t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}],rhs([nesc(~t(member,S_1,S_1))]),((t(B,C,D)/mpred_positive_fact(t(B,C,D)),{call(=,C,D)}==>nesc(~t(B,C,D))),mfl4(['P'=E,'X'=F],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/tml_01d.pfc',40))),[S_1=[S_1|A]]). 21m25m0m  %  mpred_core.pl:3579:
(193)$0m0m95m49m12m[logicmoo_util_terms]0m49m0m0m0m0m0m97m40m12m logicmoo_util_terms:doall('<gt;garbage_collected>'). 0m49m0m0m0m  %  misc_terms.pl:1165:
(194)<gt;*>$0m0m97m40m13m[system]0m49m0m0m0m0m0m97m40m12m ignore('<gt;garbage_collected>'). 0m49m0m0m0m  %  init.pl:528:
(195)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(196)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_no_nc('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2774:
(197)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2782:
(198)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_1('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2801:
(199)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_ain_trigger_reprop('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2051:
(200)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_full('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2760:
(201)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:complain_loop('<gt;garbage_collected>',break). 0m49m0m0m0m  %  mpred_core.pl:2766:
(202)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2782:
(203)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_1('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2790:
(204)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2782:
(205)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_1('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2790:
(206)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2781:
(207)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_eval_rhs('<gt;garbage_collected>',(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),[S_1=[S_1|A]]). 21m25m0m  %  mpred_core.pl:2815:
(208)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_eval_rhs1(nesc(~t(member,S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),[S_1=[S_1|A]]). 21m25m0m  %  mpred_core.pl:2869:
(211)0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(212)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_post1(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),[S_1=[S_1|A]]). 21m25m0m  %  mpred_core.pl:1421:
(214)0m2m36m49m14m[bugger]0m49m39m0m0m0m5m1m @(bugger:show_success(baseKB,baseKB:abby_normal_ERR(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))))),[S_1=[S_1|A]]). 21m25m0m  %  bugger.pl:1443:
(215)$0m2m36m49m14m[bugger]0m49m39m0m0m0m5m1m @(first:zotrace(ignore((cyclic_term(baseKB:abby_normal_ERR(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))))),dumpST,dmsg(try_show_success(baseKB,cyclic_term))))),[S_1=[S_1|A]]). 21m25m0m  %  first.pl:514:
(216)<gt;*>$0m0m97m40m13m[system]0m49m0m0m0m0m5m1m @(ignore(bugger:(cyclic_term(baseKB:abby_normal_ERR(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))))),dumpST,dmsg(try_show_success(baseKB,cyclic_term)))),[S_1=[S_1|A]]). 21m25m0m  %  init.pl:528:
(217)$0m2m36m49m14m[bugger]0m49m39m0m0m0m5m1m @('<gt;meta-call>'(bugger:(cyclic_term(baseKB:abby_normal_ERR(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))))),dumpST,dmsg(try_show_success(baseKB,cyclic_term)))),[S_1=[S_1|A]]). 21m25m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(220)0m0m91m49m14m[butterfly]0m49m0m0m0m0m2m36m49m14m butterfly:in_bfly(f,bugger:zotrace(with_all_dmsg((b_setval('$dump_frame',4074),dumpST1)))). 0m49m39m0m0m  %  butterfly_console.pl:226:
%~ try_show_success(baseKB,cyclic_term)
%~ FILE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc#L40 
(0)$0m0m97m40m13m[system]0m49m0m0m0m0m1m99m49m11m '$c_call_prolog'. 0m49m0m21m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(1)$0m0m91m49m14m[$toplevel]0m49m0m0m0m0m0m91m49m14m '$toplevel'. 0m49m0m0m0m  %  toplevel.pl:701:
(2)$0m0m91m49m14m[$toplevel]0m49m0m0m0m0m2m37m40m17m '$runtoplevel'. 0m49m39m0m0m  %  toplevel.pl:713:
(10)$0m0m97m40m13m[system]0m49m0m0m0m0m0m99m49m15m '$load_file'('tml_01d.pfc',user,'<gt;garbage_collected>'). 0m49m0m0m0m  %  init.pl:2353:
(13)$0m0m97m40m13m[system]0m49m0m0m0m#0m0m99m49m15m '$sig_atomic'(setup_call_cleanup(with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',<gt;clause>(0x55ac1152cb00),[expand(false),expand(true)])),'$mt_do_load'(<gt;clause>(0x55ac1152cb00),'tml_01d.pfc','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',user,[expand(false),expand(true)]),'$mt_end_load'(<gt;clause>(0x55ac1152cb00)))). 0m49m0m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(14)$0m0m97m40m13m[system]0m49m0m0m0m0m1m99m49m11m '$c_call_prolog'. 0m49m0m21m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(16)$0m0m97m40m13m[system]0m49m0m0m0m#0m0m97m40m13m setup_call_catcher_cleanup(system:with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',<gt;clause>(0x55ac1152cb00),[expand(false),expand(true)])),system:'$mt_do_load'(<gt;clause>(0x55ac1152cb00),'tml_01d.pfc','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'(<gt;clause>(0x55ac1152cb00))). 0m49m0m0m0m  %  init.pl:646:
(18)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m32m49m14m '$qdo_load_file'('tml_01d.pfc','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',user,[expand(false),expand(true)]). 0m49m39m0m0m  %  init.pl:2546:
(21)<gt;*>$0m0m97m40m13m[system]0m49m0m0m0m#0m1m39m49m14m '$do_load_file_2'('tml_01d.pfc','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',user,compiled,[expand(false),expand(true)]). 0m49m39m21m0m  %  init.pl:2592:
(25)$0m0m97m40m13m[system]0m49m0m0m0m#0m0m97m40m13m setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',1632631432.08379),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',A,[expand(false),expand(true)]),B,system:'$end_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',lexstate(202,swi),user)). 0m49m0m0m0m  %  init.pl:646:
(26)<gt;*>$0m0m97m40m13m[system]0m49m0m0m0m#0m0m99m49m15m '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',A,[expand(false),expand(true)]). 0m49m0m0m0m  %  init.pl:3007:
(27)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m39m49m15m '$compile_term'('<gt;garbage_collected>','<gt;garbage_collected>','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc '). 0m49m39m0m0m  %  init.pl:3074:
(28)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m39m49m15m '$compile_term'('<gt;garbage_collected>','<gt;garbage_collected>','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',-). 0m49m39m0m0m  %  init.pl:3084:
(29)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m95m49m11m '$execute_directive'('<gt;garbage_collected>','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc '). 0m49m0m0m0m  %  init.pl:3549:
(30)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m99m49m10m '$execute_directive_2'('<gt;garbage_collected>','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc '). 0m49m0m0m0m  %  init.pl:3571:
(31)<gt;*>$0m0m97m40m13m[system]0m49m0m0m0m#0m1m94m49m16m '$execute_directive_3'(mpred_ain((~genlPreds(A,equals)<gt;==> ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax))). 0m49m0m21m0m  %  init.pl:3574:
(32)$0m0m97m40m13m[system]0m49m0m0m0m#0m0m97m40m13m catch(user:mpred_ain((~genlPreds(A,equals)<gt;==> ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)),error(C,D),system:'$exception_in_directive'(error(C,D))). 0m49m0m0m0m  %  init.pl:546:
(33)0m2m37m40m12m[user]0m49m39m0m0m0m0m95m49m14m pfc_lib:mpred_ain('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1262:
(34)$0m2m37m40m12m[user]0m49m39m0m0m0m1m36m49m17m pfc_lib:mpred_ain_now4(baseKB,baseKB,'<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:1275:
(35)$0m2m37m40m12m[user]0m49m39m0m0m0m0m36m49m16m pfc_lib:mpred_ain_now5(baseKB,baseKB,'<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m0m0m  %  mpred_core.pl:1288:
(36)$0m1m37m40m10m[call_from]0m49m39m21m0m0m0m95m49m13m call_from:call_from_module(baseKB,'<gt;garbage_collected>'). 0m49m0m0m0m  %  call_from_module.pl:284:
(37)0m1m37m40m10m[call_from]0m49m39m21m0m0m2m37m40m12m call_from:call_from_module(baseKB,user,user,'<gt;garbage_collected>'). 0m49m39m0m0m  %  call_from_module.pl:289:
(38)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m2m37m40m15m must_sanity:scce_orig('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m0m0m  %  must_sanity.pl:271:
(39)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  init.pl:650:
(40)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m37m40m12m setup_call_catcher_cleanup(call_from:('$set_typein_module'(baseKB),'$set_source_module'(baseKB)),must_sanity:((call_from:call(baseKB:with_source_module(baseKB,locally_tl(current_defaultAssertMt(baseKB),with_current_why((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals)<gt;==> ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax))))))),deterministic(C)),(notrace(C==true)->!;call_from:('$set_source_module'(user),'$set_typein_module'(user)),notrace(nb_setarg(1,mquietly_if(true,call_from:('$set_source_module'(user),'$set_typein_module'(user))),false));call_from:('$set_typein_module'(baseKB),'$set_source_module'(baseKB)),notrace(nb_setarg(1,mquietly_if(true,call_from:('$set_source_module'(user),'$set_typein_module'(user))),true)),notrace(fail))),D,must_sanity:mquietly_if(true,call_from:('$set_source_module'(user),'$set_typein_module'(user)))). 0m49m39m0m0m  %  init.pl:646:
(41)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(42)0m0m97m40m13m[system]0m49m0m0m0m0m0m93m49m15m call('<gt;garbage_collected>'). 0m49m0m0m0m  %  init.pl:483:
(43)$0m1m37m40m10m[call_from]0m49m39m21m0m0m2m37m40m17m call_from:with_source_module(baseKB,'<gt;garbage_collected>'). 0m49m39m0m0m  %  call_from_module.pl:265:
(44)0m1m37m40m10m[call_from]0m49m39m21m0m0m2m37m40m17m call_from:with_source_module(baseKB,baseKB,'<gt;garbage_collected>'). 0m49m39m0m0m  %  call_from_module.pl:270:
(45)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m2m37m40m15m must_sanity:scce_orig('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m0m0m  %  must_sanity.pl:271:
(46)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  init.pl:650:
(47)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m37m40m12m setup_call_catcher_cleanup(call_from:'$set_source_module'(baseKB),must_sanity:((call_from:call(locally_tl(current_defaultAssertMt(baseKB),with_current_why((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals)<gt;==> ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)))))),deterministic(C)),(notrace(C==true)->!;call_from:'$set_source_module'(baseKB),notrace(nb_setarg(1,mquietly_if(true,call_from:'$set_source_module'(baseKB)),false));call_from:'$set_source_module'(baseKB),notrace(nb_setarg(1,mquietly_if(true,call_from:'$set_source_module'(baseKB)),true)),notrace(fail))),D,must_sanity:mquietly_if(true,call_from:'$set_source_module'(baseKB))). 0m49m39m0m0m  %  init.pl:646:
(48)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(49)0m0m97m40m13m[system]0m49m0m0m0m0m0m93m49m15m call('<gt;garbage_collected>'). 0m49m0m0m0m  %  init.pl:483:
(50)0m1m37m40m10m[call_from]0m49m39m21m0m0m0m94m49m10m locally_each:locally_tl('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  redo_locally.pl:151:
(51)0m2m95m49m16m[locally_each]0m49m0m0m0m0m1m99m49m14m locally_each:locally('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m21m0m  %  redo_locally.pl:149:
(52)$0m2m95m49m16m[locally_each]0m49m0m0m0m0m1m97m40m15m locally_each:wtl(t_l,'<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m21m0m  %  redo_locally.pl:199:
(53)$0m2m95m49m16m[locally_each]0m49m0m0m0m0m1m97m40m15m locally_each:wtl(t_l,'<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m21m0m  %  redo_locally.pl:204:
(54)$0m2m95m49m16m[locally_each]0m49m0m0m0m0m2m37m40m17m locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m0m0m  %  redo_locally.pl:217:
(55)$0m2m33m49m11m[each_call_cleanup]0m49m39m0m0m0m2m33m49m11m each_call_cleanup:each_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m0m0m  %  each_call.pl:147:
(56)$0m2m33m49m11m[each_call_cleanup]0m49m39m0m0m0m1m97m40m17m each_call_cleanup:trusted_redo_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m21m0m  %  each_call.pl:116:
(57)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  init.pl:650:
(58)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m37m40m12m setup_call_catcher_cleanup(locally_each:key_asserta(t_l,t_l:current_defaultAssertMt(baseKB)),each_call_cleanup:((call_from:with_current_why((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals)<gt;==> ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)))),deterministic(C)),(notrace(C==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:current_defaultAssertMt(baseKB)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail))),D,each_call_cleanup:mquietly(locally_each:key_erase(t_l))). 0m49m39m0m0m  %  init.pl:646:
(59)$0m2m33m49m11m[each_call_cleanup]0m49m39m0m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(60)0m0m94m49m16m[ucatch]0m49m0m0m0m0m2m91m49m16m ucatch:with_current_why('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  ucatch.pl:932:
(61)$0m0m94m49m16m[ucatch]0m49m0m0m0m0m0m93m49m12m ucatch:with_only_current_why('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  ucatch.pl:922:
(62)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  init.pl:650:
(63)$0m0m97m40m13m[system]0m49m0m0m0m#0m2m37m40m12m setup_call_catcher_cleanup(ucatch:b_setval('$current_why',wp(((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),mfl4(['P'=A,'X'=B],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40)),call_from:rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals)<gt;==> ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax))))),ucatch:(call(call_from:rtrace_if_booted(baseKB:mpred_ain_now(baseKB:(~genlPreds(A,equals)<gt;==> ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)))),b_setval('$current_why',[])),C,ucatch:b_setval('$current_why',[])). 0m49m39m0m0m  %  init.pl:646:
(64)$0m0m94m49m16m[ucatch]0m49m0m0m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(65)0m1m37m40m10m[call_from]0m49m39m21m0m0m1m96m49m11m pfc_lib:rtrace_if_booted('<gt;garbage_collected>'). 0m49m0m21m0m  %  mpred_core.pl:1284:
(66)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m33m49m12m pfc_lib:mpred_ain_now('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:1294:
(67)$0m2m96m49m15m[logicmoo_test]0m49m0m0m0m#0m0m97m40m12m logicmoo_test:'<gt;garbage_collected>'. 0m49m0m0m0m  %  logicmoo_test.pl:274:
(68)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:ain_fast('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1310:
(69)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1076:
(70)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1080:
(71)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(72)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post1('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1422:
(73)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1080:
(74)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(75)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m#0m2m37m40m12m pfc_lib:mpred_post2((~genlPreds(A,equals)<gt;==> ~t(A,B,B)),(mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax)). 0m49m39m0m0m  %  mpred_core.pl:1435:
(76)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post12('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1499:
(77)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post13('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1572:
(78)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_post13(baseKB,'<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:1590:
(79)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post_update4(unique,'<gt;garbage_collected>','<gt;garbage_collected>',none). 0m49m0m0m0m  %  mpred_core.pl:1675:
(80)$0m2m96m49m15m[logicmoo_test]0m49m0m0m0m#0m0m97m40m12m logicmoo_test:'<gt;garbage_collected>'. 0m49m0m0m0m  %  logicmoo_test.pl:274:
(81)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_enqueue('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1876:
(82)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_enqueue_w_mode('<gt;garbage_collected>',direct,'<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1882:
(83)$0m1m39m49m10m[baseKB]0m49m39m21m0m#0m2m37m40m12m pfc_lib:mpred_enqueue_direct((mfl4(['P'=A,'X'=B],user,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40),ax),(~genlPreds(A,equals)<gt;==> ~t(A,B,B))). 0m49m39m0m0m  %  mpred_core.pl:1902:
(84)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m2m37m40m12m loop_check:loop_check_term(user:mpred_fwc((~genlPreds(A,equals)<gt;==> ~t(A,B,B))),mpred_enqueueing((~genlPreds(A,equals)<gt;==> ~t(A,B,B))),baseKB:true). 0m49m39m0m0m  %  no_loops.pl:294:
(85)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('<gt;garbage_collected>','<gt;garbage_collected>',1,1293,'<gt;garbage_collected>'). 0m49m0m0m0m  %  no_loops.pl:237:
(86)0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_fwc('<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2480:
(87)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>',[]). 0m49m0m0m0m  %  mpred_core.pl:1080:
(88)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(89)$0m2m37m40m12m[user]0m49m39m0m0m0m1m93m49m10m pfc_lib:mpred_fwc0((~genlPreds(A,equals)<gt;==> ~t(A,B,B))). 0m49m0m21m0m  %  mpred_core.pl:2493:
(90)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m2m37m40m12m loop_check:loop_check_term(user:mpred_fwc1((~genlPreds(A,equals)<gt;==> ~t(A,B,B))),info(mpred_fwc1((~genlPreds(A,equals)<gt;==> ~t(A,B,B))),'mpred_core.pl':2493),user:true). 0m49m39m0m0m  %  no_loops.pl:294:
(91)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('<gt;garbage_collected>','<gt;garbage_collected>',1,1366,'<gt;garbage_collected>'). 0m49m0m0m0m  %  no_loops.pl:237:
(92)0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_fwc1('<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2540:
(93)$0m2m37m40m12m[user]0m49m39m0m0m0m1m39m49m10m pfc_lib:mpred_m_fwc1(baseKB,'<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:2549:
(94)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  init.pl:650:
(95)$0m0m97m40m13m[system]0m49m0m0m0m0m2m37m40m12m setup_call_catcher_cleanup(user:asserta(t_l:busy_s((~genlPreds(A,equals)<gt;==> ~t(A,B,B))),<gt;clause>(0x55ac148a6100)),user:(mpred_m_fwc2(baseKB,(~genlPreds(A,equals)<gt;==> ~t(A,B,B)))->true;true),C,user:(catch(erase(<gt;clause>(0x55ac148a6100)),D,fail)->true;true)). 0m49m39m0m0m  %  init.pl:646:
(96)<gt;*>$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(97)<gt;*>0m2m37m40m12m[user]0m49m39m0m0m0m1m39m49m10m pfc_lib:mpred_m_fwc2(baseKB,(~genlPreds(A,equals)<gt;==> ~t(A,B,B))). 0m49m39m21m0m  %  mpred_core.pl:2556:
(98)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_do_rule('<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2577:
(99)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:process_rule('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:3565:
(100)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:process_rule0('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:3567:
(101)$0m1m39m49m10m[aggregate]0m49m39m21m0m0m0m97m40m12m aggregate:foreach('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  aggregate.pl:590:
(102)$0m1m39m49m10m[aggregate]0m49m39m21m0m#0m2m37m40m12m aggregate:prove_list('<gt;garbage_collected>',A v [\+genlPreds(A,equals)],user:(build_rule([\+genlPreds(A,equals)],rhs([~t(A,B,B)]),((~genlPreds(C,equals)<gt;==> ~t(C,D,D)),mfl4(['P'=E,'X'=F],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40)))->true;true)). 0m49m39m0m0m  %  aggregate.pl:599:
(103)<gt;*>$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(104)0m2m37m40m12m[user]0m49m39m0m0m#0m1m39m49m10m pfc_lib:build_rule([\+genlPreds(A,equals)],rhs([~t(A,B,B)]),((~genlPreds(C,equals)<gt;==> ~t(C,D,D)),mfl4(['P'=E,'X'=F],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/tml_01d.pfc ',40))). 0m49m39m21m0m  %  mpred_core.pl:3579:
(105)$0m0m95m49m12m[logicmoo_util_terms]0m49m0m0m0m0m0m97m40m12m logicmoo_util_terms:doall('<gt;garbage_collected>'). 0m49m0m0m0m  %  misc_terms.pl:1165:
(106)<gt;*>$0m0m97m40m13m[system]0m49m0m0m0m0m0m97m40m12m ignore('<gt;garbage_collected>'). 0m49m0m0m0m  %  init.pl:528:
(107)$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(108)0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_no_nc('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2774:
(109)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2782:
(110)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_1('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2801:
(111)<gt;*>$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_ain_trigger_reprop('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2062:
(112)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_full('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2760:
(113)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:complain_loop('<gt;garbage_collected>',break). 0m49m0m0m0m  %  mpred_core.pl:2766:
(114)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2781:
(115)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_eval_rhs('<gt;garbage_collected>',(\+genlPreds(A,equals),'$nt'(genlPreds(B,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,C,C)])))). 0m49m0m0m0m  %  mpred_core.pl:2815:
(116)<gt;*>$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m10m pfc_lib:mpred_eval_rhs1(~t(A,B,B),(\+genlPreds(A,equals),'$nt'(genlPreds(C,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,B,B)])))). 0m49m39m0m0m  %  mpred_core.pl:2869:
(117)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_post('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1409:
(118)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1080:
(119)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(120)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_post1('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1422:
(121)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1080:
(122)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(123)<gt;*>$0m2m37m40m12m[user]0m49m39m0m0m0m1m91m49m10m pfc_lib:mpred_post2(~t(A,B,B),(\+genlPreds(A,equals),'$nt'(genlPreds(C,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,B,B)])))). 0m49m0m21m0m  %  mpred_core.pl:1435:
(124)<gt;*>$0m2m37m40m12m[user]0m49m39m0m0m0m2m36m49m16m pfc_lib:mpred_post12(~t(A,B,B),(\+genlPreds(A,equals),'$nt'(genlPreds(C,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,B,B)])))). 0m49m39m0m0m  %  mpred_core.pl:1482:
(125)<gt;*>$0m2m37m40m12m[user]0m49m39m0m0m0m1m35m49m11m pfc_lib:mpred_post12_negated(t(A,B,B),(\+genlPreds(A,equals),'$nt'(genlPreds(C,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,B,B)])))). 0m49m39m21m0m  %  mpred_core.pl:1463:
(126)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_post13('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1572:
(127)$0m2m37m40m12m[user]0m49m39m0m0m0m2m37m40m12m pfc_lib:mpred_post13(user,'<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m0m0m  %  mpred_core.pl:1590:
(128)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_post_update4(unique,'<gt;garbage_collected>','<gt;garbage_collected>',none). 0m49m0m0m0m  %  mpred_core.pl:1675:
(129)$0m2m96m49m15m[logicmoo_test]0m49m0m0m0m#0m0m97m40m12m logicmoo_test:'<gt;garbage_collected>'. 0m49m0m0m0m  %  logicmoo_test.pl:274:
(130)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_enqueue('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1876:
(131)$0m2m37m40m12m[user]0m49m39m0m0m0m0m97m40m12m pfc_lib:mpred_enqueue_w_mode('<gt;garbage_collected>',direct,'<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1882:
(132)$0m2m37m40m12m[user]0m49m39m0m0m0m0m95m49m17m pfc_lib:mpred_enqueue_direct((\+genlPreds(A,equals),'$nt'(genlPreds(B,equals),call_u_no_bc(genlPreds(A,equals)),rhs([~t(A,C,C)]))),~t(A,C,C)). 0m49m0m0m0m  %  mpred_core.pl:1902:
(133)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m2m37m40m12m loop_check:loop_check_term(baseKB:mpred_fwc(~t(A,B,B)),mpred_enqueueing(~t(A,B,B)),user:true). 0m49m39m0m0m  %  no_loops.pl:294:
(134)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('<gt;garbage_collected>','<gt;garbage_collected>',1,2213,'<gt;garbage_collected>'). 0m49m0m0m0m  %  no_loops.pl:237:
(135)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_fwc('<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2480:
(136)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>',[]). 0m49m0m0m0m  %  mpred_core.pl:1080:
(137)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(138)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m93m49m10m pfc_lib:mpred_fwc0(~t(A,B,B)). 0m49m0m21m0m  %  mpred_core.pl:2493:
(139)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m1m39m49m10m loop_check:loop_check_term(baseKB:mpred_fwc1(~t(A,B,B)),info(mpred_fwc1(~t(A,B,B)),'mpred_core.pl':2493),baseKB:true). 0m49m39m21m0m  %  no_loops.pl:294:
(140)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('<gt;garbage_collected>','<gt;garbage_collected>',1,2286,'<gt;garbage_collected>'). 0m49m0m0m0m  %  no_loops.pl:237:
(141)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_fwc1('<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2540:
(142)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_m_fwc1(baseKB,'<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:2546:
(143)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_m_fwc1(baseKB,'<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:2549:
(144)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  init.pl:650:
(145)$0m0m97m40m13m[system]0m49m0m0m0m0m0m93m49m15m setup_call_catcher_cleanup(baseKB:asserta(t_l:busy_s(preventedWhen(t(A,B,C),{call(=,B,C)})),<gt;clause>(0x55ac23bed0e0)),baseKB:(mpred_m_fwc2(baseKB,preventedWhen(t(A,B,C),{call(=,B,C)}))->true;true),D,baseKB:(catch(erase(<gt;clause>(0x55ac23bed0e0)),E,fail)->true;true)). 0m49m0m0m0m  %  init.pl:646:
(146)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(147)0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_m_fwc2(baseKB,'<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:2556:
(148)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  init.pl:650:
(149)$0m0m97m40m13m[system]0m49m0m0m0m0m0m93m49m15m setup_call_catcher_cleanup(baseKB:asserta(t_l:busy_f(preventedWhen(t(A,B,C),{call(=,B,C)})),<gt;clause>(0x55ac23becff0)),baseKB:(mpred_do_fact(preventedWhen(t(A,B,C),{call(=,B,C)}))->true;true),D,baseKB:(catch(erase(<gt;clause>(0x55ac23becff0)),E,fail)->true;true)). 0m49m0m0m0m  %  init.pl:646:
(150)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(151)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_do_fact(preventedWhen(t(A,B,C),{call(=,B,C)})). 0m49m0m0m0m  %  mpred_core.pl:2673:
(152)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_do_fcpt(preventedWhen(t(A,B,C),{call(=,B,C)}),preventedWhen(t(D,E,F),{call(=,E,F)})). 0m49m0m0m0m  %  mpred_core.pl:2686:
(153)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_no_nc('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2774:
(154)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2781:
(155)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_eval_rhs('<gt;garbage_collected>',(preventedWhen(t(A,B,C),{call(=,B,C)}),'$pt'(baseKB,preventedWhen(t(D,E,F),{call(=,E,F)}),rhs([(t(D,E,F)/mpred_positive_fact(t(D,E,F)),{call(=,E,F)}==>nesc(~t(D,E,F)))])))). 0m49m0m0m0m  %  mpred_core.pl:2815:
(156)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_eval_rhs1((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C))),(preventedWhen(t(D,E,F),{call(=,E,F)}),'$pt'(baseKB,preventedWhen(t(A,B,C),{call(=,B,C)}),rhs([(t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))])))). 0m49m0m0m0m  %  mpred_core.pl:2869:
(157)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1409:
(158)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1080:
(159)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(160)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post1('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1422:
(161)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1080:
(162)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(163)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_post2((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C))),(preventedWhen(t(D,E,F),{call(=,E,F)}),'$pt'(baseKB,preventedWhen(t(A,B,C),{call(=,B,C)}),rhs([(t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))])))). 0m49m0m0m0m  %  mpred_core.pl:1435:
(164)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post12('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1499:
(165)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post13('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1572:
(166)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_post13(baseKB,'<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:1590:
(167)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post_update4(unique,'<gt;garbage_collected>','<gt;garbage_collected>',none). 0m49m0m0m0m  %  mpred_core.pl:1675:
(168)$0m2m96m49m15m[logicmoo_test]0m49m0m0m0m#0m0m97m40m12m logicmoo_test:'<gt;garbage_collected>'. 0m49m0m0m0m  %  logicmoo_test.pl:274:
(169)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_enqueue('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1876:
(170)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_enqueue_w_mode('<gt;garbage_collected>',direct,'<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1882:
(171)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_enqueue_direct((preventedWhen(t(A,B,C),{call(=,B,C)}),'$pt'(baseKB,preventedWhen(t(D,E,F),{call(=,E,F)}),rhs([(t(D,E,F)/mpred_positive_fact(t(D,E,F)),{call(=,E,F)}==>nesc(~t(D,E,F)))]))),(t(D,E,F)/mpred_positive_fact(t(D,E,F)),{call(=,E,F)}==>nesc(~t(D,E,F)))). 0m49m0m0m0m  %  mpred_core.pl:1902:
(172)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m93m49m15m loop_check:loop_check_term(baseKB:mpred_fwc((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))),mpred_enqueueing((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))),baseKB:true). 0m49m0m0m0m  %  no_loops.pl:294:
(173)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('<gt;garbage_collected>','<gt;garbage_collected>',1,2872,'<gt;garbage_collected>'). 0m49m0m0m0m  %  no_loops.pl:237:
(174)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_fwc('<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2480:
(175)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>',[]). 0m49m0m0m0m  %  mpred_core.pl:1080:
(176)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(177)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m93m49m15m pfc_lib:mpred_fwc0((t(A,B,C)/mpred_positive_fact(t(A,B,C)),{call(=,B,C)}==>nesc(~t(A,B,C)))). 0m49m0m0m0m  %  mpred_core.pl:2493:
(178)$0m1m93m49m16m[loop_check]0m49m0m21m0m0m5m1m @(loop_check:loop_check_term(baseKB:mpred_fwc1((t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1)))),info(mpred_fwc1((t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1)))),'mpred_core.pl':2493),baseKB:true),[S_1=[S_1|A]]). 21m25m0m  %  no_loops.pl:294:
(179)0m1m93m49m16m[loop_check]0m49m0m21m0m0m0m97m40m12m loop_check:loop_check_term_frame('<gt;garbage_collected>','<gt;garbage_collected>',1,2945,'<gt;garbage_collected>'). 0m49m0m0m0m  %  no_loops.pl:237:
(180)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_fwc1('<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2540:
(181)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_m_fwc1(baseKB,'<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:2549:
(182)$0m0m97m40m13m[system]0m49m0m0m0m0m1m36m49m14m setup_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  init.pl:650:
(183)$0m0m97m40m13m[system]0m49m0m0m0m0m5m1m @(setup_call_catcher_cleanup(baseKB:asserta(t_l:busy_s((t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1)))),<gt;clause>(0x55ac14ba7a40)),baseKB:(mpred_m_fwc2(baseKB,(t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1))))->true;true),B,baseKB:(catch(erase(<gt;clause>(0x55ac14ba7a40)),C,fail)->true;true)),[S_1=[S_1|A]]). 21m25m0m  %  init.pl:646:
(184)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(185)<gt;*>0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_m_fwc2(baseKB,(t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}==>nesc(~t(member,S_1,S_1)))),[S_1=[S_1|A]]). 21m25m0m  %  mpred_core.pl:2556:
(186)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_do_rule('<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2571:
(187)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:process_rule('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:3565:
(188)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:process_rule0('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:3567:
(189)$0m1m39m49m10m[aggregate]0m49m39m21m0m0m0m97m40m12m aggregate:foreach('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  aggregate.pl:590:
(190)$0m1m39m49m10m[aggregate]0m49m39m21m0m0m5m1m @(aggregate:prove_list('<gt;garbage_collected>',v(member,S_1,S_1,[t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}]),baseKB:(build_rule([t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}],rhs([nesc(~t(member,S_1,S_1))]),((t(B,C,D)/mpred_positive_fact(t(B,C,D)),{call(=,C,D)}==>nesc(~t(B,C,D))),mfl4(['P'=E,'X'=F],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/tml_01d.pfc',40)))->true;true)),[S_1=[S_1|A]]). 21m25m0m  %  aggregate.pl:599:
(191)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(192)0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:build_rule([t(member,S_1,S_1)/mpred_positive_fact(t(member,S_1,S_1)),{call(=,S_1,S_1)}],rhs([nesc(~t(member,S_1,S_1))]),((t(B,C,D)/mpred_positive_fact(t(B,C,D)),{call(=,C,D)}==>nesc(~t(B,C,D))),mfl4(['P'=E,'X'=F],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/tml_01d.pfc',40))),[S_1=[S_1|A]]). 21m25m0m  %  mpred_core.pl:3579:
(193)$0m0m95m49m12m[logicmoo_util_terms]0m49m0m0m0m0m0m97m40m12m logicmoo_util_terms:doall('<gt;garbage_collected>'). 0m49m0m0m0m  %  misc_terms.pl:1165:
(194)<gt;*>$0m0m97m40m13m[system]0m49m0m0m0m0m0m97m40m12m ignore('<gt;garbage_collected>'). 0m49m0m0m0m  %  init.pl:528:
(195)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m2m36m49m11m '<gt;meta-call>'('<gt;garbage_collected>'). 0m49m39m0m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(196)0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_no_nc('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2774:
(197)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2782:
(198)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_1('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2801:
(199)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_ain_trigger_reprop('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2051:
(200)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_full('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2760:
(201)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:complain_loop('<gt;garbage_collected>',break). 0m49m0m0m0m  %  mpred_core.pl:2766:
(202)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2782:
(203)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_1('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2790:
(204)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2782:
(205)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_1('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2790:
(206)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_eval_lhs_0('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:2781:
(207)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_eval_rhs('<gt;garbage_collected>',(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),[S_1=[S_1|A]]). 21m25m0m  %  mpred_core.pl:2815:
(208)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_eval_rhs1(nesc(~t(member,S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),[S_1=[S_1|A]]). 21m25m0m  %  mpred_core.pl:2869:
(211)0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(212)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_post1(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),[S_1=[S_1|A]]). 21m25m0m  %  mpred_core.pl:1422:
(213)$0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m0m97m40m12m pfc_lib:each_E('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1080:
(214)$0m2m35m49m13m[$apply]0m49m39m0m0m0m0m97m40m12m apply('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  apply.pl:60:
(215)<gt;*>$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_post2(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),[S_1=[S_1|A]]). 21m25m0m  %  mpred_core.pl:1435:
(216)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post12('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1499:
(217)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m0m97m40m12m pfc_lib:mpred_post13('<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m0m0m0m  %  mpred_core.pl:1572:
(218)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m1m39m49m10m pfc_lib:mpred_post13(baseKB,'<gt;garbage_collected>','<gt;garbage_collected>'). 0m49m39m21m0m  %  mpred_core.pl:1590:
(219)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_post_update4(unique,nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))),none),[S_1=[S_1|A]]). 21m25m0m  %  mpred_core.pl:1675:
(220)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m5m1m @(must_sanity:must_det(baseKB:mpred_add_support_fast(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))))),[S_1=[S_1|A]]). 21m25m0m  %  must_sanity.pl:209:
(221)$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m5m1m @(must_sanity:must_once(baseKB:mpred_add_support_fast(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))))),[S_1=[S_1|A]]). 21m25m0m  %  must_sanity.pl:199:
(222)<gt;*>$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m5m1m @(must_sanity:must(baseKB:mpred_add_support_fast(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))))),[S_1=[S_1|A]]). 21m25m0m  %  must_sanity.pl:65:
(223)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @(pfc_lib:mpred_add_support_fast(nesc(~member(S_1,S_1)),(t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),[S_1=[S_1|A]]). 21m25m0m  %  mpred_justify.pl:251:
(224)<gt;*>$0m1m36m49m10m[must_sanity]0m49m39m21m0m0m5m1m @(must_sanity:must_or_rtrace(baseKB:(fix_mp("mpred_add_support_fast",'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))),baseKB,'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))='$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))),baseKB:notify_if_neg_trigger('$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),sanity_check(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),call(baseKB:clause_asserted(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))))),[S_1=[S_1|A]]). 21m25m0m  %  must_sanity.pl:116:
(225)$0m0m97m40m13m[system]0m49m0m0m0m0m5m1m @(catch(baseKB:(fix_mp("mpred_add_support_fast",'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))),baseKB,'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))='$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))),baseKB:notify_if_neg_trigger('$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),sanity_check(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),call(baseKB:clause_asserted(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))))))),E,must_sanity:mor_event(e(E,baseKB:(fix_mp("mpred_add_support_fast",'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))),baseKB,'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))='$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))),baseKB:notify_if_neg_trigger('$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),sanity_check(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),call(baseKB:clause_asserted(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))))))),[S_1=[S_1|A]]). 21m25m0m  %  init.pl:546:
(226)$0m1m39m49m10m[baseKB]0m49m39m21m0m0m5m1m @('<gt;meta-call>'(baseKB:(fix_mp("mpred_add_support_fast",'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))),baseKB,'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))='$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))])))),baseKB:notify_if_neg_trigger('$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),sanity_check(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),call(baseKB:clause_asserted(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))))),[S_1=[S_1|A]]). 21m25m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(227)0m2m93m49m14m[pfc_lib]0m49m0m0m0m0m5m1m @(pfc_lib:sanity_check(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))),baseKB:call(baseKB:clause_asserted(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))),[S_1=[S_1|A]]). 21m25m0m  %  mpred_justify.pl:230:
(228)$0m2m36m49m14m[bugger]0m49m39m0m0m0m5m1m @(bugger:show_call(pfc_lib:must_or_rtrace(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))),[S_1=[S_1|A]]). 21m25m0m  %  bugger.pl:1416:
(229)<gt;*>0m2m36m49m14m[bugger]0m49m39m0m0m0m5m1m @(bugger:show_call(pfc_lib,pfc_lib:must_or_rtrace(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))),[S_1=[S_1|A]]). 21m25m0m  %  bugger.pl:1409:
(230)0m2m36m49m14m[bugger]0m49m39m0m0m0m5m1m @(bugger:show_success(pfc_lib,pfc_lib:must_or_rtrace(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))),[S_1=[S_1|A]]). 21m25m0m  %  bugger.pl:1443:
(231)$0m2m36m49m14m[bugger]0m49m39m0m0m0m5m1m @(first:zotrace(ignore((cyclic_term(pfc_lib:must_or_rtrace(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))),dumpST,dmsg(try_show_success(pfc_lib,cyclic_term))))),[S_1=[S_1|A]]). 21m25m0m  %  first.pl:514:
(232)<gt;*>$0m0m97m40m13m[system]0m49m0m0m0m0m5m1m @(ignore(bugger:(cyclic_term(pfc_lib:must_or_rtrace(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))),dumpST,dmsg(try_show_success(pfc_lib,cyclic_term)))),[S_1=[S_1|A]]). 21m25m0m  %  init.pl:528:
(233)$0m2m36m49m14m[bugger]0m49m39m0m0m0m5m1m @('<gt;meta-call>'(bugger:(cyclic_term(pfc_lib:must_or_rtrace(baseKB:assertz_mu(baseKB:'$spft'(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),'$pt'(baseKB,t(B,C,D),(mpred_positive_fact(t(B,C,D))*->call(=,C,D)*->rhs([nesc(~t(B,C,D))]))))))),dumpST,dmsg(try_show_success(pfc_lib,cyclic_term)))),[S_1=[S_1|A]]). 21m25m0m0m0m93m49m14m no(clause) 0m49m0m0m0m
(234)0m2m36m49m14m[bugger]0m49m39m0m0m0m0m93m49m11m dumpst:dumpST. 0m49m0m0m0m  %  dumpst.pl:150:
%~ try_show_success(pfc_lib,cyclic_term)
ERROR: Unhandled exception: @(must_sanity:e(must_sanity:e(error(resource_error(stack),stack_overflow{choicepoints:71,depth:5920714,environments:5920697,globalused:185075,localused:786347,stack:[frame(5920714,first:unnumbervars4([1|_16060],[],_16052,_16054),[]),frame(5920713,first:unnumbervars4([1|_16096],[],_16088,[1|_16102]),[]),frame(5920712,first:unnumbervars4([1|_16138],[],_16130,[1|_16144]),[]),frame(5920711,first:unnumbervars4([1|_16180],[],_16172,[1|_16186]),[]),frame(5920710,first:unnumbervars4([1|_16222],[],_16214,[1|_16228]),[])],stack_limit:1048576,trailused:46252}),baseKB:assertz_mu(baseKB: $spft(baseKB,nesc(~member(S_1,S_1)),t(member,S_1,S_1),$pt(baseKB,t(_16294,_16296,_16298),(mpred_positive_fact(t(_16294,_16296,_16298))*->call(=,_16296,_16298)*->rhs([nesc(~t(_16294,_16296,_16298))])))))),baseKB:(fix_mp(mpred_add_support_fast,_16374,_16376,_16378),_16374= $spft(_16376,nesc(~member(S_2,S_2)),t(member,S_2,S_2),$pt(baseKB,t(_16440,_16442,_16444),(mpred_positive_fact(t(_16440,_16442,_16444))*->call(=,_16442,_16444)*->rhs([nesc(~t(_16440,_16442,_16444))])))),_16376:notify_if_neg_trigger(_16378),sanity_check(_16376:assertz_mu(_16376:_16378),call(_16376:clause_asserted(_16376:_16378))))),[S_1=[S_1|_16274],S_2=[S_2|_16420]])
~*/
#!/usr/bin/env lmoo-junit

% Quick fwd test
/*~
~*/
#!/usr/bin/env lmoo-junit

% Quick fwd test
:- include(library(logicmoo_test_header)).

/*~
running(-),
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:59
%~ reload_of_test_header.
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))
~*/

:- use_module(library(statistics)).
/*~
~*/

:- statistics.
/*~
% Started at Mon Sep 27 03:03:01 2021
% 10.114 seconds cpu time for 61,657,929 inferences
% 952,627 atoms, 32,720 functors, 31,542 predicates, 747 modules, 16,005,291 VM-codes
%
%                     Limit   Allocated      In use
% Local  stack:           -      698 Mb    3,920  b
% Global stack:           -      262 Mb       72 Kb
% Trail  stack:           -       65 Mb      968  b
%        Total:    1,024 Mb    1,025 Mb       77 Kb
%
% 114 garbage collections gained 679,039,544 bytes in 0.214 seconds.
% 68 atom garbage collections gained 6,033 atoms in 0.983 seconds.
% 72 clause garbage collections gained 16,780 clauses in 0.003 seconds.
% Stack shifts: 33 local, 25 global, 26 trail in 3.159 seconds
% 3 threads, 0 finished threads used 0.000 seconds
~*/

:- cls.
% reset runtime counter

/*~
%~ skipped(messy_on_output,cls)
~*/

% reset runtime counter

:- mpred_test(statistics(runtime,_Secs)).

% Quick fwd test
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/tml_01d.pfc:11
%~ ?-( mpred_test("Test_0002_Line_0000__Runtime_in_user",user:statistics(runtime,_Secs))).
passed=info(why_was_true(user:statistics(runtime,[8430,7491])))
no_proof_for(statistics(runtime,[8430,7491])).

no_proof_for(statistics(runtime,[8430,7491])).

name='logicmoo.pfc.test.sanity_base.TML_01D-Test_0002_Line_0000__Runtime_in_user'.
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.TML_01D'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'tml_01d.pfc\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_test_sanity_base_TML_01D_Test_0002_Line_0000_Runtime_in_user-junit.xml
~*/

% Quick fwd test
taxinomicPair(E,P) ==>
  (t(P,X,Y),t(E,Y, Z) ==> t(P, X, Z)).

/*~
~*/

subRelation(E,P) ==>
  (t(E,X,Y) ==> t(P,X,Y)).

/*~
~*/

edge(1,2).
/*~
~*/

edge(2,3).
/*~
~*/

edge(3,4).

/*~
~*/

taxinomicPair(edge,path).

/*~
~*/

subRelation(edge,path).

/*~
~*/

transitive(path).

/*~
~*/

transitive(P) ==>
  (t(P,X,Y),t(P,Y, Z) ==> t(P, X, Z)).

/*~
~*/

symmetric(P) ==>
  (t(P,X,Y)/dif(X,Y) ==> t(P,Y,X)).

/*~
~*/

symmetric(path).

% provably not a subrelation of equality
/*~
~*/

% provably not a subrelation of equality
antireflexive(P) <gt;==> ~genlPreds(P,equals).
/*~
~*/

~genlPreds(P,equals) <gt;==> ~t(P,X,X).

/*~
~*/

a
goal=user: ~path(_3484644,_3484644).
time=0.0005581378936767578.
failure=failure=info((why_was_true(user:(\+ ~path(_3399856,_3399856))),nop(ftrace(user: ~path(_3399856,_3399856)))))
no_proof_for(\+ ~path(X,X)).

no_proof_for(\+ ~path(X,X)).

no_proof_for(\+ ~path(X,X)).

result=failure.