logicmoo_workspace
logicmoo_workspace copied to clipboard
Published
20 hours ago •
logicmoo
logicmoo
logicmoo.base.examples.fol.HOLDS_011 JUnit
trafficstars
(cd /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['holds_011.pfc']")
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/HOLDS_011/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AHOLDS_011 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/424
%~ 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/holds_011.pfc'),
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))
:- baseKB=BaseKB,
set_defaultAssertMt(BaseKB),
module(BaseKB),'$set_typein_module'(BaseKB),'$set_source_module'(BaseKB),set_fileAssertMt(BaseKB).
/*~
%~ set_fileAssertMt(baseKB)
~*/
:- kb_global(mudContains/2).
/*~
~*/
mudContains(a,b).
%:- kb_shared(genlInverse/2).
%:- kb_shared(mudInsideOf/2).
/*~
%~ debugm(baseKB,show_success(baseKB,baseKB:ain(clif(mudContains(a,b)))))
% 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: 180 words .. **
** Grammar from file /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/lex.xg: -220 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.63 sec, 3 clauses
% /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/debuggery/dmsg compiled into dmsg 0.13 sec, -16 clauses
=======================================================
mudContains(a,b)
============================================
?- kif_to_boxlog( mudContains(a,b) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ a mudContains b
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(mudContains(a,b))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(mudContains(a,b)).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that a mudContains b
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( mudContains(a,b)).
============================================
~*/
%:- kb_shared(genlInverse/2).
%:- kb_shared(mudInsideOf/2).
meta_argtypes(genlInverse(rtBinaryPredicate,rtBinaryPredicate)).
/*~
~*/
:- cls.
/*~
%~ skipped(messy_on_output,cls)
~*/
:- mpred_trace_exec.
/*~
~*/
(((P/(has_functor(P),get_functor(P,F,_A), \+ prologSideEffects(F)) ==> {deduceEachArgType(P)}))).
/*~
%~ call_mpred_post4 :-
%~ level=81 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = ( _520/(has_functor(_520),get_functor(_520,_524,_528),\+prologSideEffects(_524)) ==>
%~ { deduceEachArgType(P) }) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = ( _520/(has_functor(_520),get_functor(_520,_524,_528),\+prologSideEffects(_524)) ==>
%~ { deduceEachArgType(P) }) ,
%~ support_fact = mfl4(
%~ [ 'P'=P, 'F'=F,'_A'=_A],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc', 32) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( ( ( DeduceEachArgType_Get_functor4 /
%~ ( has_functor(DeduceEachArgType_Get_functor4) ,
%~ get_functor(DeduceEachArgType_Get_functor4,PrologSideEffects_Get_functor,Functor) ,
%~ \+( prologSideEffects(PrologSideEffects_Get_functor)))) ==>
%~ { deduceEachArgType(DeduceEachArgType_Get_functor4) })).
%~ call_mpred_post4 :-
%~ level=130 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,deduceEachArgType,1,pfcCallCode) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,deduceEachArgType,1,pfcCallCode) ,
%~ support_fact = mfl4(
%~ [ 'P'=P, 'F'=F,'_A'=_A],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc', 32) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,deduceEachArgType,1,pfcCallCode)).
%~ %~ Found positive trigger: mpred_prop(baseKB,deduceEachArgType,1,pfcCallCode)
%~ %~ body: \+ground((deduceEachArgType/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,deduceEachArgType,1,pfcCallCode)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,deduceEachArgType,1,pfcCallCode)
%~ %~ body: predicate_is_undefined_fa(deduceEachArgType,1)*->rhs([ mpred_prop(baseKB,deduceEachArgType,1,needsDefined)])
%~ %~ Found positive trigger: mpred_prop(baseKB,deduceEachArgType,1,pfcCallCode)
%~ %~ body: genlPreds(pfcCallCode,Prop_GenlPreds_PfcCallCode)*->rhs([ mpred_prop(baseKB,deduceEachArgType,1,Prop_GenlPreds_PfcCallCode)])
%~ call_mpred_post4 :-
%~ level=133 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,has_functor,1,pfcCallCode) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,has_functor,1,pfcCallCode) ,
%~ support_fact = ( ( ( _44726 /
%~ ( has_functor(Functor) ,
%~ get_functor(_44726,_44750,_44752) ,
%~ \+( prologSideEffects(PrologSideEffects)))) ==>
%~ { deduceEachArgType(DeduceEachArgType) }) ,
%~ mfl4(
%~ [ 'P'=P3, 'F'=F4,'_A'=A],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc', 32)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,has_functor,1,pfcCallCode)).
%~ %~ Found positive trigger: mpred_prop(baseKB,has_functor,1,pfcCallCode)
%~ %~ body: \+ground((has_functor/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,has_functor,1,pfcCallCode)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,has_functor,1,pfcCallCode)
%~ %~ body: predicate_is_undefined_fa(has_functor,1)*->rhs([ mpred_prop(baseKB,has_functor,1,needsDefined)])
%~ %~ Found positive trigger: mpred_prop(baseKB,has_functor,1,pfcCallCode)
%~ %~ body: genlPreds(pfcCallCode,Prop_GenlPreds_PfcCallCode)*->rhs([ mpred_prop(baseKB,has_functor,1,Prop_GenlPreds_PfcCallCode)])
%~ call_mpred_post4 :-
%~ level=135 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,prologSideEffects,1,pfcCallCode) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,prologSideEffects,1,pfcCallCode) ,
%~ support_fact = ( ( _1778/(has_functor(_1778),get_functor(_1778,_1802,_1804),\+prologSideEffects(_1802)) ==>
%~ { deduceEachArgType(DeduceEachArgType) }) ,
%~ mfl4(
%~ [ 'P'=P3, 'F'=F4,'_A'=A],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc', 32)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,prologSideEffects,1,pfcCallCode)).
%~ %~ Found positive trigger: mpred_prop(baseKB,prologSideEffects,1,pfcCallCode)
%~ %~ body: \+ground((prologSideEffects/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,prologSideEffects,1,pfcCallCode)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,prologSideEffects,1,pfcCallCode)
%~ %~ body: predicate_is_undefined_fa(prologSideEffects,1)*->rhs([ mpred_prop(baseKB,prologSideEffects,1,needsDefined)])
%~ %~ Found positive trigger: mpred_prop(baseKB,prologSideEffects,1,pfcCallCode)
%~ %~ body: genlPreds(pfcCallCode,Prop_GenlPreds_PfcCallCode)*->rhs([ mpred_prop(baseKB,prologSideEffects,1,Prop_GenlPreds_PfcCallCode)])
%~ %~ Adding positive
%~ %~ trigger: _1168
%~ %~ body: has_functor(DeduceEachArgType_Get_functor4),get_functor(DeduceEachArgType_Get_functor4,PrologSideEffects_Get_functor,Functor),\+prologSideEffects(PrologSideEffects_Get_functor)*->rhs(
%~ %~ [ { deduceEachArgType(DeduceEachArgType_Get_functor4) }])
%~ %~ Support: ((DeduceEachArgType_Get_functor4/has_functor(DeduceEachArgType_Get_functor4),get_functor(DeduceEachArgType_Get_functor4,PrologSideEffects_Get_functor,Functor),\+prologSideEffects(PrologSideEffects_Get_functor))==>{deduceEachArgType(DeduceEachArgType_Get_functor4)}),mfl4(['P'=P,'F'=F,'_A'=_A],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc#L32 ',32)
%~ %~ Found positive trigger: (DeduceEachArgType_Get_functor4/has_functor(DeduceEachArgType_Get_functor4),get_functor(DeduceEachArgType_Get_functor4,PrologSideEffects_Get_functor,Functor),\+prologSideEffects(PrologSideEffects_Get_functor))==>{deduceEachArgType(DeduceEachArgType_Get_functor4)}
%~ %~ body: has_functor(((DeduceEachArgType_Get_functor4/has_functor(DeduceEachArgType_Get_functor4),get_functor(DeduceEachArgType_Get_functor4,PrologSideEffects_Get_functor,Functor),\+prologSideEffects(PrologSideEffects_Get_functor))==>{deduceEachArgType(DeduceEachArgType_Get_functor4)})),get_functor(((DeduceEachArgType_Get_functor4/has_functor(DeduceEachArgType_Get_functor4),get_functor(DeduceEachArgType_Get_functor4,PrologSideEffects_Get_functor,Functor),\+prologSideEffects(PrologSideEffects_Get_functor))==>{deduceEachArgType(DeduceEachArgType_Get_functor4)}),PrologSideEffects,Functor8),\+prologSideEffects(PrologSideEffects)*->rhs(
%~ %~ [ { deduceEachArgType( ( ( DeduceEachArgType_Get_functor4 /
%~ %~ ( has_functor(DeduceEachArgType_Get_functor4) ,
%~ %~ get_functor(DeduceEachArgType_Get_functor4,PrologSideEffects_Get_functor,Functor) ,
%~ %~ \+( prologSideEffects(PrologSideEffects_Get_functor)))) ==>
%~ %~ { deduceEachArgType(DeduceEachArgType_Get_functor4) })) }])
~*/
:- mpred_trace_exec.
/*~
~*/
genlInverse(mudContains,mudInsideOf).
% :- baseKB:deduceEachArgType(genlInverse(mudContains,mudInsideOf)).
% :- must(ain((( genlInverse(P1,P2),arity(P1,2),arity(P2,2), t(P1,A,B)) ==> t(P2,B,A)))).
%:- must(ain((( genlInverse(P1,P2),arity(P1,2),arity(P2,2)) ==> ( t(P1,A,B) ==> t(P2,B,A))))).
/*~
%~ call_mpred_post4 :-
%~ level=104 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = clif( genlInverse(mudContains,mudInsideOf)) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = clif( genlInverse(mudContains,mudInsideOf)) ,
%~ support_fact = mfl4(_604,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc',36) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( clif( genlInverse(mudContains,mudInsideOf))).
%~ %~ Found positive trigger: clif(genlInverse(mudContains,mudInsideOf))
%~ %~ body: has_functor(clif(genlInverse(mudContains,mudInsideOf))),get_functor(clif(genlInverse(mudContains,mudInsideOf)),PrologSideEffects_Clif,Functor),\+prologSideEffects(PrologSideEffects_Clif)*->rhs(
%~ %~ [ { deduceEachArgType( clif( genlInverse(mudContains,mudInsideOf))) }])
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc:36
%~ debugm(baseKB,show_success(baseKB,baseKB:ain(clif(genlInverse(mudContains,mudInsideOf)))))
=======================================================
genlInverse(mudContains,mudInsideOf)
============================================
?- kif_to_boxlog( genlInverse(mudContains,mudInsideOf) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ mudContains genlInverse mudInsideOf
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ call_mpred_post4 :-
%~ level=101 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = wid(rule2:0,rule,genlInverse(mudContains,mudInsideOf)) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = wid(rule2:0,rule,genlInverse(mudContains,mudInsideOf)) ,
%~ support_fact = mfl4(_34792,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc',36) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( wid(rule2:0,rule,genlInverse(mudContains,mudInsideOf))).
%~ %~ Found positive trigger: wid(rule2:0,rule,genlInverse(mudContains,mudInsideOf))
%~ %~ body: has_functor(wid(rule2:0,rule,genlInverse(mudContains,mudInsideOf))),get_functor(wid(rule2:0,rule,genlInverse(mudContains,mudInsideOf)),PrologSideEffects_Wid,Functor),\+prologSideEffects(PrologSideEffects_Wid)*->rhs(
%~ %~ [ { deduceEachArgType( wid(rule2:0,rule,genlInverse(mudContains,mudInsideOf))) }])
%~ call_mpred_post4 :-
%~ level=193 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tPred(mudContains) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tPred(mudContains) ,
%~ support_fact = ( mfl4(_692,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc',36) ,
%~ ax) ,
%~ support_trig = mfl4(_1150,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc',36).
%~ baseKB : mpred_fwc1( tPred(mudContains)).
%~ %~ Found positive trigger: tPred(mudContains)
%~ %~ body: rhs([ tRelation(mudContains)])
%~ %~ RHS-Post1: tRelation(mudContains)
%~ %~ Support: tPred(mudContains),$pt(baseKB,tPred(mudContains),rhs([ tRelation(mudContains)]))
%~ call_mpred_post4 :-
%~ level=231 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tRelation(mudContains) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tRelation(mudContains) ,
%~ support_fact = tPred(mudContains) ,
%~ support_trig = '$pt'(baseKB,tPred(mudContains),rhs([tRelation(mudContains)])).
%~ baseKB : mpred_fwc1( tRelation(mudContains)).
%~ %~ Found positive trigger: tRelation(mudContains)
%~ %~ body: $nt(tFunction(mudContains),call_u_no_bc(tFunction(mudContains)),rhs([ tPred(mudContains)]))
%~ %~ Adding negative
%~ %~ trigger: tFunction(mudContains)
%~ %~ test: call_u_no_bc(tFunction(mudContains))
%~ %~ body: rhs([ tPred(mudContains)])
%~ %~ Support: tRelation(mudContains),$pt(baseKB,tRelation(mudContains),$nt(tFunction(mudContains),call_u_no_bc(tFunction(mudContains)),rhs(
%~ %~ [ tPred(mudContains)])))
%~ %~ RHS-Post1: tPred(mudContains)
%~ %~ Support: \+tFunction(mudContains),$nt(tFunction(mudContains),call_u_no_bc(tFunction(mudContains)),rhs([ tPred(mudContains)]))
%~ call_mpred_post4 :-
%~ level=274 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc',36) ,
%~ ax ,
%~ mfl4(BaseKB1,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc',36))) ,
%~ post1 = tPred(mudContains) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tPred(mudContains) ,
%~ support_fact = \+( tFunction(mudContains)) ,
%~ support_trig = '$nt'(tFunction(mudContains),call_u_no_bc(tFunction(mudContains)),rhs([tPred(mudContains)])).
%~ %~ Adding NEG mpred_do_fcnt via support
%~ %~ trigger: tFunction(mudContains)
%~ %~ cond: call_u_no_bc(tFunction(mudContains))
%~ %~ action: rhs([ tPred(mudContains)])
%~ %~ from: mpred_add_support_fast(tPred(mudContains),(\+tFunction(mudContains),$nt(tFunction(mudContains),call_u_no_bc(tFunction(mudContains)),rhs(
%~ %~ [ tPred(mudContains)]))))
%~ %~ Found positive trigger: tRelation(mudContains)
%~ %~ body: has_functor(tRelation(mudContains)),get_functor(tRelation(mudContains),PrologSideEffects_Relation,Functor),\+prologSideEffects(PrologSideEffects_Relation)*->rhs(
%~ %~ [ { deduceEachArgType( tRelation(mudContains)) }])
%~ %~ Found positive trigger: tPred(mudContains)
%~ %~ body: arity(mudContains,2)*->rhs([ rtBinaryPredicate(mudContains)])
%~ %~ RHS-Post1: rtBinaryPredicate(mudContains)
%~ %~ Support: tPred(mudContains),$pt(baseKB,tPred(mudContains),(arity(mudContains,2)*->rhs([ rtBinaryPredicate(mudContains)])))
%~ call_mpred_post4 :-
%~ level=233 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = rtBinaryPredicate(mudContains) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = rtBinaryPredicate(mudContains) ,
%~ support_fact = tPred(mudContains) ,
%~ support_trig = '$pt'( baseKB,
%~ tPred(mudContains),
%~ arity(mudContains,2)*->rhs([rtBinaryPredicate(mudContains)])).
%~ baseKB : mpred_fwc1( rtBinaryPredicate(mudContains)).
%~ %~ Found positive trigger: rtBinaryPredicate(mudContains)
%~ %~ body: rhs([ tRelation(mudContains)])
%~ %~ RHS-Post1: tRelation(mudContains)
%~ %~ Support: rtBinaryPredicate(mudContains),$pt(baseKB,rtBinaryPredicate(mudContains),rhs([ tRelation(mudContains)]))
%~ call_mpred_post4 :-
%~ level=271 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( tPred(mudContains),'$pt'(baseKB,tPred(mudContains),rhs([tRelation(mudContains)]))) ,
%~ post1 = tRelation(mudContains) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tRelation(mudContains) ,
%~ support_fact = rtBinaryPredicate(mudContains) ,
%~ support_trig = '$pt'(baseKB,rtBinaryPredicate(mudContains),rhs([tRelation(mudContains)])).
%~ %~ Found positive trigger: rtBinaryPredicate(mudContains)
%~ %~ body: rhs([ arity(mudContains,2),
%~ %~ tPred(mudContains)])
%~ %~ RHS-Post1: arity(mudContains,2)
%~ %~ Support: rtBinaryPredicate(mudContains),$pt(baseKB,rtBinaryPredicate(mudContains),rhs([ arity(mudContains,2),
%~ %~ tPred(mudContains)]))
%~ call_mpred_post4 :-
%~ level=271 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = arity(mudContains,2) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arity(mudContains,2) ,
%~ support_fact = rtBinaryPredicate(mudContains) ,
%~ support_trig = '$pt'( baseKB,
%~ rtBinaryPredicate(mudContains),
%~ rhs( [ arity(mudContains,2),
%~ tPred(mudContains)])).
%~ baseKB : mpred_fwc1( arity(mudContains,2)).
%~ %~ Found positive trigger: arity(mudContains,2)
%~ %~ body: predicateConventionMt(mudContains,PredicateConventionMt_MudContains)*->rhs([ { kb_global( PredicateConventionMt_MudContains :
%~ %~
%~ %~ mudContains/2) }])
%~ %~ Found positive trigger: arity(mudContains,2)
%~ %~ body: prologHybrid(mudContains)*->rhs([ { kb_shared( mudContains/2) }])
%~ %~ Found positive trigger: arity(mudContains,2)
%~ %~ body: pfcControlled(mudContains)*->rhs([ hybrid_support(mudContains,2)])
%~ %~ Found positive trigger: arity(mudContains,2)
%~ %~ body: singleValuedInArg(mudContains,SingleValuedInArgAX_SingleValuedInArg_MudContains)*->rhs([ singleValuedInArgAX(mudContains,2,SingleValuedInArgAX_SingleValuedInArg_MudContains)])
%~ %~ Found positive trigger: arity(mudContains,2)
%~ %~ body: tPred(mudContains)*->rhs([ rtBinaryPredicate(mudContains)])
%~ %~ RHS-Post1: rtBinaryPredicate(mudContains)
%~ %~ Support: arity(mudContains,2),$pt(baseKB,arity(mudContains,2),(tPred(mudContains)*->rhs([ rtBinaryPredicate(mudContains)])))
%~ call_mpred_post4 :-
%~ level=311 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( tPred(mudContains) ,
%~ '$pt'(baseKB,tPred(mudContains),(arity(mudContains,2)*->rhs([rtBinaryPredicate(mudContains)]))))) ,
%~ post1 = rtBinaryPredicate(mudContains) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = rtBinaryPredicate(mudContains) ,
%~ support_fact = arity(mudContains,2) ,
%~ support_trig = '$pt'( baseKB,
%~ arity(mudContains,2),
%~ tPred(mudContains)*->rhs([rtBinaryPredicate(mudContains)])).
%~ %~ Found positive trigger: arity(mudContains,2)
%~ %~ body: has_functor(arity(mudContains,2)),get_functor(arity(mudContains,2),PrologSideEffects_Arity,Functor),\+prologSideEffects(PrologSideEffects_Arity)*->rhs(
%~ %~ [ { deduceEachArgType( arity(mudContains,2)) }])
%~ %~ RHS-Post1: tPred(mudContains)
%~ %~ Support: rtBinaryPredicate(mudContains),$pt(baseKB,rtBinaryPredicate(mudContains),rhs([ arity(mudContains,2),
%~ %~ tPred(mudContains)]))
%~ call_mpred_post4 :-
%~ level=272 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc',36) ,
%~ ax ,
%~ mfl4(BaseKB1,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc',36))) ,
%~ post1 = tPred(mudContains) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tPred(mudContains) ,
%~ support_fact = rtBinaryPredicate(mudContains) ,
%~ support_trig = '$pt'( baseKB,
%~ rtBinaryPredicate(mudContains),
%~ rhs( [ arity(mudContains,2),
%~ tPred(mudContains)])).
%~ %~ Found positive trigger: rtBinaryPredicate(mudContains)
%~ %~ body: has_functor(rtBinaryPredicate(mudContains)),get_functor(rtBinaryPredicate(mudContains),PrologSideEffects_BinaryPredicate,Functor),\+prologSideEffects(PrologSideEffects_BinaryPredicate)*->rhs(
%~ %~ [ { deduceEachArgType( rtBinaryPredicate(mudContains)) }])
%~ %~ Found positive trigger: tPred(mudContains)
%~ %~ body: has_functor(tPred(mudContains)),get_functor(tPred(mudContains),PrologSideEffects_Pred,Functor),\+prologSideEffects(PrologSideEffects_Pred)*->rhs(
%~ %~ [ { deduceEachArgType( tPred(mudContains)) }])
%~ call_mpred_post4 :-
%~ level=194 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tPred(mudInsideOf) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tPred(mudInsideOf) ,
%~ support_fact = ( mfl4(_618,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc',36) ,
%~ ax) ,
%~ support_trig = mfl4(_1076,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc',36).
%~ baseKB : mpred_fwc1( tPred(mudInsideOf)).
%~ %~ Found positive trigger: tPred(mudInsideOf)
%~ %~ body: rhs([ tRelation(mudInsideOf)])
%~ %~ RHS-Post1: tRelation(mudInsideOf)
%~ %~ Support: tPred(mudInsideOf),$pt(baseKB,tPred(mudInsideOf),rhs([ tRelation(mudInsideOf)]))
%~ call_mpred_post4 :-
%~ level=232 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tRelation(mudInsideOf) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tRelation(mudInsideOf) ,
%~ support_fact = tPred(mudInsideOf) ,
%~ support_trig = '$pt'(baseKB,tPred(mudInsideOf),rhs([tRelation(mudInsideOf)])).
%~ baseKB : mpred_fwc1( tRelation(mudInsideOf)).
%~ %~ Found positive trigger: tRelation(mudInsideOf)
%~ %~ body: $nt(tFunction(mudInsideOf),call_u_no_bc(tFunction(mudInsideOf)),rhs([ tPred(mudInsideOf)]))
%~ %~ Adding negative
%~ %~ trigger: tFunction(mudInsideOf)
%~ %~ test: call_u_no_bc(tFunction(mudInsideOf))
%~ %~ body: rhs([ tPred(mudInsideOf)])
%~ %~ Support: tRelation(mudInsideOf),$pt(baseKB,tRelation(mudInsideOf),$nt(tFunction(mudInsideOf),call_u_no_bc(tFunction(mudInsideOf)),rhs(
%~ %~ [ tPred(mudInsideOf)])))
%~ %~ RHS-Post1: tPred(mudInsideOf)
%~ %~ Support: \+tFunction(mudInsideOf),$nt(tFunction(mudInsideOf),call_u_no_bc(tFunction(mudInsideOf)),rhs([ tPred(mudInsideOf)]))
%~ call_mpred_post4 :-
%~ level=275 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc',36) ,
%~ ax ,
%~ mfl4(BaseKB1,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc',36))) ,
%~ post1 = tPred(mudInsideOf) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tPred(mudInsideOf) ,
%~ support_fact = \+( tFunction(mudInsideOf)) ,
%~ support_trig = '$nt'(tFunction(mudInsideOf),call_u_no_bc(tFunction(mudInsideOf)),rhs([tPred(mudInsideOf)])).
%~ %~ Adding NEG mpred_do_fcnt via support
%~ %~ trigger: tFunction(mudInsideOf)
%~ %~ cond: call_u_no_bc(tFunction(mudInsideOf))
%~ %~ action: rhs([ tPred(mudInsideOf)])
%~ %~ from: mpred_add_support_fast(tPred(mudInsideOf),(\+tFunction(mudInsideOf),$nt(tFunction(mudInsideOf),call_u_no_bc(tFunction(mudInsideOf)),rhs(
%~ %~ [ tPred(mudInsideOf)]))))
%~ %~ Found positive trigger: tRelation(mudInsideOf)
%~ %~ body: has_functor(tRelation(mudInsideOf)),get_functor(tRelation(mudInsideOf),PrologSideEffects_Relation,Functor),\+prologSideEffects(PrologSideEffects_Relation)*->rhs(
%~ %~ [ { deduceEachArgType( tRelation(mudInsideOf)) }])
%~ %~ Found positive trigger: tPred(mudInsideOf)
%~ %~ body: arity(mudInsideOf,2)*->rhs([ rtBinaryPredicate(mudInsideOf)])
%~ %~ Found positive trigger: tPred(mudInsideOf)
%~ %~ body: has_functor(tPred(mudInsideOf)),get_functor(tPred(mudInsideOf),PrologSideEffects_Pred,Functor),\+prologSideEffects(PrologSideEffects_Pred)*->rhs(
%~ %~ [ { deduceEachArgType( tPred(mudInsideOf)) }])
%~ call_mpred_post4 :-
%~ level=194 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = rtBinaryPredicate(mudInsideOf) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = rtBinaryPredicate(mudInsideOf) ,
%~ support_fact = ( mfl4(_618,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc',36) ,
%~ ax) ,
%~ support_trig = mfl4(_1076,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc',36).
%~ baseKB : mpred_fwc1( rtBinaryPredicate(mudInsideOf)).
%~ %~ Found positive trigger: rtBinaryPredicate(mudInsideOf)
%~ %~ body: rhs([ tRelation(mudInsideOf)])
%~ %~ RHS-Post1: tRelation(mudInsideOf)
%~ %~ Support: rtBinaryPredicate(mudInsideOf),$pt(baseKB,rtBinaryPredicate(mudInsideOf),rhs([ tRelation(mudInsideOf)]))
%~ call_mpred_post4 :-
%~ level=232 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( tPred(mudInsideOf),'$pt'(baseKB,tPred(mudInsideOf),rhs([tRelation(mudInsideOf)]))) ,
%~ post1 = tRelation(mudInsideOf) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tRelation(mudInsideOf) ,
%~ support_fact = rtBinaryPredicate(mudInsideOf) ,
%~ support_trig = '$pt'(baseKB,rtBinaryPredicate(mudInsideOf),rhs([tRelation(mudInsideOf)])).
%~ %~ Found positive trigger: rtBinaryPredicate(mudInsideOf)
%~ %~ body: rhs([ arity(mudInsideOf,2),
%~ %~ tPred(mudInsideOf)])
%~ %~ RHS-Post1: arity(mudInsideOf,2)
%~ %~ Support: rtBinaryPredicate(mudInsideOf),$pt(baseKB,rtBinaryPredicate(mudInsideOf),rhs([ arity(mudInsideOf,2),
%~ %~ tPred(mudInsideOf)]))
%~ call_mpred_post4 :-
%~ level=232 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = arity(mudInsideOf,2) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arity(mudInsideOf,2) ,
%~ support_fact = rtBinaryPredicate(mudInsideOf) ,
%~ support_trig = '$pt'( baseKB,
%~ rtBinaryPredicate(mudInsideOf),
%~ rhs( [ arity(mudInsideOf,2),
%~ tPred(mudInsideOf)])).
%~ baseKB : mpred_fwc1( arity(mudInsideOf,2)).
%~ %~ Found positive trigger: arity(mudInsideOf,2)
%~ %~ body: predicateConventionMt(mudInsideOf,PredicateConventionMt_MudInsideOf)*->rhs([ { kb_global( PredicateConventionMt_MudInsideOf :
%~ %~
%~ %~ mudInsideOf/2) }])
%~ %~ Found positive trigger: arity(mudInsideOf,2)
%~ %~ body: prologHybrid(mudInsideOf)*->rhs([ { kb_shared( mudInsideOf/2) }])
%~ %~ Found positive trigger: arity(mudInsideOf,2)
%~ %~ body: pfcControlled(mudInsideOf)*->rhs([ hybrid_support(mudInsideOf,2)])
%~ %~ Found positive trigger: arity(mudInsideOf,2)
%~ %~ body: singleValuedInArg(mudInsideOf,SingleValuedInArgAX_SingleValuedInArg_MudInsideOf)*->rhs([ singleValuedInArgAX(mudInsideOf,2,SingleValuedInArgAX_SingleValuedInArg_MudInsideOf)])
%~ %~ Found positive trigger: arity(mudInsideOf,2)
%~ %~ body: tPred(mudInsideOf)*->rhs([ rtBinaryPredicate(mudInsideOf)])
%~ %~ RHS-Post1: rtBinaryPredicate(mudInsideOf)
%~ %~ Support: arity(mudInsideOf,2),$pt(baseKB,arity(mudInsideOf,2),(tPred(mudInsideOf)*->rhs([ rtBinaryPredicate(mudInsideOf)])))
%~ call_mpred_post4 :-
%~ level=272 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc',36) ,
%~ ax ,
%~ mfl4(BaseKB1,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc',36))) ,
%~ post1 = rtBinaryPredicate(mudInsideOf) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = rtBinaryPredicate(mudInsideOf) ,
%~ support_fact = arity(mudInsideOf,2) ,
%~ support_trig = '$pt'( baseKB,
%~ arity(mudInsideOf,2),
%~ tPred(mudInsideOf)*->rhs([rtBinaryPredicate(mudInsideOf)])).
%~ %~ Found positive trigger: arity(mudInsideOf,2)
%~ %~ body: has_functor(arity(mudInsideOf,2)),get_functor(arity(mudInsideOf,2),PrologSideEffects_Arity,Functor),\+prologSideEffects(PrologSideEffects_Arity)*->rhs(
%~ %~ [ { deduceEachArgType( arity(mudInsideOf,2)) }])
%~ %~ RHS-Post1: tPred(mudInsideOf)
%~ %~ Support: rtBinaryPredicate(mudInsideOf),$pt(baseKB,rtBinaryPredicate(mudInsideOf),rhs([ arity(mudInsideOf,2),
%~ %~ tPred(mudInsideOf)]))
%~ call_mpred_post4 :-
%~ level=233 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc',36) ,
%~ ax ,
%~ mfl4(BaseKB1,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc',36))) ,
%~ post1 = tPred(mudInsideOf) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tPred(mudInsideOf) ,
%~ support_fact = rtBinaryPredicate(mudInsideOf) ,
%~ support_trig = '$pt'( baseKB,
%~ rtBinaryPredicate(mudInsideOf),
%~ rhs( [ arity(mudInsideOf,2),
%~ tPred(mudInsideOf)])).
%~ %~ Found positive trigger: rtBinaryPredicate(mudInsideOf)
%~ %~ body: has_functor(rtBinaryPredicate(mudInsideOf)),get_functor(rtBinaryPredicate(mudInsideOf),PrologSideEffects_BinaryPredicate,Functor),\+prologSideEffects(PrologSideEffects_BinaryPredicate)*->rhs(
%~ %~ [ { deduceEachArgType( rtBinaryPredicate(mudInsideOf)) }])
%~ kif_to_boxlog_attvars2 = necessary(genlInverse(mudContains,mudInsideOf))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(genlInverse(mudContains,mudInsideOf)).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that mudContains genlInverse mudInsideOf
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( genlInverse(mudContains,mudInsideOf)).
============================================
~*/
% :- baseKB:deduceEachArgType(genlInverse(mudContains,mudInsideOf)).
% :- must(ain((( genlInverse(P1,P2),arity(P1,2),arity(P2,2), t(P1,A,B)) ==> t(P2,B,A)))).
%:- must(ain((( genlInverse(P1,P2),arity(P1,2),arity(P2,2)) ==> ( t(P1,A,B) ==> t(P2,B,A))))).
genlInverse(P1,P2) ==> ( t(P1,A,B) ==> t(P2,B,A)).
%:-ain((((P/(has_functor(P),get_functor(P,F,A), \+prologSideEffects(F),mpred_literal(P)) ==> {baseKB:agenda_slow_op_enqueue(deduceEachArgType(P))})))).
/*~
%~ call_mpred_post4 :-
%~ level=81 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mfl4(
%~ [ 'P1'=P14, 'P2'=P25,'A'=A6,
%~ 'B'=B7],
%~ baseKB, '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl', 998) ,
%~ ax)) ,
%~ post1 = ( genlInverse(P1,P2) ==>
%~ t(_14716,_14760,_14782) ==>
%~ t(_518,_526,_522)) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = ( genlInverse(P1,P2) ==>
%~ t(_514,_522,_526) ==>
%~ t(_518,_526,_522)) ,
%~ support_fact = mfl4(
%~ [ 'P1'=P1, 'P2'=P2,'A'=A,
%~ 'B'=B],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc', 44) ,
%~ support_trig=ax.
~*/
%:-ain((((P/(has_functor(P),get_functor(P,F,A), \+prologSideEffects(F),mpred_literal(P)) ==> {baseKB:agenda_slow_op_enqueue(deduceEachArgType(P))})))).
:- mpred_test(mudInsideOf(b,a)).
/*~
%~ ?-( mpred_test("Test_0001_Line_0000__B",baseKB:mudInsideOf(b,a))).
%~ make_dynamic_here(baseKB,mudInsideOf(b,a))
failure=info((why_was_true(baseKB:(\+mudInsideOf(b,a))),nop(ftrace(baseKB:mudInsideOf(b,a)))))
no_proof_for(\+mudInsideOf(b,a)).
no_proof_for(\+mudInsideOf(b,a)).
no_proof_for(\+mudInsideOf(b,a)).
name = 'logicmoo.base.examples.fol.HOLDS_011-Test_0001_Line_0000__B'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.HOLDS_011'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'holds_011.pfc\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-base-examples-fol-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_base_examples_fol_HOLDS_011_Test_0001_Line_0000_B-junit.xml
~*/
:- mpred_test(isa(mudInsideOf,rtBinaryPredicate)).
% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/424
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/HOLDS_011/logicmoo_base_examples_fol_HOLDS_011_JUnit/
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AHOLDS_011
/*~
%~ ?-( mpred_test("Test_0002_Line_0000__MudInsideOf",baseKB:rtBinaryPredicate(mudInsideOf))).
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc#L52
passed=info(why_was_true(baseKB:rtBinaryPredicate(mudInsideOf)))
Justifications for rtBinaryPredicate(mudInsideOf):
1.1 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc#L36 ',36)
1.2 ax % [mfl4(_462830,_462832,_462834,_462836)]
2.1 arity(mudInsideOf,2) % [mfl4(_463550,_463552,_463554,_463556)]
2.2 arity(W4,2),tPred(W4)<gt;==>rtBinaryPredicate(W4) % [logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:1176]
2.3 rtBinaryPredicate(mudInsideOf) % [mfl4(_465176,_465178,_465180,_465182)]
2.4 mfl4(['Pred'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl#L1176 ',1176)
2.5 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/holds_011.pfc#L36 ',36)
2.6 ax % [mfl4(_466664,_466666,_466668,_466670)]
name = 'logicmoo.base.examples.fol.HOLDS_011-Test_0002_Line_0000__MudInsideOf'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.HOLDS_011'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'holds_011.pfc\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-base-examples-fol-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_base_examples_fol_HOLDS_011_Test_0002_Line_0000_MudInsideOf-junit.xml
~*/
%~ unused(no_junit_results)
Test_0001_Line_0000__B result = failure.
Test_0002_Line_0000__MudInsideOf result = passed.
%~ test_completed_exit(8)
totalTime=4.000
FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k holds_011.pfc (returned 8) Add_LABELS='' Rem_LABELS='Skipped,Skipped,Errors,Warnings,Overtime,Skipped'
