logicmoo_workspace icon indicating copy to clipboard operation
logicmoo_workspace copied to clipboard

Published 20 hours ago • verified publisher icon logicmoo

logicmoo.base.examples.fol.KIF_IO_TEST_01 JUnit

Open TeamSPoon opened this issue 4 years ago • 0 comments
trafficstars

(cd /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['kif_io_test_01.pl']")

% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/KIF_IO_TEST_01/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AKIF_IO_TEST_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/608

%~ init_phase(after_load)
%~ init_phase(restore_state)
%
%~ init_why(after_boot,program)
%~ after_boot.
%~ Dont forget to ?- logicmoo_i_cyc_xform.
running('/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl'),
%~ this_test_might_need( :-( expects_dialect(pfc)))
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:93 
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))


% 
% Alternatively..
% :- prolog_load_context(stream,Stream), load_clif(Stream).
:- kif_io.

/*~
%~ comment("; Module - Test Puzzle in CLIF for SWI-Prolog")
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl:94 
%~ comment("; Maintainer: Douglas Miles")
%~ comment("; Load with  ?- load_clif(pack(logicmoo_base/t/examples/fol/'exactly_01.clif'))")
%~ comment("; causes deduction of argument types")
%~ comment("; (:- (ensure_loaded (library logicmoo_clif)))")
%~ 'set-kif-option'('assume-wff')
t_l:kif_action_mode(tell)
%~ debugm( baseKB,
%~   show_success(baseKB,baseKB:ain(clif('call-prolog'('$STRING'("\n\n:- dbreq(retractall(clif(_))).\n\n"))))))
%   xgrun compiled into parser_chat80 0.00 sec, 0 clauses
%   xgproc compiled into parser_chat80 0.02 sec, 0 clauses


** Grammar from file /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/clone.xg: -87 words .. **



** Grammar from file /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/lex.xg: 57 words .. **

%  chatops compiled into parser_chat80 0.00 sec, 0 clauses
%  chatops compiled into parser_chat80 0.00 sec, 0 clauses
% :- share_mfa_pt2(parser_chat80,test_chat80,1).
% :- share_mfa_pt2(parser_chat80,hi80,0).
% :- share_mfa_pt2(parser_chat80,hi80,1).
% :- share_mfa_pt2(parser_chat80,control80,1).
% :- share_mfa_pt2(parser_chat80,trace_chat80,1).
%  /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/load compiled into parser_chat80 2.69 sec, 3 clauses
% /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/debuggery/dmsg compiled into dmsg 0.13 sec, -16 clauses




=======================================================
'call-prolog'('$STRING'("\n\n:- dbreq(retractall(clif(_))).\n\n"))
============================================


?- kif_to_boxlog( 'call-prolog'('$STRING'("\n\n:- dbreq(retractall(clif(_))).\n\n")) ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  "\n\n:- dbreq(retractall(clif(_))).\n\n" isa '$STRING' isa 'call-prolog'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ azzert_rename('call-prolog',callProlog)
%~ kif_to_boxlog_attvars2 = necessary(callProlog('$STRING'("\n\n:- dbreq(retractall(clif(_))).\n\n")))

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s): 
nesc(callProlog('$STRING'("\n\n:- dbreq(retractall(clif(_))).\n\n"))).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  it is necessarily true that "\n\n:- dbreq(retractall(clif(_))).\n\n" isa '$STRING' isa callProlog
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

nesc( callProlog( '$STRING'("\n\n:- dbreq(retractall(clif(_))).\n\n"))).

============================================
%~ debugm(baseKB,show_success(baseKB,baseKB:ain(clif(domain(hasName,1,tAgent)))))




=======================================================
domain(hasName,1,tAgent)
============================================


?- kif_to_boxlog( domain(hasName,1,tAgent) ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  domain(hasName,1,tAgent)
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(argIsa(hasName,1,tAgent))

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s): 
nesc(argIsa(hasName,1,tAgent)).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  it is necessarily true that argIsa(hasName,1,tAgent)
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

nesc( argIsa(hasName,1,tAgent)).

============================================
%~ debugm(baseKB,show_success(baseKB,baseKB:ain(clif(domain(hasName,2,tName)))))




=======================================================
domain(hasName,2,tName)
============================================


?- kif_to_boxlog( domain(hasName,2,tName) ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  domain(hasName,2,tName)
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(argIsa(hasName,2,tName))

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s): 
nesc(argIsa(hasName,2,tName)).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  it is necessarily true that argIsa(hasName,2,tName)
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

nesc( argIsa(hasName,2,tName)).

============================================
%~ debugm(baseKB,show_success(baseKB,baseKB:ain(clif(argQuotedIsa(hasName,2,ftString)))))




=======================================================
argQuotedIsa(hasName,2,ftString)
============================================


?- kif_to_boxlog( argQuotedIsa(hasName,2,ftString) ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  argQuotedIsa(hasName,2,ftString)
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(argQuotedIsa(hasName,2,ftString))

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s): 
nesc(argQuotedIsa(hasName,2,ftString)).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  it is necessarily true that argQuotedIsa(hasName,2,ftString)
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

nesc( argQuotedIsa(hasName,2,ftString)).

============================================
%~ debugm(baseKB,show_success(baseKB,baseKB:ain(clif(domain(address,1,tHouse)))))




=======================================================
domain(address,1,tHouse)
============================================


?- kif_to_boxlog( domain(address,1,tHouse) ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  domain(address,1,tHouse)
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(argIsa(address,1,tHouse))

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s): 
nesc(argIsa(address,1,tHouse)).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  it is necessarily true that argIsa(address,1,tHouse)
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

nesc( argIsa(address,1,tHouse)).

============================================
%~ debugm(baseKB,show_success(baseKB,baseKB:ain(clif(domain(address,2,tAddress)))))




=======================================================
domain(address,2,tAddress)
============================================


?- kif_to_boxlog( domain(address,2,tAddress) ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  domain(address,2,tAddress)
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(argIsa(address,2,tAddress))

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s): 
nesc(argIsa(address,2,tAddress)).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  it is necessarily true that argIsa(address,2,tAddress)
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

nesc( argIsa(address,2,tAddress)).

============================================
%~ comment("; Special Logicmoo operator specific to forward chaining")
%~ comment("; (==> (and (domain ?P ?n ?c) (admittedArgument ?p ?n ?i)) (instance ?i ?c))")
%~ comment(" ============================================================")
%~ comment(" Devil has exactly one name")
%~ comment(" ============================================================")
%~ debugm( baseKB,
%~   show_success( baseKB,
%~     baseKB : ain( clif( exactly(1,[[Name,tName]],hasName('Devil',Name))))))




=======================================================
exactly(1,'[|]'('[|]'('$VAR'('Name'),'[|]'(tName,[])),[]),hasName('Devil','$VAR'('Name')))
============================================


?- kif_to_boxlog( exactly(1,[[Name,tName]],hasName('Devil',Name)) ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  exactly(1,[[Name,tName]],hasName('Devil',Name))
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(quant(exactly(1),'$VAR'('Name'),and(hasName('Devil','$VAR'('Name')),isa('$VAR'('Name'),tName))))
%~ w_o_c(
%~    error = error(uninstantiation_error(Name),context(put_attr/3,'1-st argument')),
%~    baseKB : kif_to_boxlog(
%~                exactly(1,[[Name,tName]],hasName('Devil',Name)), KB,rule7:0,_976))
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl#L94  
(0)$[system] '$c_call_prolog'.  no(clause) 
(1)$[$toplevel] '$toplevel'.   %  toplevel.pl:701: 
(2)$[$toplevel] '$runtoplevel'.   %  toplevel.pl:713: 
(10)$[system] '$load_file'('kif_io_test_01.pl',user,'<gt;garbage_collected>').   %  init.pl:2353: 
(13)$[system]# '$sig_atomic'(setup_call_cleanup(with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',<gt;clause>(0x5627245f5100),[expand(false),expand(true)])),'$mt_do_load'(<gt;clause>(0x5627245f5100),'kif_io_test_01.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',user,[expand(false),expand(true)]),'$mt_end_load'(<gt;clause>(0x5627245f5100)))).  no(clause) 
(14)$[system] '$c_call_prolog'.  no(clause) 
(16)$[system]# setup_call_catcher_cleanup(system:with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',<gt;clause>(0x5627245f5100),[expand(false),expand(true)])),system:'$mt_do_load'(<gt;clause>(0x5627245f5100),'kif_io_test_01.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'(<gt;clause>(0x5627245f5100))).   %  init.pl:646: 
(18)$[system]# '$qdo_load_file'('kif_io_test_01.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',user,[expand(false),expand(true)]).   %  init.pl:2546: 
(21)<gt;*>$[system]# '$do_load_file_2'('kif_io_test_01.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',user,compiled,[expand(false),expand(true)]).   %  init.pl:2592: 
(25)$[system]# setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',1632225666.4867933),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',A,[expand(false),expand(true)]),B,system:'$end_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',lexstate(202,swi),user)).   %  init.pl:646: 
(26)<gt;*>$[system]# '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',A,[expand(false),expand(true)]).   %  init.pl:3007: 
(32)<gt;*>$[system] '$execute_directive_3'(kif_io).   %  init.pl:3574: 
(33)$[system] catch(baseKB:kif_io,error(A,B),system:'$exception_in_directive'(error(A,B))).   %  init.pl:546: 
(35)[baseKB] common_logic_loader:kif_io('<gt;garbage_collected>','<gt;garbage_collected>').   %  common_logic_loader.pl:228: 
(36)[baseKB] with_output_to(<gt;stream>(0x7f80ab0dc8c0),load_clif(<gt;stream>(0x5627128f7600))).  no(clause) 
(37)$[system] '$c_call_prolog'.  no(clause) 
(44)$[locally_each] locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>').   %  redo_locally.pl:217: 
(48)$[system] setup_call_catcher_cleanup(locally_each:key_asserta(t_l,t_l:sreader_options(logicmoo_read_kif,true)),each_call_cleanup:((baseKB:with_lisp_translation(<gt;stream>(0x5627128f7600),kif_process_once),deterministic(A)),(notrace(A==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:sreader_options(logicmoo_read_kif,true)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail))),B,each_call_cleanup:mquietly(locally_each:key_erase(t_l))).   %  init.pl:646: 
(49)$[each_call_cleanup] '<gt;meta-call>'('<gt;garbage_collected>').  no(clause) 
(51)[s3xpr] s3xpr:with_lisp_translation_stream(<gt;stream>(0x5627128f7600),baseKB:kif_process_once).   %  sreader.pl:109: 
(52)$[dcg_meta] dcg_meta:zalwayz('<gt;garbage_collected>').   %  dcg_meta.pl:517: 
(53)$[dcg_meta] notrace(catch(s3xpr:call_proc(baseKB:kif_process_once,[exactly,1,[[Name,tName]],[hasName,'Devil',Name]]),A,fail)).  no(clause) 
(54)$[system] '$c_call_prolog'.  no(clause) 
(55)$[system] catch(s3xpr:call_proc(baseKB:kif_process_once,[exactly,1,[[Name,tName]],[hasName,'Devil',Name]]),A,dcg_meta:fail).   %  init.pl:546: 
(56)[s3xpr] s3xpr:call_proc(baseKB:kif_process_once,'<gt;garbage_collected>').   %  sreader.pl:116: 
(58)<gt;*>[must_sanity]# must_sanity:baseKB:once(kif_process([exactly,1,[[Name,tName]],[hasName,'Devil',Name]])).   %  must_sanity.pl:65: 
(59)$[system] once('<gt;garbage_collected>').   %  init.pl:519: 
(60)<gt;*>$[baseKB] common_logic_loader:kif_process('<gt;garbage_collected>').   %  common_logic_loader.pl:107: 
(63)<gt;*>[ucatch] ucatch:one_must('<gt;garbage_collected>',bugger:(nop(dumpST),debugm1(baseKB,show_failed(baseKB,baseKB:kif_process(tell,[exactly,1,[[Name,tName]],[hasName,'Devil',Name]]))),nop(break),!,fail)).   %  ucatch.pl:1715: 
(64)$[bugger] bugger:dcall0('<gt;garbage_collected>').   %  bugger.pl:1399: 
(65)<gt;*>$[baseKB] common_logic_loader:kif_process(tell,'<gt;garbage_collected>').   %  common_logic_loader.pl:146: 
(68)<gt;*>[ucatch] ucatch:one_must('<gt;garbage_collected>',bugger:(nop(dumpST),debugm1(baseKB,show_failed(baseKB,baseKB:kif_process(tell,exactly(1,[[Name,tName]],hasName('Devil',Name))))),nop(break),!,fail)).   %  ucatch.pl:1715: 
(69)$[bugger] bugger:dcall0('<gt;garbage_collected>').   %  bugger.pl:1399: 
(74)<gt;*>[ucatch] ucatch:one_must('<gt;garbage_collected>',bugger:(nop(dumpST),debugm1(baseKB,show_failed(baseKB,baseKB:kif_add(exactly(1,[[Name,tName]],hasName('Devil',Name))))),nop(break),!,fail)).   %  ucatch.pl:1715: 
(75)$[bugger] bugger:dcall0('<gt;garbage_collected>').   %  bugger.pl:1399: 
(76)[baseKB] common_logic_snark:kif_add(exactly(1,[[Name,tName]],hasName('Devil',Name))).   %  common_logic_snark.pl:1664: 
(77)[baseKB] common_logic_snark:kif_add2('<gt;garbage_collected>').   %  common_logic_snark.pl:1670: 
(78)[baseKB] common_logic_snark:kif_to_boxlog('<gt;garbage_collected>').   %  common_logic_snark.pl:1063: 
(79)[baseKB] common_logic_snark:kif_to_boxlog('<gt;garbage_collected>','<gt;garbage_collected>').   %  common_logic_snark.pl:1099: 
(80)<gt;*>[must_sanity]# must_sanity:baseKB:kif_to_boxlog(exactly(1,[[Name,tName]],hasName('Devil',Name)),A,rule7:0).   %  must_sanity.pl:65: 
(81)[baseKB] common_logic_snark:kif_to_boxlog('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>').   %  common_logic_snark.pl:1107: 
(82)[locally_each] locally_each:w_o_c('<gt;garbage_collected>').   %  redo_locally.pl:86: 
(83)$[system] catch(locally_each:w_o_c(error,baseKB:kif_to_boxlog(exactly(1,[[Name,tName]],hasName('Devil',Name)),KB,rule7:0,A)),error(uninstantiation_error(Name),context(put_attr/3,'1-st argument')),locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(Name),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(1,[[Name,tName]],hasName('Devil',Name)),KB,rule7:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(Name),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(1,[[Name,tName]],hasName('Devil',Name)),KB,rule7:0,A))),break,trace,baseKB:kif_to_boxlog(exactly(1,[[Name,tName]],hasName('Devil',Name)),KB,rule7:0,A))).   %  init.pl:546: 
(84)$[locally_each] '<gt;meta-call>'(locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(Name),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(1,[[Name,tName]],hasName('Devil',Name)),KB,rule7:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(Name),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(1,[[Name,tName]],hasName('Devil',Name)),KB,rule7:0,A))),break,trace,baseKB:kif_to_boxlog(exactly(1,[[Name,tName]],hasName('Devil',Name)),KB,rule7:0,A))).  no(clause) 
(85)[locally_each] dumpst:dumpST.   %  dumpst.pl:150: 
%~ w_o_c(
%~    error = error(uninstantiation_error(Name),context(put_attr/3,'1-st argument')),
%~    baseKB : kif_to_boxlog(
%~                exactly(1,[[Name,tName]],hasName('Devil',Name)), KB,rule7:0,_976))
% Break level 1

% Exit break level 1
%~ correct_special_quantifiers :- quant( exactly(1),%~                                  Name,%~                                  hasName('Devil',Name)&isa(Name,tName)).%~ %~ correct_special_quantifiers:-quant(exactly(1),Name,hasName('Devil',Name)&isa(Name,tName))%~ kifi = exactly(1,[[Name,tName]],hasName('Devil',Name)).%~ kifm = nesc( quant(exactly(1),Name,hasName('Devil',Name)&isa(Name,tName))).%~ as_sigma :- necessary( quant(exactly(1),Name,and(hasName('Devil',Name),isa(Name,tName)))).%~ %~ as_sigma:-necessary(quant(exactly(1),Name,and(hasName('Devil',Name),isa(Name,tName))))%~ kif_to_boxlog_attvars2 = necessary(quant(exactly(1),'$VAR'('Name'),and(hasName('Devil','$VAR'('Name')),isa('$VAR'('Name'),tName))))%~ as_dlog :- ( nesc( ( nesc( ~( quant(exactly(1),Name,isa(Name,tName)))) v%~                      quant(exactly(1),Name,hasName('Devil',Name)))) &%~              nesc( ( nesc( ~( quant(exactly(1),Name,hasName('Devil',Name)))) v%~                      quant(exactly(1),Name,isa(Name,tName))))).%~ %~ as_dlog:-nesc(v(nesc(~quant(exactly(1),Name,isa(Name,tName))),quant(exactly(1),Name,hasName('Devil',Name))))&nesc(v(nesc(~quant(exactly(1),Name,hasName('Devil',Name))),quant(exactly(1),Name,isa(Name,tName))))
%~ debugm(baseKB,show_success(baseKB,baseKB:ain(clif(if(and(a,b),c)))))




=======================================================
if(and(a,b),c)
============================================


?- kif_to_boxlog( if(and(a,b),c) ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  a and b if c
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(=>(and(a,b),c))

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 3 entailment(s): 
nesc(a)&nesc(b)==>nesc(c).
poss(~c)&nesc(a)==>poss(~b).
poss(~c)&nesc(b)==>poss(~a).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  Whenever:
%~    " a " is necessarily true  and
%~    " b " is necessarily true
%~  It's Proof that:
%~    " c " is necessarily true
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

nesc(a)&nesc(b)==>nesc(c).

%  AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  Whenever:
%~    " c " is possibly false  and
%~    " a " is necessarily true
%~  It's Proof that:
%~    " b " is possibly false
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

poss(~c)&nesc(a)==>poss(~b).

%  AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  Whenever:
%~    " c " is possibly false  and
%~    " b " is necessarily true
%~  It's Proof that:
%~    " a " is possibly false
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

poss(~c)&nesc(b)==>poss(~a).

============================================
%~ kif_to_boxlog_attvars2 = necessary(=>(and(a,b),c))
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  Whenever:
%~    " a " is necessarily true  and
%~    " b " is necessarily true
%~  It's Proof that:
%~    " c " is necessarily true
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

nesc(a)&nesc(b)==>nesc(c).

%  AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  Whenever:
%~    " c " is possibly false  and
%~    " b " is necessarily true
%~  It's Proof that:
%~    " a " is possibly false
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

poss(~c)&nesc(b)==>poss(~a).

%  AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  Whenever:
%~    " c " is possibly false  and
%~    " a " is necessarily true
%~  It's Proof that:
%~    " b " is possibly false
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

poss(~c)&nesc(a)==>poss(~b).

%~ comment(" ============================================================")
%~ comment(" if a and be then c")
%~ comment(" ============================================================")
%~ comment(" ============================================================")
%~ comment(" Exactly 1 - CYCL")
%~ comment(" ============================================================")
%~ debugm( baseKB,
%~   show_success( baseKB,
%~     baseKB : ain( clif( thereExistExactly(1,H1,and(isa(H1,tHouse),memberOf(H1,tOneHouseSet)))))))




=======================================================
thereExistExactly(1,'$VAR'('H1'),and(isa('$VAR'('H1'),tHouse),memberOf('$VAR'('H1'),tOneHouseSet)))
============================================


?- kif_to_boxlog( thereExistExactly(1,H1,and(isa(H1,tHouse),memberOf(H1,tOneHouseSet))) ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  thereExistExactly(1,H1,and(isa(H1,tHouse),memberOf(H1,tOneHouseSet)))
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(thereExistExactly(1,'$VAR'('H1'),and(tHouse('$VAR'('H1')),memberOf('$VAR'('H1'),tOneHouseSet))))

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 2 entailment(s): 
v(nesc(~thereExistExactly(1,H1,tHouse(H1))),thereExistExactly(1,H1,memberOf(H1,tOneHouseSet))).
v(nesc(~thereExistExactly(1,H1,memberOf(H1,tOneHouseSet))),thereExistExactly(1,H1,tHouse(H1))).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  " thereExistExactly(1,H1,tHouse(H1)) " is necessarily false  or " thereExistExactly(1,H1,memberOf(H1,tOneHouseSet)) "
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

( nesc( ~( thereExistExactly(1,H1,tHouse(H1)))) v 
  thereExistExactly(1,H1,memberOf(H1,tOneHouseSet))).

%  AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  " thereExistExactly(1,H1,memberOf(H1,tOneHouseSet)) " is necessarily false  or " thereExistExactly(1,H1,tHouse(H1)) "
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

( nesc( ~( thereExistExactly(1,H1,memberOf(H1,tOneHouseSet)))) v 
  thereExistExactly(1,H1,tHouse(H1))).

============================================
%~ comment(" ============================================================")
%~ comment(" Exactly 1 - KIF")
%~ comment(" ============================================================")
%~ debugm( baseKB,
%~   show_success( baseKB,
%~     baseKB : ain( clif( exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet))))))




=======================================================
exactly(1,'[|]'('[|]'('$VAR'('H1'),'[|]'(tHouse,[])),[]),memberOf('$VAR'('H1'),tOneHouseSet))
============================================


?- kif_to_boxlog( exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)) ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet))
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(quant(exactly(1),'$VAR'('H1'),and(memberOf('$VAR'('H1'),tOneHouseSet),isa('$VAR'('H1'),tHouse))))
%~ w_o_c(
%~    error = error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),
%~    baseKB : kif_to_boxlog(
%~                exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)), KB,rule11:0,_1092))
%~ FILE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl#L94  
(0)$[system] '$c_call_prolog'.  no(clause) 
(1)$[$toplevel] '$toplevel'.   %  toplevel.pl:701: 
(2)$[$toplevel] '$runtoplevel'.   %  toplevel.pl:713: 
(10)$[system] '$load_file'('kif_io_test_01.pl',user,'<gt;garbage_collected>').   %  init.pl:2353: 
(13)$[system]# '$sig_atomic'(setup_call_cleanup(with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',<gt;clause>(0x5627245f5100),[expand(false),expand(true)])),'$mt_do_load'(<gt;clause>(0x5627245f5100),'kif_io_test_01.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',user,[expand(false),expand(true)]),'$mt_end_load'(<gt;clause>(0x5627245f5100)))).  no(clause) 
(14)$[system] '$c_call_prolog'.  no(clause) 
(16)$[system]# setup_call_catcher_cleanup(system:with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',<gt;clause>(0x5627245f5100),[expand(false),expand(true)])),system:'$mt_do_load'(<gt;clause>(0x5627245f5100),'kif_io_test_01.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'(<gt;clause>(0x5627245f5100))).   %  init.pl:646: 
(18)$[system]# '$qdo_load_file'('kif_io_test_01.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',user,[expand(false),expand(true)]).   %  init.pl:2546: 
(21)<gt;*>$[system]# '$do_load_file_2'('kif_io_test_01.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',user,compiled,[expand(false),expand(true)]).   %  init.pl:2592: 
(25)$[system]# setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',1632225666.4867933),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',A,[expand(false),expand(true)]),B,system:'$end_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',lexstate(202,swi),user)).   %  init.pl:646: 
(26)<gt;*>$[system]# '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',A,[expand(false),expand(true)]).   %  init.pl:3007: 
(32)<gt;*>$[system] '$execute_directive_3'(kif_io).   %  init.pl:3574: 
(33)$[system] catch(baseKB:kif_io,error(A,B),system:'$exception_in_directive'(error(A,B))).   %  init.pl:546: 
(35)[baseKB] common_logic_loader:kif_io('<gt;garbage_collected>','<gt;garbage_collected>').   %  common_logic_loader.pl:228: 
(36)[baseKB] with_output_to(<gt;stream>(0x7f80ab0dc8c0),load_clif(<gt;stream>(0x5627128f7600))).  no(clause) 
(37)$[system] '$c_call_prolog'.  no(clause) 
(44)$[locally_each] locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>').   %  redo_locally.pl:217: 
(48)$[system] setup_call_catcher_cleanup(locally_each:key_asserta(t_l,t_l:sreader_options(logicmoo_read_kif,true)),each_call_cleanup:((baseKB:with_lisp_translation(<gt;stream>(0x5627128f7600),kif_process_once),deterministic(A)),(notrace(A==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:sreader_options(logicmoo_read_kif,true)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail))),B,each_call_cleanup:mquietly(locally_each:key_erase(t_l))).   %  init.pl:646: 
(49)$[each_call_cleanup] '<gt;meta-call>'('<gt;garbage_collected>').  no(clause) 
(51)[s3xpr] s3xpr:with_lisp_translation_stream(<gt;stream>(0x5627128f7600),baseKB:kif_process_once).   %  sreader.pl:109: 
(52)$[dcg_meta] dcg_meta:zalwayz(s3xpr:call_proc(baseKB:kif_process_once,[exactly,1,[[H1,tHouse]],[memberOf,H1,tOneHouseSet]])).   %  dcg_meta.pl:517: 
(53)$[dcg_meta] notrace(catch(s3xpr:call_proc(baseKB:kif_process_once,[exactly,1,[[H1,tHouse]],[memberOf,H1,tOneHouseSet]]),A,fail)).  no(clause) 
(54)$[system] '$c_call_prolog'.  no(clause) 
(55)$[system] catch(s3xpr:call_proc(baseKB:kif_process_once,[exactly,1,[[H1,tHouse]],[memberOf,H1,tOneHouseSet]]),A,dcg_meta:fail).   %  init.pl:546: 
(56)[s3xpr] s3xpr:call_proc(baseKB:kif_process_once,'<gt;garbage_collected>').   %  sreader.pl:116: 
(58)<gt;*>[must_sanity]# must_sanity:baseKB:once(kif_process([exactly,1,[[H1,tHouse]],[memberOf,H1,tOneHouseSet]])).   %  must_sanity.pl:65: 
(59)$[system] once('<gt;garbage_collected>').   %  init.pl:519: 
(60)<gt;*>$[baseKB] common_logic_loader:kif_process('<gt;garbage_collected>').   %  common_logic_loader.pl:107: 
(63)<gt;*>[ucatch] ucatch:one_must('<gt;garbage_collected>',bugger:(nop(dumpST),debugm1(baseKB,show_failed(baseKB,baseKB:kif_process(tell,[exactly,1,[[H1,tHouse]],[memberOf,H1,tOneHouseSet]]))),nop(break),!,fail)).   %  ucatch.pl:1715: 
(64)$[bugger] bugger:dcall0('<gt;garbage_collected>').   %  bugger.pl:1399: 
(65)<gt;*>$[baseKB] common_logic_loader:kif_process(tell,'<gt;garbage_collected>').   %  common_logic_loader.pl:146: 
(68)<gt;*>[ucatch] ucatch:one_must('<gt;garbage_collected>',bugger:(nop(dumpST),debugm1(baseKB,show_failed(baseKB,baseKB:kif_process(tell,exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet))))),nop(break),!,fail)).   %  ucatch.pl:1715: 
(69)$[bugger] bugger:dcall0('<gt;garbage_collected>').   %  bugger.pl:1399: 
(74)<gt;*>[ucatch] ucatch:one_must('<gt;garbage_collected>',bugger:(nop(dumpST),debugm1(baseKB,show_failed(baseKB,baseKB:kif_add(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet))))),nop(break),!,fail)).   %  ucatch.pl:1715: 
(75)$[bugger] bugger:dcall0('<gt;garbage_collected>').   %  bugger.pl:1399: 
(76)[baseKB] common_logic_snark:kif_add(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet))).   %  common_logic_snark.pl:1664: 
(77)[baseKB] common_logic_snark:kif_add2('<gt;garbage_collected>').   %  common_logic_snark.pl:1670: 
(78)[baseKB] common_logic_snark:kif_to_boxlog('<gt;garbage_collected>').   %  common_logic_snark.pl:1063: 
(79)[baseKB] common_logic_snark:kif_to_boxlog('<gt;garbage_collected>','<gt;garbage_collected>').   %  common_logic_snark.pl:1099: 
(80)<gt;*>[must_sanity]# must_sanity:baseKB:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),A,rule11:0).   %  must_sanity.pl:65: 
(81)[baseKB] common_logic_snark:kif_to_boxlog('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>').   %  common_logic_snark.pl:1107: 
(82)[locally_each] locally_each:w_o_c('<gt;garbage_collected>').   %  redo_locally.pl:86: 
(83)$[system] catch(locally_each:w_o_c(error,baseKB:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),KB,rule11:0,A)),error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),KB,rule11:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),KB,rule11:0,A))),break,trace,baseKB:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),KB,rule11:0,A))).   %  init.pl:546: 
(84)$[locally_each] '<gt;meta-call>'(locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),KB,rule11:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),KB,rule11:0,A))),break,trace,baseKB:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),KB,rule11:0,A))).  no(clause) 
(85)[locally_each] dumpst:dumpST.   %  dumpst.pl:150: 
%~ w_o_c(
%~    error = error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),
%~    baseKB : kif_to_boxlog(
%~                exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)), KB,rule11:0,_1092))
% Break level 1

% Exit break level 1
%~ correct_special_quantifiers :- quant( exactly(1),%~                                  H1,%~                                  memberOf(H1,tOneHouseSet)&isa(H1,tHouse)).%~ %~ correct_special_quantifiers:-quant(exactly(1),H1,memberOf(H1,tOneHouseSet)&isa(H1,tHouse))%~ kifi = exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)).%~ kifm = nesc( quant(exactly(1),H1,memberOf(H1,tOneHouseSet)&isa(H1,tHouse))).%~ as_sigma :- necessary( quant(exactly(1),H1,and(memberOf(H1,tOneHouseSet),isa(H1,tHouse)))).%~ %~ as_sigma:-necessary(quant(exactly(1),H1,and(memberOf(H1,tOneHouseSet),isa(H1,tHouse))))%~ kif_to_boxlog_attvars2 = necessary(quant(exactly(1),'$VAR'('H1'),and(memberOf('$VAR'('H1'),tOneHouseSet),isa('$VAR'('H1'),tHouse))))%~ as_dlog :- ( nesc( ( nesc( ~( quant(exactly(1),H1,isa(H1,tHouse)))) v%~                      quant(exactly(1),H1,memberOf(H1,tOneHouseSet)))) &%~              nesc( ( nesc( ~( quant(exactly(1),H1,memberOf(H1,tOneHouseSet)))) v%~                      quant(exactly(1),H1,isa(H1,tHouse))))).%~ %~ as_dlog:-nesc(v(nesc(~quant(exactly(1),H1,isa(H1,tHouse))),quant(exactly(1),H1,memberOf(H1,tOneHouseSet))))&nesc(v(nesc(~quant(exactly(1),H1,memberOf(H1,tOneHouseSet))),quant(exactly(1),H1,isa(H1,tHouse))))
%~ debugm( baseKB,
%~   show_success( baseKB,
%~     baseKB : ain( clif( exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet))))))




=======================================================
exactly(2,'[|]'('[|]'('$VAR'('H1'),'[|]'(tHouse,[])),[]),memberOf('$VAR'('H1'),tTwoHouseSet))
============================================


?- kif_to_boxlog( exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)) ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet))
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(quant(exactly(2),'$VAR'('H1'),and(memberOf('$VAR'('H1'),tTwoHouseSet),isa('$VAR'('H1'),tHouse))))
%~ w_o_c(
%~    error = error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),
%~    baseKB : kif_to_boxlog(
%~                exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)), KB,rule12:0,_1740074))
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl#L94  
(0)$[system] '$c_call_prolog'.  no(clause) 
(1)$[$toplevel] '$toplevel'.   %  toplevel.pl:701: 
(2)$[$toplevel] '$runtoplevel'.   %  toplevel.pl:713: 
(10)$[system] '$load_file'('kif_io_test_01.pl',user,'<gt;garbage_collected>').   %  init.pl:2353: 
(13)$[system]# '$sig_atomic'(setup_call_cleanup(with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',<gt;clause>(0x5627245f5100),[expand(false),expand(true)])),'$mt_do_load'(<gt;clause>(0x5627245f5100),'kif_io_test_01.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',user,[expand(false),expand(true)]),'$mt_end_load'(<gt;clause>(0x5627245f5100)))).  no(clause) 
(14)$[system] '$c_call_prolog'.  no(clause) 
(16)$[system]# setup_call_catcher_cleanup(system:with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',<gt;clause>(0x5627245f5100),[expand(false),expand(true)])),system:'$mt_do_load'(<gt;clause>(0x5627245f5100),'kif_io_test_01.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'(<gt;clause>(0x5627245f5100))).   %  init.pl:646: 
(18)$[system]# '$qdo_load_file'('kif_io_test_01.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',user,[expand(false),expand(true)]).   %  init.pl:2546: 
(21)<gt;*>$[system]# '$do_load_file_2'('kif_io_test_01.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',user,compiled,[expand(false),expand(true)]).   %  init.pl:2592: 
(25)$[system]# setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',1632225666.4867933),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',A,[expand(false),expand(true)]),B,system:'$end_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',lexstate(202,swi),user)).   %  init.pl:646: 
(26)<gt;*>$[system]# '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',A,[expand(false),expand(true)]).   %  init.pl:3007: 
(32)<gt;*>$[system] '$execute_directive_3'(kif_io).   %  init.pl:3574: 
(33)$[system] catch(baseKB:kif_io,error(A,B),system:'$exception_in_directive'(error(A,B))).   %  init.pl:546: 
(35)[baseKB] common_logic_loader:kif_io('<gt;garbage_collected>','<gt;garbage_collected>').   %  common_logic_loader.pl:228: 
(36)[baseKB] with_output_to(<gt;stream>(0x7f80ab0dc8c0),load_clif(<gt;stream>(0x5627128f7600))).  no(clause) 
(37)$[system] '$c_call_prolog'.  no(clause) 
(44)$[locally_each] locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>').   %  redo_locally.pl:217: 
(48)$[system] setup_call_catcher_cleanup(locally_each:key_asserta(t_l,t_l:sreader_options(logicmoo_read_kif,true)),each_call_cleanup:((baseKB:with_lisp_translation(<gt;stream>(0x5627128f7600),kif_process_once),deterministic(A)),(notrace(A==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:sreader_options(logicmoo_read_kif,true)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail))),B,each_call_cleanup:mquietly(locally_each:key_erase(t_l))).   %  init.pl:646: 
(49)$[each_call_cleanup] '<gt;meta-call>'('<gt;garbage_collected>').  no(clause) 
(51)[s3xpr] s3xpr:with_lisp_translation_stream(<gt;stream>(0x5627128f7600),baseKB:kif_process_once).   %  sreader.pl:109: 
(52)$[dcg_meta] dcg_meta:zalwayz(s3xpr:call_proc(baseKB:kif_process_once,[exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]])).   %  dcg_meta.pl:517: 
(53)$[dcg_meta] notrace(catch(s3xpr:call_proc(baseKB:kif_process_once,[exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]]),A,fail)).  no(clause) 
(54)$[system] '$c_call_prolog'.  no(clause) 
(55)$[system] catch(s3xpr:call_proc(baseKB:kif_process_once,[exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]]),A,dcg_meta:fail).   %  init.pl:546: 
(56)[s3xpr] s3xpr:call_proc(baseKB:kif_process_once,[exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]]).   %  sreader.pl:116: 
(58)<gt;*>[must_sanity]# must_sanity:baseKB:once(kif_process([exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]])).   %  must_sanity.pl:65: 
(59)$[system] once(baseKB:kif_process([exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]])).   %  init.pl:519: 
(60)<gt;*>$[baseKB] common_logic_loader:kif_process([exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]]).   %  common_logic_loader.pl:107: 
(63)<gt;*>[ucatch] ucatch:one_must(bugger:dcall0(baseKB:kif_process(tell,[exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]])),bugger:(nop(dumpST),debugm1(baseKB,show_failed(baseKB,baseKB:kif_process(tell,[exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]]))),nop(break),!,fail)).   %  ucatch.pl:1715: 
(64)$[bugger] bugger:dcall0(baseKB:kif_process(tell,[exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]])).   %  bugger.pl:1399: 
(65)<gt;*>$[baseKB] common_logic_loader:kif_process(tell,[exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]]).   %  common_logic_loader.pl:146: 
(68)<gt;*>[ucatch] ucatch:one_must(bugger:dcall0(baseKB:kif_process(tell,exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)))),bugger:(nop(dumpST),debugm1(baseKB,show_failed(baseKB,baseKB:kif_process(tell,exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet))))),nop(break),!,fail)).   %  ucatch.pl:1715: 
(69)$[bugger] bugger:dcall0(baseKB:kif_process(tell,exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)))).   %  bugger.pl:1399: 
(74)<gt;*>[ucatch] ucatch:one_must(bugger:dcall0(baseKB:kif_add(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)))),bugger:(nop(dumpST),debugm1(baseKB,show_failed(baseKB,baseKB:kif_add(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet))))),nop(break),!,fail)).   %  ucatch.pl:1715: 
(75)$[bugger] bugger:dcall0(baseKB:kif_add(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)))).   %  bugger.pl:1399: 
(76)[baseKB] common_logic_snark:kif_add(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet))).   %  common_logic_snark.pl:1664: 
(77)[baseKB] common_logic_snark:kif_add2(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet))).   %  common_logic_snark.pl:1670: 
(78)[baseKB] common_logic_snark:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet))).   %  common_logic_snark.pl:1063: 
(79)[baseKB] common_logic_snark:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),A).   %  common_logic_snark.pl:1099: 
(80)<gt;*>[must_sanity]# must_sanity:baseKB:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),A,rule12:0).   %  must_sanity.pl:65: 
(81)[baseKB] common_logic_snark:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),A,rule12:0).   %  common_logic_snark.pl:1107: 
(82)[locally_each] locally_each:w_o_c(baseKB:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),KB,rule12:0,A)).   %  redo_locally.pl:86: 
(83)$[system] catch(locally_each:w_o_c(error,baseKB:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),KB,rule12:0,A)),error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),KB,rule12:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),KB,rule12:0,A))),break,trace,baseKB:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),KB,rule12:0,A))).   %  init.pl:546: 
(84)$[locally_each] '<gt;meta-call>'(locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),KB,rule12:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),KB,rule12:0,A))),break,trace,baseKB:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),KB,rule12:0,A))).  no(clause) 
(85)[locally_each] dumpst:dumpST.   %  dumpst.pl:150: 
%~ w_o_c(
%~    error = error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),
%~    baseKB : kif_to_boxlog(
%~                exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)), KB,rule12:0,_1740074))
% Break level 1

% Exit break level 1
%~ correct_special_quantifiers :- quant( exactly(2),%~                                  H1,%~                                  memberOf(H1,tTwoHouseSet)&isa(H1,tHouse)).%~ %~ correct_special_quantifiers:-quant(exactly(2),H1,memberOf(H1,tTwoHouseSet)&isa(H1,tHouse))%~ kifi = exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)).%~ kifm = nesc( quant(exactly(2),H1,memberOf(H1,tTwoHouseSet)&isa(H1,tHouse))).%~ as_sigma :- necessary( quant(exactly(2),H1,and(memberOf(H1,tTwoHouseSet),isa(H1,tHouse)))).%~ %~ as_sigma:-necessary(quant(exactly(2),H1,and(memberOf(H1,tTwoHouseSet),isa(H1,tHouse))))%~ kif_to_boxlog_attvars2 = necessary(quant(exactly(2),'$VAR'('H1'),and(memberOf('$VAR'('H1'),tTwoHouseSet),isa('$VAR'('H1'),tHouse))))%~ as_dlog :- ( nesc( ( nesc( ~( quant(exactly(2),H1,isa(H1,tHouse)))) v%~                      quant(exactly(2),H1,memberOf(H1,tTwoHouseSet)))) &%~              nesc( ( nesc( ~( quant(exactly(2),H1,memberOf(H1,tTwoHouseSet)))) v%~                      quant(exactly(2),H1,isa(H1,tHouse))))).%~ %~ as_dlog:-nesc(v(nesc(~quant(exactly(2),H1,isa(H1,tHouse))),quant(exactly(2),H1,memberOf(H1,tTwoHouseSet))))&nesc(v(nesc(~quant(exactly(2),H1,memberOf(H1,tTwoHouseSet))),quant(exactly(2),H1,isa(H1,tHouse))))
%~ debugm( baseKB,
%~   show_success( baseKB,
%~     baseKB : ain( clif( exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet))))))




=======================================================
exactly(5,'[|]'('[|]'('$VAR'('H1'),'[|]'(tHouse,[])),[]),memberOf('$VAR'('H1'),tFiveHouseSet))
============================================


?- kif_to_boxlog( exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)) ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet))
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(quant(exactly(5),'$VAR'('H1'),and(memberOf('$VAR'('H1'),tFiveHouseSet),isa('$VAR'('H1'),tHouse))))
%~ w_o_c(
%~    error = error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),
%~    baseKB : kif_to_boxlog(
%~                exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)), KB,rule13:0,_3954462))
%~ FILE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl#L94  
(0)$[system] '$c_call_prolog'.  no(clause) 
(1)$[$toplevel] '$toplevel'.   %  toplevel.pl:701: 
(2)$[$toplevel] '$runtoplevel'.   %  toplevel.pl:713: 
(10)$[system] '$load_file'('kif_io_test_01.pl',user,'<gt;garbage_collected>').   %  init.pl:2353: 
(13)$[system]# '$sig_atomic'(setup_call_cleanup(with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',<gt;clause>(0x5627245f5100),[expand(false),expand(true)])),'$mt_do_load'(<gt;clause>(0x5627245f5100),'kif_io_test_01.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',user,[expand(false),expand(true)]),'$mt_end_load'(<gt;clause>(0x5627245f5100)))).  no(clause) 
(14)$[system] '$c_call_prolog'.  no(clause) 
(16)$[system]# setup_call_catcher_cleanup(system:with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',<gt;clause>(0x5627245f5100),[expand(false),expand(true)])),system:'$mt_do_load'(<gt;clause>(0x5627245f5100),'kif_io_test_01.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'(<gt;clause>(0x5627245f5100))).   %  init.pl:646: 
(18)$[system]# '$qdo_load_file'('kif_io_test_01.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',user,[expand(false),expand(true)]).   %  init.pl:2546: 
(21)<gt;*>$[system]# '$do_load_file_2'('kif_io_test_01.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',user,compiled,[expand(false),expand(true)]).   %  init.pl:2592: 
(25)$[system]# setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',1632225666.4867933),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',A,[expand(false),expand(true)]),B,system:'$end_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',lexstate(202,swi),user)).   %  init.pl:646: 
(26)<gt;*>$[system]# '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/kif_io_test_01.pl ',A,[expand(false),expand(true)]).   %  init.pl:3007: 
(32)<gt;*>$[system] '$execute_directive_3'(kif_io).   %  init.pl:3574: 
(33)$[system] catch(baseKB:kif_io,error(A,B),system:'$exception_in_directive'(error(A,B))).   %  init.pl:546: 
(35)[baseKB] common_logic_loader:kif_io('<gt;garbage_collected>','<gt;garbage_collected>').   %  common_logic_loader.pl:228: 
(36)[baseKB] with_output_to(<gt;stream>(0x7f80ab0dc8c0),load_clif(<gt;stream>(0x5627128f7600))).  no(clause) 
(37)$[system] '$c_call_prolog'.  no(clause) 
(44)$[locally_each] locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>').   %  redo_locally.pl:217: 
(48)$[system] setup_call_catcher_cleanup(locally_each:key_asserta(t_l,t_l:sreader_options(logicmoo_read_kif,true)),each_call_cleanup:((baseKB:with_lisp_translation(<gt;stream>(0x5627128f7600),kif_process_once),deterministic(A)),(notrace(A==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:sreader_options(logicmoo_read_kif,true)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail))),B,each_call_cleanup:mquietly(locally_each:key_erase(t_l))).   %  init.pl:646: 
(49)$[each_call_cleanup] '<gt;meta-call>'('<gt;garbage_collected>').  no(clause) 
(51)[s3xpr] s3xpr:with_lisp_translation_stream(<gt;stream>(0x5627128f7600),baseKB:kif_process_once).   %  sreader.pl:109: 
(52)$[dcg_meta] dcg_meta:zalwayz(s3xpr:call_proc(baseKB:kif_process_once,[exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]])).   %  dcg_meta.pl:517: 
(53)$[dcg_meta] notrace(catch(s3xpr:call_proc(baseKB:kif_process_once,[exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]]),A,fail)).  no(clause) 
(54)$[system] '$c_call_prolog'.  no(clause) 
(55)$[system] catch(s3xpr:call_proc(baseKB:kif_process_once,[exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]]),A,dcg_meta:fail).   %  init.pl:546: 
(56)[s3xpr] s3xpr:call_proc(baseKB:kif_process_once,[exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]]).   %  sreader.pl:116: 
(58)<gt;*>[must_sanity]# must_sanity:baseKB:once(kif_process([exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]])).   %  must_sanity.pl:65: 
(59)$[system] once(baseKB:kif_process([exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]])).   %  init.pl:519: 
(60)<gt;*>$[baseKB] common_logic_loader:kif_process([exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]]).   %  common_logic_loader.pl:107: 
(63)<gt;*>[ucatch] ucatch:one_must(bugger:dcall0(baseKB:kif_process(tell,[exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]])),bugger:(nop(dumpST),debugm1(baseKB,show_failed(baseKB,baseKB:kif_process(tell,[exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]]))),nop(break),!,fail)).   %  ucatch.pl:1715: 
(64)$[bugger] bugger:dcall0(baseKB:kif_process(tell,[exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]])).   %  bugger.pl:1399: 
(65)<gt;*>$[baseKB] common_logic_loader:kif_process(tell,[exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]]).   %  common_logic_loader.pl:146: 
(68)<gt;*>[ucatch] ucatch:one_must(bugger:dcall0(baseKB:kif_process(tell,exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)))),bugger:(nop(dumpST),debugm1(baseKB,show_failed(baseKB,baseKB:kif_process(tell,exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet))))),nop(break),!,fail)).   %  ucatch.pl:1715: 
(69)$[bugger] bugger:dcall0(baseKB:kif_process(tell,exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)))).   %  bugger.pl:1399: 
(74)<gt;*>[ucatch] ucatch:one_must(bugger:dcall0(baseKB:kif_add(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)))),bugger:(nop(dumpST),debugm1(baseKB,show_failed(baseKB,baseKB:kif_add(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet))))),nop(break),!,fail)).   %  ucatch.pl:1715: 
(75)$[bugger] bugger:dcall0(baseKB:kif_add(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)))).   %  bugger.pl:1399: 
(76)[baseKB] common_logic_snark:kif_add(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet))).   %  common_logic_snark.pl:1664: 
(77)[baseKB] common_logic_snark:kif_add2(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet))).   %  common_logic_snark.pl:1670: 
(78)[baseKB] common_logic_snark:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet))).   %  common_logic_snark.pl:1063: 
(79)[baseKB] common_logic_snark:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),A).   %  common_logic_snark.pl:1099: 
(80)<gt;*>[must_sanity]# must_sanity:baseKB:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),A,rule13:0).   %  must_sanity.pl:65: 
(81)[baseKB] common_logic_snark:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),A,rule13:0).   %  common_logic_snark.pl:1107: 
(82)[locally_each] locally_each:w_o_c(baseKB:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),KB,rule13:0,A)).   %  redo_locally.pl:86: 
(83)$[system] catch(locally_each:w_o_c(error,baseKB:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),KB,rule13:0,A)),error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),KB,rule13:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),KB,rule13:0,A))),break,trace,baseKB:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),KB,rule13:0,A))).   %  init.pl:546: 
(84)$[locally_each] '<gt;meta-call>'(locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),KB,rule13:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),KB,rule13:0,A))),break,trace,baseKB:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),KB,rule13:0,A))).  no(clause) 
(85)[locally_each] dumpst:dumpST.   %  dumpst.pl:150: 
%~ w_o_c(
%~    error = error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),
%~    baseKB : kif_to_boxlog(
%~                exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)), KB,rule13:0,_3954462))
% Break level 1

% Exit break level 1
%~ correct_special_quantifiers :- quant( exactly(5),%~                                  H1,%~                                  memberOf(H1,tFiveHouseSet)&isa(H1,tHouse)).%~ %~ correct_special_quantifiers:-quant(exactly(5),H1,memberOf(H1,tFiveHouseSet)&isa(H1,tHouse))%~ kifi = exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)).%~ kifm = nesc( quant(exactly(5),H1,memberOf(H1,tFiveHouseSet)&isa(H1,tHouse))).%~ as_sigma :- necessary( quant(exactly(5),H1,and(memberOf(H1,tFiveHouseSet),isa(H1,tHouse)))).%~ %~ as_sigma:-necessary(quant(exactly(5),H1,and(memberOf(H1,tFiveHouseSet),isa(H1,tHouse))))%~ kif_to_boxlog_attvars2 = necessary(quant(exactly(5),'$VAR'('H1'),and(memberOf('$VAR'('H1'),tFiveHouseSet),isa('$VAR'('H1'),tHouse))))%~ as_dlog :- ( nesc( ( nesc( ~( quant(exactly(5),H1,isa(H1,tHouse)))) v%~                      quant(exactly(5),H1,memberOf(H1,tFiveHouseSet)))) &%~              nesc( ( nesc( ~( quant(exactly(5),H1,memberOf(H1,tFiveHouseSet)))) v%~                      quant(exactly(5),H1,isa(H1,tHouse))))).%~ %~ as_dlog:-nesc(v(nesc(~quant(exactly(5),H1,isa(H1,tHouse))),quant(exactly(5),H1,memberOf(H1,tFiveHouseSet))))&nesc(v(nesc(~quant(exactly(5),H1,memberOf(H1,tFiveHouseSet))),quant(exactly(5),H1,isa(H1,tHouse))))
%~ debugm( baseKB,
%~   show_success( baseKB,
%~     baseKB : ain( clif( comment( 'ThisFile666',
%~                           '$STRING'("\n\nThere should be at most 8 houses with assertions about them.\nAnd at least 5 houses.\n\n\n(isa ?X tHouse)\n\n\n\n"))))))




=======================================================
comment('ThisFile666','$STRING'("\n\nThere should be at most 8 houses with assertions about them.\nAnd at least 5 houses.\n\n\n(isa ?X tHouse)\n\n\n\n"))
============================================


?- kif_to_boxlog( comment('ThisFile666','$STRING'("\n\nThere should be at most 8 houses with assertions about them.\nAnd at least 5 houses.\n\n\n(isa ?X tHouse)\n\n\n\n")) ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  'ThisFile666' comment "\n\nThere should be at most 8 houses with assertions about them.\nAnd at least 5 houses.\n\n\n(isa ?X tHouse)\n\n\n\n" isa '$STRING'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = comment('ThisFile666','$STRING'("\n\nThere should be at most 8 houses with assertions about them.\nAnd at least 5 houses.\n\n\n(isa ?X tHouse)\n\n\n\n"))

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s): 
comment('ThisFile666','$STRING'("\n\nThere should be at most 8 houses with assertions about them.\nAnd at least 5 houses.\n\n\n(isa ?X tHouse)\n\n\n\n")).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  'ThisFile666' comment "\n\nThere should be at most 8 houses with assertions about them.\nAnd at least 5 houses.\n\n\n(isa ?X tHouse)\n\n\n\n" isa '$STRING'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

comment( 'ThisFile666', 
  '$STRING'("\n\nThere should be at most 8 houses with assertions about them.\nAnd at least 5 houses.\n\n\n(isa ?X tHouse)\n\n\n\n")).

============================================
%~ comment(" ============================================================")
%~ comment(" Exactly 2")
%~ comment(" ============================================================")
%~ comment(" ============================================================")
%~ comment(" Exactly 5")
%~ comment(" ============================================================")
%~ debugm(baseKB,show_success(baseKB,baseKB:ain(clif('%'))))




=======================================================
'%'
============================================


?- kif_to_boxlog( '%' ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  '%'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('%')

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s): 
nesc('%').

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  it is necessarily true that '%'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

nesc('%').

============================================
%~ debugm(baseKB,show_success(baseKB,baseKB:ain(clif('EDIT:'))))




=======================================================
'EDIT:'
============================================


?- kif_to_boxlog( 'EDIT:' ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  'EDIT:'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('EDIT:')

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s): 
nesc('EDIT:').

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  it is necessarily true that 'EDIT:'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

nesc('EDIT:').

============================================
%~ debugm(baseKB,show_success(baseKB,baseKB:ain(clif('%'))))




=======================================================
'%'
============================================


?- kif_to_boxlog( '%' ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  '%'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('%')

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s): 
nesc('%').

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  it is necessarily true that '%'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

nesc('%').

============================================
%~ debugm(baseKB,show_success(baseKB,baseKB:ain(clif('JENKINS:'))))




=======================================================
'JENKINS:'
============================================


?- kif_to_boxlog( 'JENKINS:' ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  'JENKINS:'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('JENKINS:')

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s): 
nesc('JENKINS:').

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  it is necessarily true that 'JENKINS:'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

nesc('JENKINS:').

============================================
%~ debugm(baseKB,show_success(baseKB,baseKB:ain(clif('%'))))




=======================================================
'%'
============================================


?- kif_to_boxlog( '%' ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  '%'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('%')

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s): 
nesc('%').

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  it is necessarily true that '%'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

nesc('%').

============================================
%~ debugm(baseKB,show_success(baseKB,baseKB:ain(clif('ISSUE_SEARCH:'))))




=======================================================
'ISSUE_SEARCH:'
============================================


?- kif_to_boxlog( 'ISSUE_SEARCH:' ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  'ISSUE_SEARCH:'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('ISSUE_SEARCH:')

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s): 
nesc('ISSUE_SEARCH:').

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  it is necessarily true that 'ISSUE_SEARCH:'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

nesc('ISSUE_SEARCH:').

============================================
%~ debugm(baseKB,show_success(baseKB,baseKB:ain(clif('%'))))




=======================================================
'%'
============================================


?- kif_to_boxlog( '%' ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  '%'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('%')

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s): 
nesc('%').

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  it is necessarily true that '%'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

nesc('%').

============================================
%~ debugm(baseKB,show_success(baseKB,baseKB:ain(clif('ISSUE:'))))




=======================================================
'ISSUE:'
============================================


?- kif_to_boxlog( 'ISSUE:' ).



% In English: 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  'ISSUE:'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('ISSUE:')

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s): 
nesc('ISSUE:').

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~  it is necessarily true that 'ISSUE:'
%~ 
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

nesc('ISSUE:').

============================================
~*/
%~ unused(no_junit_results)

%~ test_completed_exit(0)

totalTime=5.000

FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k kif_io_test_01.pl (returned 0) Add_LABELS='' Rem_LABELS='Skipped,Skipped,Errors,Warnings,Overtime,Skipped,Skipped'

TeamSPoon avatar Sep 20 '21 05:09 TeamSPoon