ALL TESTs




Running Matching Tests: ./test_prolog.sh -k *_01*.p* *_02*.p* *_03*.p* *_04*.p* *_05*.p* *_06*.p* *_07*.p* *_08*.p* *_09*.p* *_10*.p* *_11*.p* *_12*.p*


swipl -g 'set_prolog_flag(runtime_testing,5)' -g "(['answerable_t_01.pfc.pl'])" -g "test_completed"
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 No justifications for weak_test(weak1,"WeAK2"). 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 No justifications for weak_test(weak1,"WeAK2"). 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 No justifications for weak_test(weak1,"WeAK2"). 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:- dynamic exactlyAssertedEL_first/5.

exactlyAssertedEL_first(isa, xor, rtLogicalConnective, iUniversalVocabularyMt, vStrDef).
exactlyAssertedEL_first(isa, xor, iELRelationOneWay, iUniversalVocabularyMt, vStrDef).
exactlyAssertedEL_first(isa, xor, rtCommutativeRelation, iUniversalVocabularyMt, vStrDef).

% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( fallacy_t(PROP2)) :- 
  falsify( unknown_t(PROP2)) , 
  falsify( false_t(PROP2)) , 
  falsify( true_t(PROP2)).
proven_tru( false_t(PROP)) :- 
  falsify( unknown_t(PROP)) , 
  falsify( true_t(PROP)) , 
  falsify( fallacy_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( true_t(PROP)) :- 
  falsify( unknown_t(PROP)) , 
  falsify( false_t(PROP)) , 
  falsify( fallacy_t(PROP)).
proven_tru( unknown_t(PROP)) :- 
  falsify( false_t(PROP)) , 
  falsify( true_t(PROP)) , 
  falsify( fallacy_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( false_t(PROP2)) :- 
  falsify( true_t(PROP2)) , 
  falsify( unknown_t(PROP2)).
proven_tru( true_t(PROP)) :- 
  falsify( false_t(PROP)) , 
  falsify( unknown_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( unknown_t(PROP)) :- 
  falsify( true_t(PROP)) , 
  falsify( false_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( fallacy_t(PROP2)) :- 
  falsify( unknown_t(PROP2)) , 
  falsify( true_t(PROP2)) , 
  falsify( false_t(PROP2)).
proven_tru( false_t(PROP)) :- 
  falsify( fallacy_t(PROP)) , 
  falsify( unknown_t(PROP)) , 
  falsify( true_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( true_t(PROP)) :- 
  falsify( fallacy_t(PROP)) , 
  falsify( unknown_t(PROP)) , 
  falsify( false_t(PROP)).
proven_tru( unknown_t(PROP)) :- 
  falsify( fallacy_t(PROP)) , 
  falsify( true_t(PROP)) , 
  falsify( false_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( answerable_t(PROP2)) :-  
     
  falsify(askable_t(PROP2));nesc(unknown_t(PROP2)).
proven_neg( askable_t(PROP)) :- 
  falsify( unknown_t(PROP)) , 
  falsify( answerable_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( unknown_t(PROP)) :-  
     
  nesc( answerable_t(PROP)).
proven_tru( answerable_t(PROP)) :- 
  nesc( askable_t(PROP)) , 
  falsify( unknown_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( askable_t(PROP)) :-  
     
  nesc( answerable_t(PROP)).
proven_tru( unknown_t(PROP)) :- 
  nesc( askable_t(PROP)) , 
  falsify( answerable_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( answerable_t(PROP2)) :- 
  falsify( true_t(PROP2)) , 
  falsify( false_t(PROP2)).
proven_tru( false_t(PROP)) :- 
  falsify( true_t(PROP)) , 
  nesc( answerable_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( true_t(PROP)) :- 
  falsify( false_t(PROP)) , 
  nesc( answerable_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( askable_t(PROP2)) :-  
     
  nesc( fallacy_t(PROP2)).
proven_neg( fallacy_t(PROP)) :-  
     
  nesc( askable_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( askable_t(PROP)) :-  
     
  falsify( fallacy_t(PROP)).
proven_tru( fallacy_t(PROP)) :-  
     
  falsify( askable_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( askable_t(PROP2)) :- 
  falsify( true_t(PROP2)) , 
  falsify( unknown_t(PROP2)) , 
  falsify( false_t(PROP2)).
proven_tru( false_t(PROP)) :- 
  falsify( true_t(PROP)) , 
  falsify( unknown_t(PROP)) , 
  nesc( askable_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( true_t(PROP)) :- 
  falsify( unknown_t(PROP)) , 
  falsify( false_t(PROP)) , 
  nesc( askable_t(PROP)).
proven_tru( unknown_t(PROP)) :- 
  falsify( true_t(PROP)) , 
  falsify( false_t(PROP)) , 
  nesc( askable_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( askable_t(PROP2)) :-  
     
  falsify( fallacy_t(PROP2)).
proven_tru( fallacy_t(PROP)) :-  
     
  falsify( askable_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( asserted_t(PROP2)) :-  
     
  falsify( true_t(PROP2)).
proven_tru( true_t(PROP)) :-  
     
  nesc( asserted_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( fallacy_t(PROP2)) :-  
     
  (   falsify( false_t(PROP2))  ;
    falsify( true_t(PROP2)) ; 
    nesc( unknown_t(PROP2)) ; 
    nesc( possible_t(PROP2))).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( possible_t(PROP)) :-  
     
  nesc( fallacy_t(PROP)).
proven_neg( unknown_t(PROP)) :-  
     
  nesc( fallacy_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( false_t(PROP)) :-  
     
  nesc( fallacy_t(PROP)).
proven_tru( true_t(PROP)) :-  
     
  nesc( fallacy_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( false_t(PROP2)) :- 
  nesc( true_t(PROP2)) , 
  falsify( fallacy_t(PROP2)).
proven_neg( true_t(PROP)) :- 
  nesc( false_t(PROP)) , 
  falsify( fallacy_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( fallacy_t(PROP)) :- 
  nesc( true_t(PROP)) , 
  nesc( false_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( false_t(PROP2)) :- 
  falsify( true_t(PROP2)) , 
  falsify( unknown_t(PROP2)).
proven_tru( true_t(PROP)) :- 
  falsify( unknown_t(PROP)) , 
  falsify( false_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( unknown_t(PROP)) :- 
  falsify( true_t(PROP)) , 
  falsify( false_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( true_t(PROP2)) :-  
     
  falsify( possible_t(PROP2)).
proven_tru( possible_t(PROP)) :-  
     
  nesc( true_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( fallacy_t(PROP2)) :-  
     
  nesc( possible_t(PROP2)).
proven_neg( false_t(PROP)) :-  
     
  nesc( possible_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( possible_t(PROP)) :-  
     
  nesc(false_t(PROP));nesc(fallacy_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( fallacy_t(PROP2)) :- 
  falsify( false_t(PROP2)) , 
  falsify( possible_t(PROP2)) , 
  falsify( true_t(PROP2)).
proven_tru( false_t(PROP)) :- 
  falsify( fallacy_t(PROP)) , 
  falsify( possible_t(PROP)) , 
  falsify( true_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( possible_t(PROP)) :- 
  falsify( false_t(PROP)) , 
  falsify( fallacy_t(PROP)) , 
  falsify( true_t(PROP)).
proven_tru( true_t(PROP)) :- 
  falsify( false_t(PROP)) , 
  falsify( fallacy_t(PROP)) , 
  falsify( possible_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( false_t(PROP2)) :-  
     
  (   nesc( true_t(PROP2))  ;
    nesc( possible_t(PROP2)) ; 
    nesc( unknown_t(PROP2))).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( possible_t(PROP)) :-  
     
  nesc( false_t(PROP)).
proven_neg( true_t(PROP)) :-  
     
  nesc( false_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( unknown_t(PROP)) :-  
     
  nesc( false_t(PROP)).
proven_tru( false_t(PROP)) :- 
  falsify( true_t(PROP)) , 
  falsify( possible_t(PROP)) , 
  falsify( unknown_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( possible_t(PROP)) :- 
  falsify( true_t(PROP)) , 
  falsify( unknown_t(PROP)) , 
  falsify( false_t(PROP)).
proven_tru( true_t(PROP)) :- 
  falsify( possible_t(PROP)) , 
  falsify( unknown_t(PROP)) , 
  falsify( false_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( unknown_t(PROP)) :- 
  falsify( true_t(PROP)) , 
  falsify( possible_t(PROP)) , 
  falsify( false_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( false_t(PROP2)) :-  
     
  nesc( true_t(PROP2)).
proven_neg( true_t(PROP)) :-  
     
  (   nesc( false_t(PROP))  ;
    falsify( possible_t(PROP)) ; 
    nesc( unknown_t(PROP))).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( unknown_t(PROP)) :-  
     
  nesc( true_t(PROP)).
proven_tru( possible_t(PROP)) :-  
     
  nesc( true_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( asserted_t(PROP2)) :- 
  falsify( possible_t(PROP2)) , 
  falsify( false_t(PROP2)) , 
  falsify( fallacy_t(PROP2)).
proven_tru( fallacy_t(PROP)) :- 
  falsify( possible_t(PROP)) , 
  falsify( false_t(PROP)) , 
  falsify( asserted_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( false_t(PROP)) :- 
  falsify( possible_t(PROP)) , 
  falsify( fallacy_t(PROP)) , 
  falsify( asserted_t(PROP)).
proven_tru( possible_t(PROP)) :- 
  falsify( false_t(PROP)) , 
  falsify( fallacy_t(PROP)) , 
  falsify( asserted_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( fallacy_t(PROP2)) :- 
  falsify( false_t(PROP2)) , 
  falsify( possible_t(PROP2)).
proven_tru( false_t(PROP)) :- 
  falsify( fallacy_t(PROP)) , 
  falsify( possible_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( possible_t(PROP)) :- 
  falsify( false_t(PROP)) , 
  falsify( fallacy_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( fallacy_t(PROP2)) :-  
     
  nesc( possible_t(PROP2)).
proven_neg( false_t(PROP)) :-  
     
  nesc( possible_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( possible_t(PROP)) :-  
     
  nesc(false_t(PROP));nesc(fallacy_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( asserted_t(PROP2)) :-  
     
  nesc( unknown_t(PROP2)).
proven_neg( false_t(PROP)) :-  
     
  nesc( unknown_t(PROP)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( true_t(PROP)) :-  
     
  nesc( unknown_t(PROP)).
proven_neg( unknown_t(PROP)) :-  
     
  (   nesc( true_t(PROP))  ;
    falsify( possible_t(PROP)) ; 
    nesc( asserted_t(PROP)) ; 
    nesc( false_t(PROP))).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( possible_t(PROP)) :-  
     
  nesc( unknown_t(PROP)).
:- dynamic test_results/3.




SUCCESS: ./test_prolog.sh -k answerable_t_01.pfc.pl (returned 7)


swipl -g 'set_prolog_flag(runtime_testing,5)' -g "(['birds_01c.pfc.pl'])" -g "test_completed"
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 No justifications for weak_test(weak1,"WeAK2"). 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 No justifications for weak_test(weak1,"WeAK2"). 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 No justifications for weak_test(weak1,"WeAK2"). 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:- dynamic exactlyAssertedEL_first/5.

exactlyAssertedEL_first(isa, xor, rtLogicalConnective, iUniversalVocabularyMt, vStrDef).
exactlyAssertedEL_first(isa, xor, iELRelationOneWay, iUniversalVocabularyMt, vStrDef).
exactlyAssertedEL_first(isa, xor, rtCommutativeRelation, iUniversalVocabularyMt, vStrDef).

:- dynamic test_results/3.




SUCCESS: ./test_prolog.sh -k birds_01c.pfc.pl (returned 7)


swipl -g 'set_prolog_flag(runtime_testing,5)' -g "(['boxlog_sanity_01.pfc.pl'])" -g "test_completed"
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 No justifications for weak_test(weak1,"WeAK2"). 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 No justifications for weak_test(weak1,"WeAK2"). 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 No justifications for weak_test(weak1,"WeAK2"). 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:- dynamic exactlyAssertedEL_first/5.

exactlyAssertedEL_first(isa, xor, rtLogicalConnective, iUniversalVocabularyMt, vStrDef).
exactlyAssertedEL_first(isa, xor, iELRelationOneWay, iUniversalVocabularyMt, vStrDef).
exactlyAssertedEL_first(isa, xor, rtCommutativeRelation, iUniversalVocabularyMt, vStrDef).

% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( room(Sk_Sk_Sk_Room_Sk_R)) :- 
  skolem( Has_Room_SkDDoorArg2_1_0FnSk_SkF_D, 
    skF( 1, 
      skDDoorArg2_1_0FnSk(Sk_Sk_Sk_Room_Sk_R), 
      Has_Room_SkDDoorArg2_1_0FnSk_SkF_D, 
      [ a( door(Has_Room_SkDDoorArg2_1_0FnSk_SkF_D)) =  
             
          true, 
        p(has(Sk_Sk_Sk_Room_Sk_R,Has_Room_SkDDoorArg2_1_0FnSk_SkF_D)) =  
             
          true, 
        q( room(Sk_Sk_Sk_Room_Sk_R)) =  
             
          true])) , 
  ( falsify( door(Has_Room_SkDDoorArg2_1_0FnSk_SkF_D)) ; 
    falsify( has(Sk_Sk_Sk_Room_Sk_R,Has_Room_SkDDoorArg2_1_0FnSk_SkF_D))).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( door(D)) :- 
  skolem( D, 
    skF( 1, 
      skDDoorArg2_1_0FnSk(R), 
      D, 
      [ a( door(D)) =  
             
          true, 
        p(has(R,D)) =  
             
          true, 
        q( room(R)) =  
             
          true])) , 
  nesc( room(R)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( has(R,D)) :- 
  skolem( D, 
    skF( 1, 
      skDDoorArg2_1_0FnSk(R), 
      D, 
      [ a( door(D)) =  
             
          true, 
        p(has(R,D)) =  
             
          true, 
        q( room(R)) =  
             
          true])) , 
  nesc( room(R)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
make_existential( D, 
  skF( 1, 
    skDDoorArg2_1_0FnSk(R), 
    D, 
    [ a( door(D)) =  
           
        true, 
      p(has(R,D)) =  
           
        true, 
      q( room(R)) =  
           
        true])) :- 
  ensure_cond(D,room(R)) , 
  ensure_cond(D,door(D)) , 
  ensure_cond(D,has(R,D)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( knob(Knob_Door_Has_K)) :- 
  skolem( Knob_Door_Has_K, 
    skF( 1, 
      skKKnobArg2_1_0FnSk(Sk_Sk_Door_Sk_D), 
      Knob_Door_Has_K, 
      [ a( knob(Knob_Door_Has_K)) =  
             
          true, 
        p(has(Sk_Sk_Door_Sk_D,Knob_Door_Has_K)) =  
             
          true])) , 
  nesc( door(Sk_Sk_Door_Sk_D)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( has(D,K)) :- 
  skolem( K, 
    skF( 1, 
      skKKnobArg2_1_0FnSk(D), 
      K, 
      [ a( knob(K)) =  
             
          true, 
        p(has(D,K)) =  
             
          true])) , 
  nesc( door(D)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
make_existential( K, 
  skF( 1, 
    skKKnobArg2_1_0FnSk(D), 
    K, 
    [ a( knob(K)) =  
           
        true, 
      p(has(D,K)) =  
           
        true])) :- 
  ensure_cond(K,knob(K)) , 
  ensure_cond(K,has(D,K)) , 
  ensure_cond(K,door(D)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( room(R111_SkF_ExistsRoomNamed_1_0FnSk21)) :-  
     
  skolem( R111_SkF_ExistsRoomNamed_1_0FnSk21, 
    skF( 1, 
      skExistsRoomNamed_1_0FnSk, 
      R111_SkF_ExistsRoomNamed_1_0FnSk21, 
      [ a( room(R111_SkF_ExistsRoomNamed_1_0FnSk21)) =  
             
          true, 
        o( isNamed(R111_SkF_ExistsRoomNamed_1_0FnSk21,r111)) =  
             
          true])).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( isNamed(R11124,r111)) :-  
     
  skolem( SkF26, 
    skF( 1, 
      skExistsRoomNamed_1_0FnSk, 
      ExistsRoomNamed_1_0FnSk25, 
      [ a( room(Room27)) =  
             
          true, 
        o( isNamed(_2443394,r111)) =  
             
          true])).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
make_existential( SkF29, 
  skF( 1, 
    skExistsRoomNamed_1_0FnSk, 
    ExistsRoomNamed_1_0FnSk28, 
    [ a( room(Room33)) =  
           
        true, 
      o( isNamed(_2487216,r111)) =  
           
        true])) :- 
  ensure_cond(Named,isNamed(R11130,r111)) , 
  ensure_cond(Room32,room(Room34)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_neg( room(SkXRoom_4_0FnSk_SkF_X)) :-  
     
  not_in( SkXRoom_4_0FnSk_SkF_X, 
    skF(4,skXRoom_4_0FnSk,SkXRoom_4_0FnSk_SkF_X,[a(room(SkXRoom_4_0FnSk_SkF_X))=true])).
proven_tru( room(X)) :-  
     
  skolem(X,skF(4,skXRoom_4_0FnSk,X,[a(room(X))=true])).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
make_existential(X,skF(4,skXRoom_4_0FnSk,X,[a(room(X))=true])) :-  
     
  ensure_cond(X,room(X)).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
nesc( room(r333)) :-  
     
  true.
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( room(Named_R444_SkF_ExistsRoomArg2_1_0FnSk23)) :-  
     
  skolem( Named_R444_SkF_ExistsRoomArg2_1_0FnSk23, 
    skF( 1, 
      skExistsRoomArg2_1_0FnSk, 
      Named_R444_SkF_ExistsRoomArg2_1_0FnSk23, 
      [ a( room(Named_R444_SkF_ExistsRoomArg2_1_0FnSk23)) =  
             
          true, 
        o( isNamed(Named_R444_SkF_ExistsRoomArg2_1_0FnSk23,r444)) =  
             
          true])).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
proven_tru( isNamed(R44427,r444)) :-  
     
  skolem( SkF29, 
    skF( 1, 
      skExistsRoomArg2_1_0FnSk, 
      ExistsRoomArg2_1_0FnSk28, 
      [ a( room(Room30)) =  
             
          true, 
        o( isNamed(_3613138,r444)) =  
             
          true])).
% From /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:979
make_existential( SkF32, 
  skF( 1, 
    skExistsRoomArg2_1_0FnSk, 
    ExistsRoomArg2_1_0FnSk31, 
    [ a( room(Room36)) =  
           
        true, 
      o( isNamed(_3657660,r444)) =  
           
        true])) :- 
  ensure_cond(Room33,room(Room37)) , 
  ensure_cond(Named35,isNamed(R44434,r444)).
:- dynamic test_results/3.




SUCCESS: ./test_prolog.sh -k boxlog_sanity_01.pfc.pl (returned 7)


swipl -g 'set_prolog_flag(runtime_testing,5)' -g "(['exactly_01p.pfc.clif'])" -g "test_completed"
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 No justifications for weak_test(weak1,"WeAK2"). 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 No justifications for weak_test(weak1,"WeAK2"). 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 No justifications for weak_test(weak1,"WeAK2"). 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:- dynamic exactlyAssertedEL_first/5.

exactlyAssertedEL_first(isa, xor, rtLogicalConnective, iUniversalVocabularyMt, vStrDef).
exactlyAssertedEL_first(isa, xor, iELRelationOneWay, iUniversalVocabularyMt, vStrDef).
exactlyAssertedEL_first(isa, xor, rtCommutativeRelation, iUniversalVocabularyMt, vStrDef).

(0)$[system] '$c_call_prolog'.  no(clause) 
(1)$[$toplevel] '$initialise'.   %  toplevel.pl:486: 
(2)$[system] catch('$toplevel':initialise_prolog,A,'$toplevel':initialise_error(A)).   %  init.pl:546: 
(3)[$toplevel] initialise_prolog.   %  toplevel.pl:494: 
(5)[$toplevel] run_init_goals('<garbage_collected>').   %  toplevel.pl:547: 
(7)<*>$[$toplevel] run_init_goal('<garbage_collected>','([\'exactly_01p.pfc.clif\'])').   %  toplevel.pl:577: 
(8)$[system] catch_with_backtrace('<garbage_collected>','<garbage_collected>','<garbage_collected>').   %  init.pl:613: 
(9)$[system] catch(user:['exactly_01p.pfc.clif'],A,'$toplevel':true).   %  init.pl:546: 
(17)$[system] '$load_file'('exactly_01p.pfc.clif',user,'<garbage_collected>').   %  init.pl:2353: 
(20)$[system] '$sig_atomic'(setup_call_cleanup(with_mutex('$load_file','$mt_start_load'('/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif',<clause>(0x55db4b810e80),[expand(false),expand(true)])),'$mt_do_load'(<clause>(0x55db4b810e80),'exactly_01p.pfc.clif','/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif',user,[expand(false),expand(true)]),'$mt_end_load'(<clause>(0x55db4b810e80)))).  no(clause) 
(21)$[system] '$c_call_prolog'.  no(clause) 
(23)$[system] setup_call_catcher_cleanup(system:with_mutex('$load_file','$mt_start_load'('/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif',<clause>(0x55db4b810e80),[expand(false),expand(true)])),system:'$mt_do_load'(<clause>(0x55db4b810e80),'exactly_01p.pfc.clif','/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif',user,[expand(false),expand(true)]),A,system:'$mt_end_load'(<clause>(0x55db4b810e80))).   %  init.pl:646: 
(25)$[system] '$qdo_load_file'('exactly_01p.pfc.clif','/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif',user,[expand(false),expand(true)]).   %  init.pl:2546: 
(28)<*>$[system] '$do_load_file_2'('exactly_01p.pfc.clif','/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif',user,compiled,[expand(false),expand(true)]).   %  init.pl:2592: 
(32)$[system] setup_call_catcher_cleanup(system:'$start_consult'('/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif',1629163990.5986555),system:'$load_file'('/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif','/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif',A,[expand(false),expand(true)]),B,system:'$end_consult'('/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif',lexstate(202,swi),user)).   %  init.pl:646: 
(33)<*>$[system] '$load_file'('/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif','/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif',A,[expand(false),expand(true)]).   %  init.pl:3006: 
(34)$[system] '$compile_term'((:-load_clif(pack(logicmoo_base/t/examples/fol/'exactly_01p.pfc.clif'))),A,'/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif').   %  init.pl:3073: 
(35)$[system] '$compile_term'((:-load_clif(pack(logicmoo_base/t/examples/fol/'exactly_01p.pfc.clif'))),A,'/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif',-).   %  init.pl:3083: 
(36)$[system] '$execute_directive'(load_clif(pack(logicmoo_base/t/examples/fol/'exactly_01p.pfc.clif')),'/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif').   %  init.pl:3548: 
(37)$[system] '$execute_directive_2'(load_clif(pack(logicmoo_base/t/examples/fol/'exactly_01p.pfc.clif')),'/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif').   %  init.pl:3570: 
(38)<*>$[system] '$execute_directive_3'(load_clif(pack(logicmoo_base/t/examples/fol/'exactly_01p.pfc.clif'))).   %  init.pl:3573: 
(39)$[system] catch(baseKB:load_clif(pack(logicmoo_base/t/examples/fol/'exactly_01p.pfc.clif')),error(A,B),system:'$exception_in_directive'(error(A,B))).   %  init.pl:546: 
(40)[baseKB] common_logic_loader:load_clif(pack(logicmoo_base/t/examples/fol/'exactly_01p.pfc.clif')).   %  common_logic_loader.pl:48: 
(41)[common_logic_loader] common_logic_loader:with_ext_translation('/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif',clif,baseKB:kif_process_ignore).   %  common_logic_loader.pl:58: 
(42)[s3xpr] s3xpr:with_lisp_translation('/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif',baseKB:kif_process_ignore).   %  sreader.pl:104: 
(43)[system] setup_call_cleanup(s3xpr:l_open_input('/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif',<stream>(0x55db58335c00)),s3xpr:with_lisp_translation_stream(<stream>(0x55db58335c00),baseKB:kif_process_ignore),s3xpr:(notrace_catch_fail(close(<stream>(0x55db58335c00)))->true;true)).   %  init.pl:650: 
(44)$[system] setup_call_catcher_cleanup(s3xpr:l_open_input('/opt/logicmoo_workspace/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif',<stream>(0x55db58335c00)),s3xpr:with_lisp_translation_stream(<stream>(0x55db58335c00),baseKB:kif_process_ignore),A,s3xpr:(notrace_catch_fail(close(<stream>(0x55db58335c00)))->true;true)).   %  init.pl:646: 
(45)[s3xpr] s3xpr:with_lisp_translation_stream(<stream>(0x55db58335c00),baseKB:kif_process_ignore).   %  sreader.pl:109: 
(46)[s3xpr] s3xpr:lisp_read(<stream>(0x55db58335c00),A).   %  sreader.pl:1008: 
(47)[s3xpr] s3xpr:lisp_read_typed(<stream>(0x55db58335c00),A).   %  sreader.pl:1018: 
(48)[dcg_meta] dcg_meta:track_stream(<stream>(0x55db58335c00),s3xpr:parse_sexpr(<stream>(0x55db58335c00),A)).   %  dcg_meta.pl:552: 
(49)[s3xpr] s3xpr:parse_sexpr(<stream>(0x55db58335c00),A).   %  sreader.pl:201: 
(50)$[s3xpr] notrace(parse_meta_term(file_sexpr_with_comments,<stream>(0x55db58335c00),A)).  no(clause) 
(51)$[system] '$c_call_prolog'.  no(clause) 
(54)$[system] catch(s3xpr:parse_meta_stream_1(file_sexpr_with_comments,<stream>(0x55db58335c00),A),end_of_stream_signal(B,<stream>(0x55db58335c00)),s3xpr:(A=end_of_file)).   %  init.pl:546: 
(57)<*>[dcg_meta] dcg_meta:phrase_from_buffer_codes(s3xpr:file_meta_with_comments(file_sexpr_with_comments,A),<stream>(0x55db58335c00)).   %  dcg_meta.pl:715: 
(59)<*>[must_sanity]# must_sanity:mor_event(f(dcg_meta:phrase(s3xpr:file_meta_with_comments(file_sexpr_with_comments,A),[35,33,47,...(B)],C))).   %  must_sanity.pl:86: 
(60)[must_sanity]# must_sanity:handle_mor_event(f(dcg_meta:phrase(s3xpr:file_meta_with_comments(file_sexpr_with_comments,A),[35,33,47,...(B)],C))).   %  must_sanity.pl:81: 
(63)[butterfly] butterfly:in_bfly(f,must_sanity:zotrace(with_all_dmsg((prolog_current_frame(1121),b_setval('$dump_frame',1121),dumpST1)))).   %  butterfly_console.pl:212: 
(65)[system] setup_call_catcher_cleanup(butterfly:bfly_set(butterfly,f),must_sanity:zotrace(with_all_dmsg((prolog_current_frame(1121),b_setval('$dump_frame',1121),dumpST1))),A,butterfly:bfly_set(butterfly,f)).   %  init.pl:646: 
(66)$[must_sanity] first:zotrace(with_all_dmsg((prolog_current_frame(1121),b_setval('$dump_frame',1121),dumpST1))).   %  first.pl:498: 
(70)[locally_each] locally_each:wtl_how(locally_each:trusted_redo_call_cleanup,locally_each:(always==[never,error,warning,info,filter,always]),dmsg:set_prolog_flag(dmsg_level,always),dmsg:locally(tlbugger:dmsg_match(show,A),must_sanity:(prolog_current_frame(1121),b_setval('$dump_frame',1121),dumpST1)),dmsg:set_prolog_flag(dmsg_level,[never,error,warning,info,filter,always])).   %  redo_locally.pl:199: 
(73)[system] setup_call_catcher_cleanup(dmsg:set_prolog_flag(dmsg_level,always),each_call_cleanup:((dmsg:locally(tlbugger:dmsg_match(show,A),must_sanity:(prolog_current_frame(1121),b_setval('$dump_frame',1121),dumpST1)),deterministic(B)),(notrace(B==true)->!;mquietly(dmsg:set_prolog_flag(dmsg_level,[never,error,warning,info,filter,always])),notrace(nb_setarg(1,mquietly(dmsg:set_prolog_flag(dmsg_level,[never,error,warning,info,filter,always])),true));dmsg:set_prolog_flag(dmsg_level,always),notrace(nb_setarg(1,mquietly(dmsg:set_prolog_flag(dmsg_level,[never,error,warning,info,filter,always])),dmsg:set_prolog_flag(dmsg_level,[never,error,warning,info,filter,always]))),notrace(fail))),C,each_call_cleanup:mquietly(dmsg:set_prolog_flag(dmsg_level,[never,error,warning,info,filter,always]))).   %  init.pl:646: 
(74)$[each_call_cleanup] '<meta-call>'(each_call_cleanup:((dmsg:locally(tlbugger:dmsg_match(show,A),must_sanity:(prolog_current_frame(1121),b_setval('$dump_frame',1121),dumpST1)),deterministic(B)),(notrace(B==true)->!;mquietly(dmsg:set_prolog_flag(dmsg_level,[never,error,warning,info,filter,always])),notrace(nb_setarg(1,mquietly(dmsg:set_prolog_flag(dmsg_level,[never,error,warning,info,filter,always])),true));dmsg:set_prolog_flag(dmsg_level,always),notrace(nb_setarg(1,mquietly(dmsg:set_prolog_flag(dmsg_level,[never,error,warning,info,filter,always])),dmsg:set_prolog_flag(dmsg_level,[never,error,warning,info,filter,always]))),notrace(fail)))).  no(clause) 
(78)[locally_each]# locally_each:wtl_how(must_sanity:ecc,locally_each:clause_true(tlbugger,tlbugger:dmsg_match(show,A)),locally_each:key_asserta(tlbugger,tlbugger:dmsg_match(show,A)),must_sanity:(prolog_current_frame(1121),b_setval('$dump_frame',1121),dumpST1),locally_each:key_erase(tlbugger)).   %  redo_locally.pl:199: 
(82)[system] setup_call_catcher_cleanup(locally_each:key_asserta(tlbugger,tlbugger:dmsg_match(show,A)),each_call_cleanup:((must_sanity:(prolog_current_frame(1121),b_setval('$dump_frame',1121),dumpST1),deterministic(B)),(notrace(B==true)->!;mquietly(locally_each:key_erase(tlbugger)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(tlbugger)),true));locally_each:key_asserta(tlbugger,tlbugger:dmsg_match(show,A)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(tlbugger)),locally_each:key_erase(tlbugger))),notrace(fail))),C,each_call_cleanup:mquietly(locally_each:key_erase(tlbugger))).   %  init.pl:646: 
(83)$[each_call_cleanup] '<meta-call>'(each_call_cleanup:((must_sanity:(prolog_current_frame(1121),b_setval('$dump_frame',1121),dumpST1),deterministic(A)),(notrace(A==true)->!;mquietly(locally_each:key_erase(tlbugger)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(tlbugger)),true));locally_each:key_asserta(tlbugger,tlbugger:dmsg_match(show,B)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(tlbugger)),locally_each:key_erase(tlbugger))),notrace(fail)))).  no(clause)