logicmoo_workspace
logicmoo_workspace copied to clipboard
Published
20 hours ago •
logicmoo
logicmoo
logicmoo.base.examples.fol.EXISTS_04 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 "['exists_04.pfc.pl']")
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/EXISTS_04/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AEXISTS_04 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/425
%~ 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/exists_04.pfc.pl'),
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))
% =================================================================================
% Load the system
% =================================================================================
:- expects_dialect(clif).
% =================================================================================
% Set our engine up
% =================================================================================
% deduce instances from usages in args having the effect of deducing human,dwelling,beverage_class are classes
/*~
~*/
% =================================================================================
% Set our engine up
% =================================================================================
% deduce instances from usages in args having the effect of deducing human,dwelling,beverage_class are classes
==> feature_setting(make_wff,true).
% set truth maintainance system to remove previous assertions that new assertions disagree with
/*~
~*/
% set truth maintainance system to remove previous assertions that new assertions disagree with
==> feature_setting(tms_mode,remove_conflicting).
/*~
~*/
:- set_prolog_flag(runtime_debug,3). % mention it when we remove previous assertions
/*~
~*/
% mention it when we remove previous assertions
:- set_prolog_flag_until_eof(do_renames,mpred_expansion).
% =================================================================================
% Define a couple predicates
% =================================================================================
/*~
~*/
% =================================================================================
% Define a couple predicates
% =================================================================================
:- set_prolog_flag(gc,false).
/*~
~*/
:- mpred_trace_all.
/*~
~*/
:- mpred_trace_exec.
/*~
~*/
exists(X, livesAt(X, green_house) & drinks(X, coffee)).
/*~
%~ call_mpred_post4 :-
%~ level=109 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = clif( exists(X,livesAt(X,green_house)&drinks(X,coffee))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = clif( exists(X,livesAt(X,green_house)&drinks(X,coffee))) ,
%~ support_fact = mfl4(
%~ [ 'X'=X],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl', 35) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( clif( exists( Coffee_Green_house,
%~ livesAt(Coffee_Green_house,green_house)&drinks(Coffee_Green_house,coffee)))).
%~ debugm( baseKB,
%~ show_success( baseKB,
%~ baseKB : ain( clif( exists(X,livesAt(X,green_house)&drinks(X,coffee))))))
% 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: 1613 words .. **
** Grammar from file /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/lex.xg: 374 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.78 sec, 3 clauses
% /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/debuggery/dmsg compiled into dmsg 0.15 sec, -16 clauses
=======================================================
exists('$VAR'('Coffee_Green_house'),&(livesAt('$VAR'('Coffee_Green_house'),green_house),drinks('$VAR'('Coffee_Green_house'),coffee)))
============================================
?- kif_to_boxlog( exists(Coffee_Green_house,livesAt(Coffee_Green_house,green_house)&drinks(Coffee_Green_house,coffee)) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~
%~ There exists ?Coffee_Green_house
%~ (" ?Coffee_Green_house livesAt green_house " and
%~ " ?Coffee_Green_house drinks coffee " )
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ call_mpred_post4 :-
%~ level=107 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = wid(rule1:0,rule,exists(_8553142,livesAt(_8553142,green_house)&drinks(_8553142,coffee))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = wid(rule1:0,rule,exists(_8553142,livesAt(_8553142,green_house)&drinks(_8553142,coffee))) ,
%~ support_fact = mfl4(
%~ [ 'Coffee_Green_house'=Coffee_Green_house,
%~ 'Green_house'=Coffee_Green_house,
%~ 'X'=X],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl', 35) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( wid( rule1 : 0,
%~ rule,
%~ exists( Coffee_Green_house4,
%~ livesAt(Coffee_Green_house4,green_house)&drinks(Coffee_Green_house4,coffee)))).
%~ kif_to_boxlog_attvars2 = exists('$VAR'('Coffee_Green_house'),necessary(and(livesAt('$VAR'('Coffee_Green_house'),green_house),drinks('$VAR'('Coffee_Green_house'),coffee))))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 4 entailment(s):
nesc(drinks(Coffee_Green_house,coffee))&'$existential'(Coffee_Green_house,1,nesc(livesAt(Coffee_Green_house,green_house))&nesc(drinks(Coffee_Green_house,coffee)))==>nesc(livesAt(Coffee_Green_house,green_house)).
nesc(livesAt(Coffee_Green_house,green_house))&'$existential'(Coffee_Green_house,1,nesc(livesAt(Coffee_Green_house,green_house))&nesc(drinks(Coffee_Green_house,coffee)))==>nesc(drinks(Coffee_Green_house,coffee)).
poss(~drinks(Coffee_Green_house,coffee))&'$existential'(Coffee_Green_house,1,nesc(livesAt(Coffee_Green_house,green_house))&nesc(drinks(Coffee_Green_house,coffee)))==>poss(~livesAt(Coffee_Green_house,green_house)).
poss(~livesAt(Coffee_Green_house,green_house))&'$existential'(Coffee_Green_house,1,nesc(livesAt(Coffee_Green_house,green_house))&nesc(drinks(Coffee_Green_house,coffee)))==>poss(~drinks(Coffee_Green_house,coffee)).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?Coffee_Green_house drinks coffee " is necessarily true and
%~ by default ?Coffee_Green_house nesc(livesAt(Coffee_Green_house,green_house))&nesc(drinks(Coffee_Green_house,coffee))
%~ It's Proof that:
%~ " ?Coffee_Green_house livesAt green_house " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( nesc( drinks(Coffee_Green_house,coffee)) &
'$existential'( Coffee_Green_house,
1,
nesc(livesAt(Coffee_Green_house,green_house))&nesc(drinks(Coffee_Green_house,coffee)))) ==>
nesc( livesAt(Coffee_Green_house,green_house))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?Coffee_Green_house livesAt green_house " is necessarily true and
%~ by default ?Coffee_Green_house nesc(livesAt(Coffee_Green_house,green_house))&nesc(drinks(Coffee_Green_house,coffee))
%~ It's Proof that:
%~ " ?Coffee_Green_house drinks coffee " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( nesc( livesAt(Coffee_Green_house,green_house)) &
'$existential'( Coffee_Green_house,
1,
nesc(livesAt(Coffee_Green_house,green_house))&nesc(drinks(Coffee_Green_house,coffee)))) ==>
nesc( drinks(Coffee_Green_house,coffee))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?Coffee_Green_house drinks coffee " is possibly false and
%~ by default ?Coffee_Green_house nesc(livesAt(Coffee_Green_house,green_house))&nesc(drinks(Coffee_Green_house,coffee))
%~ It's Proof that:
%~ " ?Coffee_Green_house livesAt green_house " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( poss( ~( drinks(Coffee_Green_house,coffee))) &
'$existential'( Coffee_Green_house,
1,
nesc(livesAt(Coffee_Green_house,green_house))&nesc(drinks(Coffee_Green_house,coffee)))) ==>
poss( ~( livesAt(Coffee_Green_house,green_house)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?Coffee_Green_house livesAt green_house " is possibly false and
%~ by default ?Coffee_Green_house nesc(livesAt(Coffee_Green_house,green_house))&nesc(drinks(Coffee_Green_house,coffee))
%~ It's Proof that:
%~ " ?Coffee_Green_house drinks coffee " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( poss( ~( livesAt(Coffee_Green_house,green_house))) &
'$existential'( Coffee_Green_house,
1,
nesc(livesAt(Coffee_Green_house,green_house))&nesc(drinks(Coffee_Green_house,coffee)))) ==>
poss( ~( drinks(Coffee_Green_house,coffee)))).
============================================
%~ call_mpred_post4 :-
%~ level=125 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = wid(rule2:0,rule,exists(_10757582,livesAt(_10757582,green_house)&drinks(_10757582,coffee))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = wid(rule2:0,rule,exists(_10757582,livesAt(_10757582,green_house)&drinks(_10757582,coffee))) ,
%~ support_fact = mfl4(
%~ [ 'Coffee_Green_house'=Coffee_Green_house,
%~ 'Green_house'=Coffee_Green_house,
%~ 'X'=X,
%~ 'Coffee_Green_house'=Coffee_Green_house],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl', 35) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( wid( rule2 : 0,
%~ rule,
%~ exists( Coffee_Green_house5,
%~ livesAt(Coffee_Green_house5,green_house)&drinks(Coffee_Green_house5,coffee)))).
%~ kif_to_boxlog_attvars2 = exists('$VAR'('X'),necessary(and(livesAt('$VAR'('X'),green_house),drinks('$VAR'('X'),coffee))))
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?X livesAt green_house " is possibly false and
%~ by default ?X nesc(livesAt(X,green_house))&nesc(drinks(X,coffee))
%~ It's Proof that:
%~ " ?X drinks coffee " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( poss( ~( livesAt(X,green_house))) &
'$existential'(X,1,nesc(livesAt(X,green_house))&nesc(drinks(X,coffee)))) ==>
poss( ~( drinks(X,coffee)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?X drinks coffee " is necessarily true and
%~ by default ?X nesc(livesAt(X,green_house))&nesc(drinks(X,coffee))
%~ It's Proof that:
%~ " ?X livesAt green_house " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( nesc( drinks(X,coffee)) &
'$existential'(X,1,nesc(livesAt(X,green_house))&nesc(drinks(X,coffee)))) ==>
nesc( livesAt(X,green_house))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?X drinks coffee " is possibly false and
%~ by default ?X nesc(livesAt(X,green_house))&nesc(drinks(X,coffee))
%~ It's Proof that:
%~ " ?X livesAt green_house " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( poss( ~( drinks(X,coffee))) &
'$existential'(X,1,nesc(livesAt(X,green_house))&nesc(drinks(X,coffee)))) ==>
poss( ~( livesAt(X,green_house)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?X livesAt green_house " is necessarily true and
%~ by default ?X nesc(livesAt(X,green_house))&nesc(drinks(X,coffee))
%~ It's Proof that:
%~ " ?X drinks coffee " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( nesc( livesAt(X,green_house)) &
'$existential'(X,1,nesc(livesAt(X,green_house))&nesc(drinks(X,coffee)))) ==>
nesc( drinks(X,coffee))).
~*/
:- listing([clif,modal_clif,boxlog/1]).
/*~
%~ skipped( listing( [ clif, modal_clif,boxlog/1]))
~*/
:- break.
/*~
%~ skipped(blocks_on_input,break)
~*/
:- kif_compile.
/*~
%~ call_mpred_post4 :-
%~ level=91 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1=compiled_clif ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0=compiled_clif ,
%~ support_fact = mfl4(_12983072,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1(compiled_clif).
%~ %~ Found positive trigger: compiled_clif
%~ %~ body: rhs([ ( clif(Clif_to_modal_clif) ==>
%~ %~ ( { delistify_last_arg(Clif_to_modal_clif,clif_to_modal_clif,Clif_Arg) } ,
%~ %~ modal_clif(Clif_Arg)))])
%~ %~ RHS-Post1: clif(Clif_to_modal_clif)==>{delistify_last_arg(Clif_to_modal_clif,clif_to_modal_clif,Clif_Arg)},modal_clif(Clif_Arg)
%~ %~ Support: compiled_clif,$pt(baseKB,compiled_clif,rhs([ ( clif(Clif_to_modal_clif) ==>
%~ %~ ( { delistify_last_arg(Clif_to_modal_clif,clif_to_modal_clif,Clif_Arg) } ,
%~ %~ modal_clif(Clif_Arg)))]))
%~ call_mpred_post4 :-
%~ level=129 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = ( clif(_13005756) ==>
%~ {delistify_last_arg(_13005756,clif_to_modal_clif,_13005774)},modal_clif(_13005774)) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = clif(_13005756)==>{delistify_last_arg(_13005756,clif_to_modal_clif,_13005774)},modal_clif(_13005774) ,
%~ support_fact=compiled_clif ,
%~ support_trig = '$pt'( baseKB,
%~ compiled_clif,
%~ rhs([(clif(_13005756)==>{delistify_last_arg(_13005756,clif_to_modal_clif,_13005774)},modal_clif(_13005774))])).
%~ baseKB : mpred_fwc1( ( clif(Clif_to_modal_clif) ==>
%~ ( { delistify_last_arg(Clif_to_modal_clif,clif_to_modal_clif,Clif_Arg) } ,
%~ modal_clif(Clif_Arg)))).
%~ call_mpred_post4 :-
%~ level=179 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,clif,1,pfcLHS) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,clif,1,pfcLHS) ,
%~ support_fact = ( ( clif(_13099952) ==>
%~ {delistify_last_arg(_13099952,clif_to_modal_clif,_13099970)},modal_clif(_13099970)) ,
%~ mfl4(_13099978,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,clif,1,pfcLHS)).
%~ %~ Found positive trigger: mpred_prop(baseKB,clif,1,pfcLHS)
%~ %~ body: \+ground((clif/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,clif,1,pfcLHS)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,clif,1,pfcLHS)
%~ %~ body: rhs([ arity(clif,1),
%~ %~ functorIsMacro(clif),
%~ %~ mpred_prop(baseKB,clif,1,pfcWatches)])
%~ %~ RHS-Post1: arity(clif,1)
%~ %~ Support: mpred_prop(baseKB,clif,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,clif,1,pfcLHS),rhs([ arity(clif,1),
%~ %~ functorIsMacro(clif),
%~ %~ mpred_prop(baseKB,clif,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=217 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( workflow_holder_queue(clif) ,
%~ '$pt'( baseKB,
%~ workflow_holder_queue(Trace_ArgsVerbatum_Col_Queue),
%~ rhs( [ ~( tCol(Trace_ArgsVerbatum_Col_Queue)),
%~ { dynamic( Trace_ArgsVerbatum_Col_Queue/1),
%~ kb_shared( Trace_ArgsVerbatum_Col_Queue/1) },
%~ rtArgsVerbatum(Trace_ArgsVerbatum_Col_Queue),
%~ { mpred_trace(Trace_ArgsVerbatum_Col_Queue) },
%~ arity(Trace_ArgsVerbatum_Col_Queue,1)])))) ,
%~ post1 = arity(clif,1) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arity(clif,1) ,
%~ support_fact = mpred_prop(baseKB,clif,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,clif,1,pfcLHS),
%~ rhs( [ arity(clif,1), functorIsMacro(clif),mpred_prop(baseKB,clif,1,pfcWatches)])).
%~ %~ RHS-Post1: functorIsMacro(clif)
%~ %~ Support: mpred_prop(baseKB,clif,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,clif,1,pfcLHS),rhs([ arity(clif,1),
%~ %~ functorIsMacro(clif),
%~ %~ mpred_prop(baseKB,clif,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=218 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = functorIsMacro(clif) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = functorIsMacro(clif) ,
%~ support_fact = mpred_prop(baseKB,clif,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,clif,1,pfcLHS),
%~ rhs( [ arity(clif,1), functorIsMacro(clif),mpred_prop(baseKB,clif,1,pfcWatches)])).
%~ baseKB : mpred_fwc1( functorIsMacro(clif)).
%~ %~ RHS-Post1: mpred_prop(baseKB,clif,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,clif,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,clif,1,pfcLHS),rhs([ arity(clif,1),
%~ %~ functorIsMacro(clif),
%~ %~ mpred_prop(baseKB,clif,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=219 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,clif,1,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,clif,1,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,clif,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,clif,1,pfcLHS),
%~ rhs( [ arity(clif,1), functorIsMacro(clif),mpred_prop(baseKB,clif,1,pfcWatches)])).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,clif,1,pfcWatches)).
%~ %~ Found positive trigger: mpred_prop(baseKB,clif,1,pfcWatches)
%~ %~ body: \+ground((clif/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,clif,1,pfcWatches)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,clif,1,pfcWatches)
%~ %~ body: rhs([ { kb_shared( baseKB : clif/1) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,clif,1,pfcWatches)
%~ %~ body: genlPreds(pfcWatches,Prop_GenlPreds_PfcWatches)*->rhs([ mpred_prop(baseKB,clif,1,Prop_GenlPreds_PfcWatches)])
%~ %~ Found positive trigger: mpred_prop(baseKB,clif,1,pfcLHS)
%~ %~ body: genlPreds(pfcLHS,Prop_GenlPreds_PfcLHS)*->rhs([ mpred_prop(baseKB,clif,1,Prop_GenlPreds_PfcLHS)])
%~ %~ Adding positive
%~ %~ trigger: clif(Clif)
%~ %~ body: rhs([ { delistify_last_arg(Clif_to_modal_clif,clif_to_modal_clif,Clif_Arg) },
%~ %~ modal_clif(Clif_Arg)])
%~ %~ Support: (clif(Clif_to_modal_clif)==>{delistify_last_arg(Clif_to_modal_clif,clif_to_modal_clif,Clif_Arg)},modal_clif(Clif_Arg)),mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl#L39 ',39)
%~ call_mpred_post4 :-
%~ level=185 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,clif,1,pfcPosTrigger) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,clif,1,pfcPosTrigger) ,
%~ support_fact = ( ( clif(_13099160) ==>
%~ {delistify_last_arg(_13099160,clif_to_modal_clif,_13099178)},modal_clif(_13099178)) ,
%~ mfl4(_13098900,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,clif,1,pfcPosTrigger)).
%~ %~ Found positive trigger: mpred_prop(baseKB,clif,1,pfcPosTrigger)
%~ %~ body: \+ground((clif/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,clif,1,pfcPosTrigger)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,clif,1,pfcPosTrigger)
%~ %~ body: rhs([ mpred_prop(baseKB,clif,1,pfcWatches)])
%~ %~ RHS-Post1: mpred_prop(baseKB,clif,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,clif,1,pfcPosTrigger),$pt(baseKB,mpred_prop(baseKB,clif,1,pfcPosTrigger),rhs([ mpred_prop(baseKB,clif,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=223 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mpred_prop(baseKB,clif,1,pfcLHS) ,
%~ '$pt'( baseKB,
%~ mpred_prop(baseKB,clif,1,pfcLHS),
%~ rhs( [ arity(clif,1), functorIsMacro(clif),mpred_prop(baseKB,clif,1,pfcWatches)])))) ,
%~ post1 = mpred_prop(baseKB,clif,1,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,clif,1,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,clif,1,pfcPosTrigger) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,clif,1,pfcPosTrigger),
%~ rhs([mpred_prop(baseKB,clif,1,pfcWatches)])).
%~ %~ Found positive trigger: mpred_prop(baseKB,clif,1,pfcPosTrigger)
%~ %~ body: genlPreds(pfcPosTrigger,Prop_GenlPreds_PfcPosTrigger)*->rhs([ mpred_prop(baseKB,clif,1,Prop_GenlPreds_PfcPosTrigger)])
%~ %~ RHS-Post1: modal_clif(exists(Coffee_Green_house,nesc(livesAt(Coffee_Green_house,green_house)&drinks(Coffee_Green_house,coffee))))
%~ %~ Support: clif(exists(Coffee_Green_house2,livesAt(Coffee_Green_house2,green_house)&drinks(Coffee_Green_house2,coffee))),$pt(baseKB,clif(Clif_to_modal_clif),rhs(
%~ %~ [ { delistify_last_arg(Clif_to_modal_clif,clif_to_modal_clif,Clif_Arg) },
%~ %~ modal_clif(Clif_Arg)]))
%~ call_mpred_post4 :-
%~ level=179 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = modal_clif( exists( Coffee_Green_house,
%~ nesc( livesAt(Coffee_Green_house,green_house)&drinks(Coffee_Green_house,coffee)))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = modal_clif( exists( Coffee_Green_house,
%~ nesc( livesAt(Coffee_Green_house,green_house)&drinks(Coffee_Green_house,coffee)))) ,
%~ support_fact = clif( exists( Coffee_Green_house3,
%~ livesAt(Coffee_Green_house3,green_house)&drinks(Coffee_Green_house3,coffee))) ,
%~ support_trig = '$pt'( baseKB,
%~ clif(Clif),
%~ rhs( [ { delistify_last_arg(Clif_to_modal_clif,clif_to_modal_clif,Clif_Arg) },
%~ modal_clif(Clif_Arg)])).
%~ baseKB : mpred_fwc1( modal_clif( exists( Nesc_Coffee_Green_house3,
%~ nesc( livesAt(Nesc_Coffee_Green_house3,green_house)&drinks(Nesc_Coffee_Green_house3,coffee))))).
%~ %~ Found positive trigger: compiled_clif
%~ %~ body: rhs([ ( modal_clif(Clif_Kif_to_boxlog) ==>
%~ %~ ( { delistify_last_arg(Clif_Kif_to_boxlog,kif_to_boxlog,Boxlog_Arg) } ,
%~ %~ boxlog(Boxlog_Arg)))])
%~ %~ RHS-Post1: modal_clif(Clif_Kif_to_boxlog)==>{delistify_last_arg(Clif_Kif_to_boxlog,kif_to_boxlog,Boxlog_Arg)},boxlog(Boxlog_Arg)
%~ %~ Support: compiled_clif,$pt(baseKB,compiled_clif,rhs([ ( modal_clif(Clif_Kif_to_boxlog) ==>
%~ %~ ( { delistify_last_arg(Clif_Kif_to_boxlog,kif_to_boxlog,Boxlog_Arg) } ,
%~ %~ boxlog(Boxlog_Arg)))]))
%~ call_mpred_post4 :-
%~ level=129 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = modal_clif(_13772988)==>{delistify_last_arg(_13772988,kif_to_boxlog,_13773006)},boxlog(_13773006) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = modal_clif(_13772988)==>{delistify_last_arg(_13772988,kif_to_boxlog,_13773006)},boxlog(_13773006) ,
%~ support_fact=compiled_clif ,
%~ support_trig = '$pt'( baseKB,
%~ compiled_clif,
%~ rhs([(modal_clif(_13772988)==>{delistify_last_arg(_13772988,kif_to_boxlog,_13773006)},boxlog(_13773006))])).
%~ baseKB : mpred_fwc1( ( modal_clif(Clif_Kif_to_boxlog) ==>
%~ ( { delistify_last_arg(Clif_Kif_to_boxlog,kif_to_boxlog,Boxlog_Arg) } ,
%~ boxlog(Boxlog_Arg)))).
%~ call_mpred_post4 :-
%~ level=179 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,modal_clif,1,pfcLHS) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,modal_clif,1,pfcLHS) ,
%~ support_fact = ( ( modal_clif(_13866514) ==>
%~ {delistify_last_arg(_13866514,kif_to_boxlog,_13866532)},boxlog(_13866532)) ,
%~ mfl4(_13866540,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,modal_clif,1,pfcLHS)).
%~ %~ Found positive trigger: mpred_prop(baseKB,modal_clif,1,pfcLHS)
%~ %~ body: \+ground((modal_clif/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,modal_clif,1,pfcLHS)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,modal_clif,1,pfcLHS)
%~ %~ body: rhs([ arity(modal_clif,1),
%~ %~ functorIsMacro(modal_clif),
%~ %~ mpred_prop(baseKB,modal_clif,1,pfcWatches)])
%~ %~ RHS-Post1: arity(modal_clif,1)
%~ %~ Support: mpred_prop(baseKB,modal_clif,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,modal_clif,1,pfcLHS),rhs([ arity(modal_clif,1),
%~ %~ functorIsMacro(modal_clif),
%~ %~ mpred_prop(baseKB,modal_clif,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=217 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( workflow_holder_queue(modal_clif) ,
%~ '$pt'( baseKB,
%~ workflow_holder_queue(Trace_ArgsVerbatum_Col_Queue),
%~ rhs( [ ~( tCol(Trace_ArgsVerbatum_Col_Queue)),
%~ { dynamic( Trace_ArgsVerbatum_Col_Queue/1),
%~ kb_shared( Trace_ArgsVerbatum_Col_Queue/1) },
%~ rtArgsVerbatum(Trace_ArgsVerbatum_Col_Queue),
%~ { mpred_trace(Trace_ArgsVerbatum_Col_Queue) },
%~ arity(Trace_ArgsVerbatum_Col_Queue,1)])))) ,
%~ post1 = arity(modal_clif,1) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arity(modal_clif,1) ,
%~ support_fact = mpred_prop(baseKB,modal_clif,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,modal_clif,1,pfcLHS),
%~ rhs( [ arity(modal_clif,1),
%~ functorIsMacro(modal_clif),
%~ mpred_prop(baseKB,modal_clif,1,pfcWatches)])).
%~ %~ RHS-Post1: functorIsMacro(modal_clif)
%~ %~ Support: mpred_prop(baseKB,modal_clif,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,modal_clif,1,pfcLHS),rhs([ arity(modal_clif,1),
%~ %~ functorIsMacro(modal_clif),
%~ %~ mpred_prop(baseKB,modal_clif,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=218 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = functorIsMacro(modal_clif) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = functorIsMacro(modal_clif) ,
%~ support_fact = mpred_prop(baseKB,modal_clif,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,modal_clif,1,pfcLHS),
%~ rhs( [ arity(modal_clif,1),
%~ functorIsMacro(modal_clif),
%~ mpred_prop(baseKB,modal_clif,1,pfcWatches)])).
%~ baseKB : mpred_fwc1( functorIsMacro(modal_clif)).
%~ %~ RHS-Post1: mpred_prop(baseKB,modal_clif,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,modal_clif,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,modal_clif,1,pfcLHS),rhs([ arity(modal_clif,1),
%~ %~ functorIsMacro(modal_clif),
%~ %~ mpred_prop(baseKB,modal_clif,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=219 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,modal_clif,1,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,modal_clif,1,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,modal_clif,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,modal_clif,1,pfcLHS),
%~ rhs( [ arity(modal_clif,1),
%~ functorIsMacro(modal_clif),
%~ mpred_prop(baseKB,modal_clif,1,pfcWatches)])).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,modal_clif,1,pfcWatches)).
%~ %~ Found positive trigger: mpred_prop(baseKB,modal_clif,1,pfcWatches)
%~ %~ body: \+ground((modal_clif/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,modal_clif,1,pfcWatches)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,modal_clif,1,pfcWatches)
%~ %~ body: rhs([ { kb_shared( baseKB : modal_clif/1) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,modal_clif,1,pfcWatches)
%~ %~ body: genlPreds(pfcWatches,Prop_GenlPreds_PfcWatches)*->rhs([ mpred_prop(baseKB,modal_clif,1,Prop_GenlPreds_PfcWatches)])
%~ %~ Found positive trigger: mpred_prop(baseKB,modal_clif,1,pfcLHS)
%~ %~ body: genlPreds(pfcLHS,Prop_GenlPreds_PfcLHS)*->rhs([ mpred_prop(baseKB,modal_clif,1,Prop_GenlPreds_PfcLHS)])
%~ %~ Adding positive
%~ %~ trigger: modal_clif(Clif)
%~ %~ body: rhs([ { delistify_last_arg(Kif_to_boxlog,kif_to_boxlog,Boxlog_Arg) },
%~ %~ boxlog(Boxlog_Arg)])
%~ %~ Support: (modal_clif(Clif_Kif_to_boxlog)==>{delistify_last_arg(Clif_Kif_to_boxlog,kif_to_boxlog,Boxlog_Arg)},boxlog(Boxlog_Arg)),mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl#L39 ',39)
%~ call_mpred_post4 :-
%~ level=185 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,modal_clif,1,pfcPosTrigger) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,modal_clif,1,pfcPosTrigger) ,
%~ support_fact = ( ( modal_clif(_13865722) ==>
%~ {delistify_last_arg(_13865722,kif_to_boxlog,_13865740)},boxlog(_13865740)) ,
%~ mfl4(_13865462,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,modal_clif,1,pfcPosTrigger)).
%~ %~ Found positive trigger: mpred_prop(baseKB,modal_clif,1,pfcPosTrigger)
%~ %~ body: \+ground((modal_clif/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,modal_clif,1,pfcPosTrigger)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,modal_clif,1,pfcPosTrigger)
%~ %~ body: rhs([ mpred_prop(baseKB,modal_clif,1,pfcWatches)])
%~ %~ RHS-Post1: mpred_prop(baseKB,modal_clif,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,modal_clif,1,pfcPosTrigger),$pt(baseKB,mpred_prop(baseKB,modal_clif,1,pfcPosTrigger),rhs([ mpred_prop(baseKB,modal_clif,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=223 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mpred_prop(baseKB,modal_clif,1,pfcLHS) ,
%~ '$pt'( baseKB,
%~ mpred_prop(baseKB,modal_clif,1,pfcLHS),
%~ rhs( [ arity(modal_clif,1),
%~ functorIsMacro(modal_clif),
%~ mpred_prop(baseKB,modal_clif,1,pfcWatches)])))) ,
%~ post1 = mpred_prop(baseKB,modal_clif,1,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,modal_clif,1,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,modal_clif,1,pfcPosTrigger) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,modal_clif,1,pfcPosTrigger),
%~ rhs([mpred_prop(baseKB,modal_clif,1,pfcWatches)])).
%~ %~ Found positive trigger: mpred_prop(baseKB,modal_clif,1,pfcPosTrigger)
%~ %~ body: genlPreds(pfcPosTrigger,Prop_GenlPreds_PfcPosTrigger)*->rhs([ mpred_prop(baseKB,modal_clif,1,Prop_GenlPreds_PfcPosTrigger)])
%~ call_mpred_post4 :-
%~ level=224 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = wid(rule3:0,rule,exists(_14206894,nesc(livesAt(_14206894,green_house)&drinks(_14206894,coffee)))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = wid(rule3:0,rule,exists(_14206894,nesc(livesAt(_14206894,green_house)&drinks(_14206894,coffee)))) ,
%~ support_fact = ( mfl4(_12983072,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39) ,
%~ ax) ,
%~ support_trig = mfl4(_12984128,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39).
%~ baseKB : mpred_fwc1( wid( rule3 : 0,
%~ rule,
%~ exists( Nesc_Coffee_Green_house,
%~ nesc( livesAt(Nesc_Coffee_Green_house,green_house)&drinks(Nesc_Coffee_Green_house,coffee))))).
%~ kif_to_boxlog_attvars2 = exists('$VAR'('Nesc_Coffee_Green_house'),necessary(and(livesAt('$VAR'('Nesc_Coffee_Green_house'),green_house),drinks('$VAR'('Nesc_Coffee_Green_house'),coffee))))
%~ %~ RHS-Post1: boxlog((poss(~livesAt(Nesc_Coffee_Green_house,green_house))& $existential(Nesc_Coffee_Green_house,1,nesc(livesAt(Nesc_Coffee_Green_house,green_house))&nesc(drinks(Nesc_Coffee_Green_house,coffee)))==>poss(~drinks(Nesc_Coffee_Green_house,coffee))))
%~ %~ Support: modal_clif(exists(Nesc_Coffee_Green_house3,nesc(livesAt(Nesc_Coffee_Green_house3,green_house)&drinks(Nesc_Coffee_Green_house3,coffee)))),$pt(baseKB,modal_clif(Clif_Kif_to_boxlog),rhs(
%~ %~ [ { delistify_last_arg(Clif_Kif_to_boxlog,kif_to_boxlog,Boxlog_Arg) },
%~ %~ boxlog(Boxlog_Arg)]))
%~ call_mpred_post4 :-
%~ level=179 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = boxlog( ( ( poss( ~( livesAt(Nesc_Coffee_Green_house,green_house))) &
%~ '$existential'( Nesc_Coffee_Green_house,
%~ 1,
%~ ( nesc( livesAt(Nesc_Coffee_Green_house,green_house)) &
%~ nesc( drinks(Nesc_Coffee_Green_house,coffee))))) ==>
%~ poss( ~( drinks(Nesc_Coffee_Green_house,coffee))))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = boxlog( ( ( poss( ~( livesAt(Nesc_Coffee_Green_house,green_house))) &
%~ '$existential'( Nesc_Coffee_Green_house,
%~ 1,
%~ ( nesc( livesAt(Nesc_Coffee_Green_house,green_house)) &
%~ nesc( drinks(Nesc_Coffee_Green_house,coffee))))) ==>
%~ poss( ~( drinks(Nesc_Coffee_Green_house,coffee))))) ,
%~ support_fact = modal_clif( exists( Nesc_Coffee_Green_house4,
%~ nesc( livesAt(Nesc_Coffee_Green_house4,green_house)&drinks(Nesc_Coffee_Green_house4,coffee)))) ,
%~ support_trig = '$pt'( baseKB,
%~ modal_clif(Clif),
%~ rhs( [ { delistify_last_arg(Kif_to_boxlog,kif_to_boxlog,Boxlog_Arg) },
%~ boxlog(Boxlog_Arg)])).
%~ baseKB : mpred_fwc1( boxlog( ( ( poss( ~( livesAt(Coffee_Green_house4,green_house))) &
%~ '$existential'( Coffee_Green_house4,
%~ 1,
%~ nesc(livesAt(Coffee_Green_house4,green_house))&nesc(drinks(Coffee_Green_house4,coffee)))) ==>
%~ poss( ~( drinks(Coffee_Green_house4,coffee)))))).
%~ %~ RHS-Post1: boxlog((nesc(drinks(Nesc_Coffee_Green_house,coffee))& $existential(Nesc_Coffee_Green_house,1,nesc(livesAt(Nesc_Coffee_Green_house,green_house))&nesc(drinks(Nesc_Coffee_Green_house,coffee)))==>nesc(livesAt(Nesc_Coffee_Green_house,green_house))))
%~ %~ Support: modal_clif(exists(Nesc_Coffee_Green_house3,nesc(livesAt(Nesc_Coffee_Green_house3,green_house)&drinks(Nesc_Coffee_Green_house3,coffee)))),$pt(baseKB,modal_clif(Clif_Kif_to_boxlog),rhs(
%~ %~ [ { delistify_last_arg(Clif_Kif_to_boxlog,kif_to_boxlog,Boxlog_Arg) },
%~ %~ boxlog(Boxlog_Arg)]))
%~ call_mpred_post4 :-
%~ level=179 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = boxlog( ( ( nesc( drinks(Nesc_Coffee_Green_house,coffee)) &
%~ '$existential'( Nesc_Coffee_Green_house,
%~ 1,
%~ ( nesc( livesAt(Nesc_Coffee_Green_house,green_house)) &
%~ nesc( drinks(Nesc_Coffee_Green_house,coffee))))) ==>
%~ nesc( livesAt(Nesc_Coffee_Green_house,green_house)))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = boxlog( ( ( nesc( drinks(Nesc_Coffee_Green_house,coffee)) &
%~ '$existential'( Nesc_Coffee_Green_house,
%~ 1,
%~ ( nesc( livesAt(Nesc_Coffee_Green_house,green_house)) &
%~ nesc( drinks(Nesc_Coffee_Green_house,coffee))))) ==>
%~ nesc( livesAt(Nesc_Coffee_Green_house,green_house)))) ,
%~ support_fact = modal_clif( exists( Nesc_Coffee_Green_house4,
%~ nesc( livesAt(Nesc_Coffee_Green_house4,green_house)&drinks(Nesc_Coffee_Green_house4,coffee)))) ,
%~ support_trig = '$pt'( baseKB,
%~ modal_clif(Clif),
%~ rhs( [ { delistify_last_arg(Kif_to_boxlog,kif_to_boxlog,Boxlog_Arg) },
%~ boxlog(Boxlog_Arg)])).
%~ baseKB : mpred_fwc1( boxlog( ( ( nesc( drinks(Green_house_Coffee,coffee)) &
%~ '$existential'( Green_house_Coffee,
%~ 1,
%~ nesc(livesAt(Green_house_Coffee,green_house))&nesc(drinks(Green_house_Coffee,coffee)))) ==>
%~ nesc( livesAt(Green_house_Coffee,green_house))))).
%~ %~ RHS-Post1: boxlog((poss(~drinks(Nesc_Coffee_Green_house,coffee))& $existential(Nesc_Coffee_Green_house,1,nesc(livesAt(Nesc_Coffee_Green_house,green_house))&nesc(drinks(Nesc_Coffee_Green_house,coffee)))==>poss(~livesAt(Nesc_Coffee_Green_house,green_house))))
%~ %~ Support: modal_clif(exists(Nesc_Coffee_Green_house3,nesc(livesAt(Nesc_Coffee_Green_house3,green_house)&drinks(Nesc_Coffee_Green_house3,coffee)))),$pt(baseKB,modal_clif(Clif_Kif_to_boxlog),rhs(
%~ %~ [ { delistify_last_arg(Clif_Kif_to_boxlog,kif_to_boxlog,Boxlog_Arg) },
%~ %~ boxlog(Boxlog_Arg)]))
%~ call_mpred_post4 :-
%~ level=179 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = boxlog( ( ( poss( ~( drinks(Nesc_Coffee_Green_house,coffee))) &
%~ '$existential'( Nesc_Coffee_Green_house,
%~ 1,
%~ ( nesc( livesAt(Nesc_Coffee_Green_house,green_house)) &
%~ nesc( drinks(Nesc_Coffee_Green_house,coffee))))) ==>
%~ poss( ~( livesAt(Nesc_Coffee_Green_house,green_house))))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = boxlog( ( ( poss( ~( drinks(Nesc_Coffee_Green_house,coffee))) &
%~ '$existential'( Nesc_Coffee_Green_house,
%~ 1,
%~ ( nesc( livesAt(Nesc_Coffee_Green_house,green_house)) &
%~ nesc( drinks(Nesc_Coffee_Green_house,coffee))))) ==>
%~ poss( ~( livesAt(Nesc_Coffee_Green_house,green_house))))) ,
%~ support_fact = modal_clif( exists( Nesc_Coffee_Green_house4,
%~ nesc( livesAt(Nesc_Coffee_Green_house4,green_house)&drinks(Nesc_Coffee_Green_house4,coffee)))) ,
%~ support_trig = '$pt'( baseKB,
%~ modal_clif(Clif),
%~ rhs( [ { delistify_last_arg(Kif_to_boxlog,kif_to_boxlog,Boxlog_Arg) },
%~ boxlog(Boxlog_Arg)])).
%~ baseKB : mpred_fwc1( boxlog( ( ( poss( ~( drinks(Green_house_Coffee,coffee))) &
%~ '$existential'( Green_house_Coffee,
%~ 1,
%~ nesc(livesAt(Green_house_Coffee,green_house))&nesc(drinks(Green_house_Coffee,coffee)))) ==>
%~ poss( ~( livesAt(Green_house_Coffee,green_house)))))).
%~ %~ RHS-Post1: boxlog((nesc(livesAt(Nesc_Coffee_Green_house,green_house))& $existential(Nesc_Coffee_Green_house,1,nesc(livesAt(Nesc_Coffee_Green_house,green_house))&nesc(drinks(Nesc_Coffee_Green_house,coffee)))==>nesc(drinks(Nesc_Coffee_Green_house,coffee))))
%~ %~ Support: modal_clif(exists(Nesc_Coffee_Green_house3,nesc(livesAt(Nesc_Coffee_Green_house3,green_house)&drinks(Nesc_Coffee_Green_house3,coffee)))),$pt(baseKB,modal_clif(Clif_Kif_to_boxlog),rhs(
%~ %~ [ { delistify_last_arg(Clif_Kif_to_boxlog,kif_to_boxlog,Boxlog_Arg) },
%~ %~ boxlog(Boxlog_Arg)]))
%~ call_mpred_post4 :-
%~ level=179 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = boxlog( ( ( nesc( livesAt(Nesc_Coffee_Green_house,green_house)) &
%~ '$existential'( Nesc_Coffee_Green_house,
%~ 1,
%~ ( nesc( livesAt(Nesc_Coffee_Green_house,green_house)) &
%~ nesc( drinks(Nesc_Coffee_Green_house,coffee))))) ==>
%~ nesc( drinks(Nesc_Coffee_Green_house,coffee)))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = boxlog( ( ( nesc( livesAt(Nesc_Coffee_Green_house,green_house)) &
%~ '$existential'( Nesc_Coffee_Green_house,
%~ 1,
%~ ( nesc( livesAt(Nesc_Coffee_Green_house,green_house)) &
%~ nesc( drinks(Nesc_Coffee_Green_house,coffee))))) ==>
%~ nesc( drinks(Nesc_Coffee_Green_house,coffee)))) ,
%~ support_fact = modal_clif( exists( Nesc_Coffee_Green_house4,
%~ nesc( livesAt(Nesc_Coffee_Green_house4,green_house)&drinks(Nesc_Coffee_Green_house4,coffee)))) ,
%~ support_trig = '$pt'( baseKB,
%~ modal_clif(Clif),
%~ rhs( [ { delistify_last_arg(Kif_to_boxlog,kif_to_boxlog,Boxlog_Arg) },
%~ boxlog(Boxlog_Arg)])).
%~ baseKB : mpred_fwc1( boxlog( ( ( nesc( livesAt(Coffee_Green_house4,green_house)) &
%~ '$existential'( Coffee_Green_house4,
%~ 1,
%~ nesc(livesAt(Coffee_Green_house4,green_house))&nesc(drinks(Coffee_Green_house4,coffee)))) ==>
%~ nesc( drinks(Coffee_Green_house4,coffee))))).
%~ %~ Found positive trigger: compiled_clif
%~ %~ body: rhs([ clif(~Clif_Clause)/is_kif_clause(Clif_Clause)==> \+clif(Clif_Clause)])
%~ %~ RHS-Post1: (clif(~Clif_Clause)/is_kif_clause(Clif_Clause))==> \+clif(Clif_Clause)
%~ %~ Support: compiled_clif,$pt(baseKB,compiled_clif,rhs([ clif(~Clif_Clause)/is_kif_clause(Clif_Clause)==> \+clif(Clif_Clause)]))
%~ call_mpred_post4 :-
%~ level=129 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = clif(~_17016810)/is_kif_clause(_17016810)==> \+clif(_17016810) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = clif(~_17016810)/is_kif_clause(_17016810)==> \+clif(_17016810) ,
%~ support_fact=compiled_clif ,
%~ support_trig = '$pt'( baseKB,
%~ compiled_clif,
%~ rhs([(clif(~_17016810)/is_kif_clause(_17016810)==> \+clif(_17016810))])).
%~ baseKB : mpred_fwc1( clif(~Clif_Clause)/is_kif_clause(Clif_Clause)==> \+clif(Clif_Clause)).
%~ %~ Adding positive
%~ %~ trigger: clif(~_17090632)
%~ %~ body: is_kif_clause(Clif_Clause)*->rhs([ \+( clif(Clif_Clause))])
%~ %~ Support: ((clif(~Clif_Clause)/is_kif_clause(Clif_Clause))==> \+clif(Clif_Clause)),mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl#L39 ',39)
%~ call_mpred_post4 :-
%~ level=91 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1=compiled_boxlog ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0=compiled_boxlog ,
%~ support_fact = mfl4(_17098560,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1(compiled_boxlog).
%~ %~ Found positive trigger: compiled_boxlog
%~ %~ body: rhs([ ( ( boxlog(Boxlog_to_pfc) ,
%~ %~ { delistify_last_arg(Boxlog_to_pfc,boxlog_to_pfc,Pfclog_Unqualified_Arg),
%~ %~ must_be_unqualified(Pfclog_Unqualified_Arg) }) ==>
%~ %~ pfclog(Pfclog_Unqualified_Arg))])
%~ %~ RHS-Post1: boxlog(Boxlog_to_pfc),{delistify_last_arg(Boxlog_to_pfc,boxlog_to_pfc,Pfclog_Unqualified_Arg),must_be_unqualified(Pfclog_Unqualified_Arg)}==>pfclog(Pfclog_Unqualified_Arg)
%~ %~ Support: compiled_boxlog,$pt(baseKB,compiled_boxlog,rhs([ ( ( boxlog(Boxlog_to_pfc) ,
%~ %~ { delistify_last_arg(Boxlog_to_pfc,boxlog_to_pfc,Pfclog_Unqualified_Arg),
%~ %~ must_be_unqualified(Pfclog_Unqualified_Arg) }) ==>
%~ %~ pfclog(Pfclog_Unqualified_Arg))]))
%~ call_mpred_post4 :-
%~ level=129 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = ( ( boxlog(_17121250) ,
%~ { delistify_last_arg(Boxlog_to_pfc,boxlog_to_pfc,Arg),
%~ must_be_unqualified(_17121268) }) ==>
%~ pfclog(_17121268)) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = ( ( boxlog(_17121250) ,
%~ { delistify_last_arg(Boxlog_to_pfc,boxlog_to_pfc,Arg),
%~ must_be_unqualified(_17121268) }) ==>
%~ pfclog(_17121268)) ,
%~ support_fact=compiled_boxlog ,
%~ support_trig = '$pt'( baseKB,
%~ compiled_boxlog,
%~ rhs([(boxlog(_17121250),{delistify_last_arg(_17121250,boxlog_to_pfc,_17121268),must_be_unqualified(_17121268)}==>pfclog(_17121268))])).
%~ baseKB : mpred_fwc1( ( ( boxlog(Boxlog_to_pfc) ,
%~ { delistify_last_arg(Boxlog_to_pfc,boxlog_to_pfc,Pfclog_Unqualified_Arg),
%~ must_be_unqualified(Pfclog_Unqualified_Arg) }) ==>
%~ pfclog(Pfclog_Unqualified_Arg))).
%~ call_mpred_post4 :-
%~ level=179 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,boxlog,1,pfcLHS) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,boxlog,1,pfcLHS) ,
%~ support_fact = ( ( ( boxlog(_17244872) ,
%~ { delistify_last_arg(Boxlog_to_pfc,boxlog_to_pfc,Arg),
%~ must_be_unqualified(_17244890) }) ==>
%~ pfclog(_17244890)) ,
%~ mfl4(_17244902,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,boxlog,1,pfcLHS)).
%~ %~ Found positive trigger: mpred_prop(baseKB,boxlog,1,pfcLHS)
%~ %~ body: \+ground((boxlog/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,boxlog,1,pfcLHS)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,boxlog,1,pfcLHS)
%~ %~ body: rhs([ arity(boxlog,1),
%~ %~ functorIsMacro(boxlog),
%~ %~ mpred_prop(baseKB,boxlog,1,pfcWatches)])
%~ %~ RHS-Post1: arity(boxlog,1)
%~ %~ Support: mpred_prop(baseKB,boxlog,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,boxlog,1,pfcLHS),rhs([ arity(boxlog,1),
%~ %~ functorIsMacro(boxlog),
%~ %~ mpred_prop(baseKB,boxlog,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=217 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( workflow_holder_queue(boxlog) ,
%~ '$pt'( baseKB,
%~ workflow_holder_queue(Trace_ArgsVerbatum_Col_Queue),
%~ rhs( [ ~( tCol(Trace_ArgsVerbatum_Col_Queue)),
%~ { dynamic( Trace_ArgsVerbatum_Col_Queue/1),
%~ kb_shared( Trace_ArgsVerbatum_Col_Queue/1) },
%~ rtArgsVerbatum(Trace_ArgsVerbatum_Col_Queue),
%~ { mpred_trace(Trace_ArgsVerbatum_Col_Queue) },
%~ arity(Trace_ArgsVerbatum_Col_Queue,1)])))) ,
%~ post1 = arity(boxlog,1) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arity(boxlog,1) ,
%~ support_fact = mpred_prop(baseKB,boxlog,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,boxlog,1,pfcLHS),
%~ rhs( [ arity(boxlog,1),
%~ functorIsMacro(boxlog),
%~ mpred_prop(baseKB,boxlog,1,pfcWatches)])).
%~ %~ RHS-Post1: functorIsMacro(boxlog)
%~ %~ Support: mpred_prop(baseKB,boxlog,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,boxlog,1,pfcLHS),rhs([ arity(boxlog,1),
%~ %~ functorIsMacro(boxlog),
%~ %~ mpred_prop(baseKB,boxlog,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=218 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = functorIsMacro(boxlog) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = functorIsMacro(boxlog) ,
%~ support_fact = mpred_prop(baseKB,boxlog,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,boxlog,1,pfcLHS),
%~ rhs( [ arity(boxlog,1),
%~ functorIsMacro(boxlog),
%~ mpred_prop(baseKB,boxlog,1,pfcWatches)])).
%~ baseKB : mpred_fwc1( functorIsMacro(boxlog)).
%~ %~ RHS-Post1: mpred_prop(baseKB,boxlog,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,boxlog,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,boxlog,1,pfcLHS),rhs([ arity(boxlog,1),
%~ %~ functorIsMacro(boxlog),
%~ %~ mpred_prop(baseKB,boxlog,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=219 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,boxlog,1,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,boxlog,1,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,boxlog,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,boxlog,1,pfcLHS),
%~ rhs( [ arity(boxlog,1),
%~ functorIsMacro(boxlog),
%~ mpred_prop(baseKB,boxlog,1,pfcWatches)])).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,boxlog,1,pfcWatches)).
%~ %~ Found positive trigger: mpred_prop(baseKB,boxlog,1,pfcWatches)
%~ %~ body: \+ground((boxlog/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,boxlog,1,pfcWatches)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,boxlog,1,pfcWatches)
%~ %~ body: rhs([ { kb_shared( baseKB : boxlog/1) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,boxlog,1,pfcWatches)
%~ %~ body: genlPreds(pfcWatches,Prop_GenlPreds_PfcWatches)*->rhs([ mpred_prop(baseKB,boxlog,1,Prop_GenlPreds_PfcWatches)])
%~ %~ Found positive trigger: mpred_prop(baseKB,boxlog,1,pfcLHS)
%~ %~ body: genlPreds(pfcLHS,Prop_GenlPreds_PfcLHS)*->rhs([ mpred_prop(baseKB,boxlog,1,Prop_GenlPreds_PfcLHS)])
%~ %~ Adding positive
%~ %~ trigger: boxlog(Boxlog)
%~ %~ body: delistify_last_arg(Boxlog_to_pfc,boxlog_to_pfc,Pfclog_Unqualified_Arg),must_be_unqualified(Pfclog_Unqualified_Arg)*->rhs(
%~ %~ [ pfclog(Pfclog_Unqualified_Arg)])
%~ %~ Support: (boxlog(Boxlog_to_pfc),{delistify_last_arg(Boxlog_to_pfc,boxlog_to_pfc,Pfclog_Unqualified_Arg),must_be_unqualified(Pfclog_Unqualified_Arg)}==>pfclog(Pfclog_Unqualified_Arg)),mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl#L39 ',39)
%~ call_mpred_post4 :-
%~ level=185 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,boxlog,1,pfcPosTrigger) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,boxlog,1,pfcPosTrigger) ,
%~ support_fact = ( ( ( boxlog(_17244288) ,
%~ { delistify_last_arg(Boxlog_to_pfc,boxlog_to_pfc,Arg),
%~ must_be_unqualified(_17244306) }) ==>
%~ pfclog(_17244306)) ,
%~ mfl4(_17244022,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,boxlog,1,pfcPosTrigger)).
%~ %~ Found positive trigger: mpred_prop(baseKB,boxlog,1,pfcPosTrigger)
%~ %~ body: \+ground((boxlog/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,boxlog,1,pfcPosTrigger)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,boxlog,1,pfcPosTrigger)
%~ %~ body: rhs([ mpred_prop(baseKB,boxlog,1,pfcWatches)])
%~ %~ RHS-Post1: mpred_prop(baseKB,boxlog,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,boxlog,1,pfcPosTrigger),$pt(baseKB,mpred_prop(baseKB,boxlog,1,pfcPosTrigger),rhs([ mpred_prop(baseKB,boxlog,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=223 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mpred_prop(baseKB,boxlog,1,pfcLHS) ,
%~ '$pt'( baseKB,
%~ mpred_prop(baseKB,boxlog,1,pfcLHS),
%~ rhs( [ arity(boxlog,1),
%~ functorIsMacro(boxlog),
%~ mpred_prop(baseKB,boxlog,1,pfcWatches)])))) ,
%~ post1 = mpred_prop(baseKB,boxlog,1,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,boxlog,1,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,boxlog,1,pfcPosTrigger) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,boxlog,1,pfcPosTrigger),
%~ rhs([mpred_prop(baseKB,boxlog,1,pfcWatches)])).
%~ %~ Found positive trigger: mpred_prop(baseKB,boxlog,1,pfcPosTrigger)
%~ %~ body: genlPreds(pfcPosTrigger,Prop_GenlPreds_PfcPosTrigger)*->rhs([ mpred_prop(baseKB,boxlog,1,Prop_GenlPreds_PfcPosTrigger)])
%~ %~ RHS-Post1: pfclog((poss(~livesAt(Coffee_Green_house,green_house)),$existential(Coffee_Green_house,1,(nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))==>poss(~drinks(Coffee_Green_house,coffee))))
%~ %~ Support: boxlog((poss(~livesAt(Coffee_Green_house3,green_house))& $existential(Coffee_Green_house3,1,nesc(livesAt(Coffee_Green_house3,green_house))&nesc(drinks(Coffee_Green_house3,coffee)))==>poss(~drinks(Coffee_Green_house3,coffee)))),$pt(baseKB,boxlog(Boxlog_to_pfc),(delistify_last_arg(Boxlog_to_pfc,boxlog_to_pfc,Pfclog_Unqualified_Arg),must_be_unqualified(Pfclog_Unqualified_Arg)*->rhs(
%~ %~ [ pfclog(Pfclog_Unqualified_Arg)])))
%~ call_mpred_post4 :-
%~ level=180 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = pfclog( ( ( poss( ~( livesAt(Coffee_Green_house,green_house))) ,
%~ '$existential'( Coffee_Green_house,
%~ 1,
%~ nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee)))) ==>
%~ poss( ~( drinks(Coffee_Green_house,coffee))))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = pfclog( ( ( poss( ~( livesAt(Coffee_Green_house,green_house))) ,
%~ '$existential'( Coffee_Green_house,
%~ 1,
%~ nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee)))) ==>
%~ poss( ~( drinks(Coffee_Green_house,coffee))))) ,
%~ support_fact = boxlog( ( ( poss( ~( livesAt(Coffee_Green_house4,green_house))) &
%~ '$existential'( Coffee_Green_house4,
%~ 1,
%~ nesc(livesAt(Coffee_Green_house4,green_house))&nesc(drinks(Coffee_Green_house4,coffee)))) ==>
%~ poss( ~( drinks(Coffee_Green_house4,coffee))))) ,
%~ support_trig = '$pt'( baseKB,
%~ boxlog(Boxlog),
%~ ( delistify_last_arg(_17592676,boxlog_to_pfc,_17592696),must_be_unqualified(_17592696) *->
%~ rhs([pfclog(_17592696)]))).
%~ baseKB : mpred_fwc1( pfclog( ( ( poss( ~( livesAt(Coffee_Green_house4,green_house))) ,
%~ '$existential'( Coffee_Green_house4,
%~ 1,
%~ nesc(livesAt(Coffee_Green_house4,green_house)),nesc(drinks(Coffee_Green_house4,coffee)))) ==>
%~ poss( ~( drinks(Coffee_Green_house4,coffee)))))).
%~ %~ RHS-Post1: pfclog((nesc(drinks(Green_house_Coffee,coffee)),$existential(Green_house_Coffee,1,(nesc(livesAt(Green_house_Coffee,green_house)),nesc(drinks(Green_house_Coffee,coffee))))==>nesc(livesAt(Green_house_Coffee,green_house))))
%~ %~ Support: boxlog((nesc(drinks(Green_house_Coffee3,coffee))& $existential(Green_house_Coffee3,1,nesc(livesAt(Green_house_Coffee3,green_house))&nesc(drinks(Green_house_Coffee3,coffee)))==>nesc(livesAt(Green_house_Coffee3,green_house)))),$pt(baseKB,boxlog(Boxlog_to_pfc),(delistify_last_arg(Boxlog_to_pfc,boxlog_to_pfc,Pfclog_Unqualified_Arg),must_be_unqualified(Pfclog_Unqualified_Arg)*->rhs(
%~ %~ [ pfclog(Pfclog_Unqualified_Arg)])))
%~ call_mpred_post4 :-
%~ level=180 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = pfclog( ( ( nesc( drinks(Green_house_Coffee,coffee)) ,
%~ '$existential'( Green_house_Coffee,
%~ 1,
%~ nesc(livesAt(Green_house_Coffee,green_house)),nesc(drinks(Green_house_Coffee,coffee)))) ==>
%~ nesc( livesAt(Green_house_Coffee,green_house)))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = pfclog( ( ( nesc( drinks(Green_house_Coffee,coffee)) ,
%~ '$existential'( Green_house_Coffee,
%~ 1,
%~ nesc(livesAt(Green_house_Coffee,green_house)),nesc(drinks(Green_house_Coffee,coffee)))) ==>
%~ nesc( livesAt(Green_house_Coffee,green_house)))) ,
%~ support_fact = boxlog( ( ( nesc( drinks(Green_house_Coffee4,coffee)) &
%~ '$existential'( Green_house_Coffee4,
%~ 1,
%~ nesc(livesAt(Green_house_Coffee4,green_house))&nesc(drinks(Green_house_Coffee4,coffee)))) ==>
%~ nesc( livesAt(Green_house_Coffee4,green_house)))) ,
%~ support_trig = '$pt'( baseKB,
%~ boxlog(Boxlog),
%~ ( delistify_last_arg(_17592676,boxlog_to_pfc,_17592696),must_be_unqualified(_17592696) *->
%~ rhs([pfclog(_17592696)]))).
%~ baseKB : mpred_fwc1( pfclog( ( ( nesc( drinks(Green_house_Coffee4,coffee)) ,
%~ '$existential'( Green_house_Coffee4,
%~ 1,
%~ nesc(livesAt(Green_house_Coffee4,green_house)),nesc(drinks(Green_house_Coffee4,coffee)))) ==>
%~ nesc( livesAt(Green_house_Coffee4,green_house))))).
%~ %~ RHS-Post1: pfclog((poss(~drinks(Green_house_Coffee,coffee)),$existential(Green_house_Coffee,1,(nesc(livesAt(Green_house_Coffee,green_house)),nesc(drinks(Green_house_Coffee,coffee))))==>poss(~livesAt(Green_house_Coffee,green_house))))
%~ %~ Support: boxlog((poss(~drinks(Green_house_Coffee3,coffee))& $existential(Green_house_Coffee3,1,nesc(livesAt(Green_house_Coffee3,green_house))&nesc(drinks(Green_house_Coffee3,coffee)))==>poss(~livesAt(Green_house_Coffee3,green_house)))),$pt(baseKB,boxlog(Boxlog_to_pfc),(delistify_last_arg(Boxlog_to_pfc,boxlog_to_pfc,Pfclog_Unqualified_Arg),must_be_unqualified(Pfclog_Unqualified_Arg)*->rhs(
%~ %~ [ pfclog(Pfclog_Unqualified_Arg)])))
%~ call_mpred_post4 :-
%~ level=180 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = pfclog( ( ( poss( ~( drinks(Green_house_Coffee,coffee))) ,
%~ '$existential'( Green_house_Coffee,
%~ 1,
%~ nesc(livesAt(Green_house_Coffee,green_house)),nesc(drinks(Green_house_Coffee,coffee)))) ==>
%~ poss( ~( livesAt(Green_house_Coffee,green_house))))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = pfclog( ( ( poss( ~( drinks(Green_house_Coffee,coffee))) ,
%~ '$existential'( Green_house_Coffee,
%~ 1,
%~ nesc(livesAt(Green_house_Coffee,green_house)),nesc(drinks(Green_house_Coffee,coffee)))) ==>
%~ poss( ~( livesAt(Green_house_Coffee,green_house))))) ,
%~ support_fact = boxlog( ( ( poss( ~( drinks(Green_house_Coffee4,coffee))) &
%~ '$existential'( Green_house_Coffee4,
%~ 1,
%~ nesc(livesAt(Green_house_Coffee4,green_house))&nesc(drinks(Green_house_Coffee4,coffee)))) ==>
%~ poss( ~( livesAt(Green_house_Coffee4,green_house))))) ,
%~ support_trig = '$pt'( baseKB,
%~ boxlog(Boxlog),
%~ ( delistify_last_arg(_17592676,boxlog_to_pfc,_17592696),must_be_unqualified(_17592696) *->
%~ rhs([pfclog(_17592696)]))).
%~ baseKB : mpred_fwc1( pfclog( ( ( poss( ~( drinks(Green_house_Coffee4,coffee))) ,
%~ '$existential'( Green_house_Coffee4,
%~ 1,
%~ nesc(livesAt(Green_house_Coffee4,green_house)),nesc(drinks(Green_house_Coffee4,coffee)))) ==>
%~ poss( ~( livesAt(Green_house_Coffee4,green_house)))))).
%~ %~ RHS-Post1: pfclog((nesc(livesAt(Coffee_Green_house,green_house)),$existential(Coffee_Green_house,1,(nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))==>nesc(drinks(Coffee_Green_house,coffee))))
%~ %~ Support: boxlog((nesc(livesAt(Coffee_Green_house3,green_house))& $existential(Coffee_Green_house3,1,nesc(livesAt(Coffee_Green_house3,green_house))&nesc(drinks(Coffee_Green_house3,coffee)))==>nesc(drinks(Coffee_Green_house3,coffee)))),$pt(baseKB,boxlog(Boxlog_to_pfc),(delistify_last_arg(Boxlog_to_pfc,boxlog_to_pfc,Pfclog_Unqualified_Arg),must_be_unqualified(Pfclog_Unqualified_Arg)*->rhs(
%~ %~ [ pfclog(Pfclog_Unqualified_Arg)])))
%~ call_mpred_post4 :-
%~ level=180 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = pfclog( ( ( nesc( livesAt(Coffee_Green_house,green_house)) ,
%~ '$existential'( Coffee_Green_house,
%~ 1,
%~ nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee)))) ==>
%~ nesc( drinks(Coffee_Green_house,coffee)))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = pfclog( ( ( nesc( livesAt(Coffee_Green_house,green_house)) ,
%~ '$existential'( Coffee_Green_house,
%~ 1,
%~ nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee)))) ==>
%~ nesc( drinks(Coffee_Green_house,coffee)))) ,
%~ support_fact = boxlog( ( ( nesc( livesAt(Coffee_Green_house4,green_house)) &
%~ '$existential'( Coffee_Green_house4,
%~ 1,
%~ nesc(livesAt(Coffee_Green_house4,green_house))&nesc(drinks(Coffee_Green_house4,coffee)))) ==>
%~ nesc( drinks(Coffee_Green_house4,coffee)))) ,
%~ support_trig = '$pt'( baseKB,
%~ boxlog(Boxlog),
%~ ( delistify_last_arg(_17592676,boxlog_to_pfc,_17592696),must_be_unqualified(_17592696) *->
%~ rhs([pfclog(_17592696)]))).
%~ baseKB : mpred_fwc1( pfclog( ( ( nesc( livesAt(Coffee_Green_house4,green_house)) ,
%~ '$existential'( Coffee_Green_house4,
%~ 1,
%~ nesc(livesAt(Coffee_Green_house4,green_house)),nesc(drinks(Coffee_Green_house4,coffee)))) ==>
%~ nesc( drinks(Coffee_Green_house4,coffee))))).
%~ call_mpred_post4 :-
%~ level=91 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1=compiled_pfclog ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0=compiled_pfclog ,
%~ support_fact = mfl4(_18349306,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1(compiled_pfclog).
%~ %~ Found positive trigger: compiled_pfclog
%~ %~ body: rhs([ pfclog(Pfclog)==>Pfclog])
%~ %~ RHS-Post1: pfclog(Pfclog)==>Pfclog
%~ %~ Support: compiled_pfclog,$pt(baseKB,compiled_pfclog,rhs([ pfclog(Pfclog)==>Pfclog]))
%~ call_mpred_post4 :-
%~ level=129 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = pfclog(_18371986)==>_18371986 ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = pfclog(_18371986)==>_18371986 ,
%~ support_fact=compiled_pfclog ,
%~ support_trig = '$pt'(baseKB,compiled_pfclog,rhs([(pfclog(_18371986)==>_18371986)])).
%~ baseKB : mpred_fwc1( pfclog(Pfclog)==>Pfclog).
%~ call_mpred_post4 :-
%~ level=179 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,pfclog,1,pfcLHS) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,pfclog,1,pfcLHS) ,
%~ support_fact = ( pfclog(_18425878)==>_18425878 ,
%~ mfl4(_18425882,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,pfclog,1,pfcLHS)).
%~ %~ Found positive trigger: mpred_prop(baseKB,pfclog,1,pfcLHS)
%~ %~ body: \+ground((pfclog/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,pfclog,1,pfcLHS)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,pfclog,1,pfcLHS)
%~ %~ body: rhs([ arity(pfclog,1),
%~ %~ functorIsMacro(pfclog),
%~ %~ mpred_prop(baseKB,pfclog,1,pfcWatches)])
%~ %~ RHS-Post1: arity(pfclog,1)
%~ %~ Support: mpred_prop(baseKB,pfclog,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,pfclog,1,pfcLHS),rhs([ arity(pfclog,1),
%~ %~ functorIsMacro(pfclog),
%~ %~ mpred_prop(baseKB,pfclog,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=217 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( workflow_holder_queue(pfclog) ,
%~ '$pt'( baseKB,
%~ workflow_holder_queue(Trace_ArgsVerbatum_Col_Queue),
%~ rhs( [ ~( tCol(Trace_ArgsVerbatum_Col_Queue)),
%~ { dynamic( Trace_ArgsVerbatum_Col_Queue/1),
%~ kb_shared( Trace_ArgsVerbatum_Col_Queue/1) },
%~ rtArgsVerbatum(Trace_ArgsVerbatum_Col_Queue),
%~ { mpred_trace(Trace_ArgsVerbatum_Col_Queue) },
%~ arity(Trace_ArgsVerbatum_Col_Queue,1)])))) ,
%~ post1 = arity(pfclog,1) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arity(pfclog,1) ,
%~ support_fact = mpred_prop(baseKB,pfclog,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,pfclog,1,pfcLHS),
%~ rhs( [ arity(pfclog,1),
%~ functorIsMacro(pfclog),
%~ mpred_prop(baseKB,pfclog,1,pfcWatches)])).
%~ %~ RHS-Post1: functorIsMacro(pfclog)
%~ %~ Support: mpred_prop(baseKB,pfclog,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,pfclog,1,pfcLHS),rhs([ arity(pfclog,1),
%~ %~ functorIsMacro(pfclog),
%~ %~ mpred_prop(baseKB,pfclog,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=218 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = functorIsMacro(pfclog) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = functorIsMacro(pfclog) ,
%~ support_fact = mpred_prop(baseKB,pfclog,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,pfclog,1,pfcLHS),
%~ rhs( [ arity(pfclog,1),
%~ functorIsMacro(pfclog),
%~ mpred_prop(baseKB,pfclog,1,pfcWatches)])).
%~ baseKB : mpred_fwc1( functorIsMacro(pfclog)).
%~ %~ RHS-Post1: mpred_prop(baseKB,pfclog,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,pfclog,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,pfclog,1,pfcLHS),rhs([ arity(pfclog,1),
%~ %~ functorIsMacro(pfclog),
%~ %~ mpred_prop(baseKB,pfclog,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=219 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,pfclog,1,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,pfclog,1,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,pfclog,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,pfclog,1,pfcLHS),
%~ rhs( [ arity(pfclog,1),
%~ functorIsMacro(pfclog),
%~ mpred_prop(baseKB,pfclog,1,pfcWatches)])).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,pfclog,1,pfcWatches)).
%~ %~ Found positive trigger: mpred_prop(baseKB,pfclog,1,pfcWatches)
%~ %~ body: \+ground((pfclog/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,pfclog,1,pfcWatches)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,pfclog,1,pfcWatches)
%~ %~ body: rhs([ { kb_shared( baseKB : pfclog/1) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,pfclog,1,pfcWatches)
%~ %~ body: genlPreds(pfcWatches,Prop_GenlPreds_PfcWatches)*->rhs([ mpred_prop(baseKB,pfclog,1,Prop_GenlPreds_PfcWatches)])
%~ %~ Found positive trigger: mpred_prop(baseKB,pfclog,1,pfcLHS)
%~ %~ body: genlPreds(pfcLHS,Prop_GenlPreds_PfcLHS)*->rhs([ mpred_prop(baseKB,pfclog,1,Prop_GenlPreds_PfcLHS)])
%~ %~ Adding positive
%~ %~ trigger: pfclog(Pfclog)
%~ %~ body: rhs([_18659902])
%~ %~ Support: (pfclog(Pfclog)==>Pfclog),mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl#L39 ',39)
%~ call_mpred_post4 :-
%~ level=185 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,pfclog,1,pfcPosTrigger) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,pfclog,1,pfcPosTrigger) ,
%~ support_fact = ( pfclog(_18425628)==>_18425628 ,
%~ mfl4(_18425368,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,pfclog,1,pfcPosTrigger)).
%~ %~ Found positive trigger: mpred_prop(baseKB,pfclog,1,pfcPosTrigger)
%~ %~ body: \+ground((pfclog/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,pfclog,1,pfcPosTrigger)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,pfclog,1,pfcPosTrigger)
%~ %~ body: rhs([ mpred_prop(baseKB,pfclog,1,pfcWatches)])
%~ %~ RHS-Post1: mpred_prop(baseKB,pfclog,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,pfclog,1,pfcPosTrigger),$pt(baseKB,mpred_prop(baseKB,pfclog,1,pfcPosTrigger),rhs([ mpred_prop(baseKB,pfclog,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=223 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mpred_prop(baseKB,pfclog,1,pfcLHS) ,
%~ '$pt'( baseKB,
%~ mpred_prop(baseKB,pfclog,1,pfcLHS),
%~ rhs( [ arity(pfclog,1),
%~ functorIsMacro(pfclog),
%~ mpred_prop(baseKB,pfclog,1,pfcWatches)])))) ,
%~ post1 = mpred_prop(baseKB,pfclog,1,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,pfclog,1,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,pfclog,1,pfcPosTrigger) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,pfclog,1,pfcPosTrigger),
%~ rhs([mpred_prop(baseKB,pfclog,1,pfcWatches)])).
%~ %~ Found positive trigger: mpred_prop(baseKB,pfclog,1,pfcPosTrigger)
%~ %~ body: genlPreds(pfcPosTrigger,Prop_GenlPreds_PfcPosTrigger)*->rhs([ mpred_prop(baseKB,pfclog,1,Prop_GenlPreds_PfcPosTrigger)])
%~ %~ RHS-Post1: poss(~livesAt(Coffee_Green_house,green_house)),$existential(Coffee_Green_house,1,(nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))==>poss(~drinks(Coffee_Green_house,coffee))
%~ %~ Support: pfclog((poss(~livesAt(Coffee_Green_house,green_house)),$existential(Coffee_Green_house,1,(nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))==>poss(~drinks(Coffee_Green_house,coffee)))),$pt(baseKB,pfclog(Pfclog),rhs(
%~ %~ [Pfclog]))
%~ call_mpred_post4 :-
%~ level=177 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = ( ( poss( ~( livesAt(Green_house,green_house))) ,
%~ '$existential'(_18749762,1,(nesc(livesAt(_18749762,green_house)),nesc(drinks(_18749762,coffee))))) ==>
%~ poss( ~( drinks(Coffee,coffee)))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = ( ( poss( ~( livesAt(Green_house,green_house))) ,
%~ '$existential'(_18749762,1,(nesc(livesAt(_18749762,green_house)),nesc(drinks(_18749762,coffee))))) ==>
%~ poss( ~( drinks(Coffee,coffee)))) ,
%~ support_fact = pfclog( ( ( poss( ~( livesAt(Coffee_Green_house,green_house))) ,
%~ '$existential'( Coffee_Green_house,
%~ 1,
%~ nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee)))) ==>
%~ poss( ~( drinks(Coffee_Green_house,coffee))))) ,
%~ support_trig = '$pt'(baseKB,pfclog(_18749664),rhs([_18749664])).
%~ baseKB : mpred_fwc1( ( ( poss( ~( livesAt(Coffee_Green_house,green_house))) ,
%~ '$existential'( Coffee_Green_house,
%~ 1,
%~ nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee)))) ==>
%~ poss( ~( drinks(Coffee_Green_house,coffee))))).
%~ call_mpred_post4 :-
%~ level=228 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,'$existential',3,pfcCallCode) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,'$existential',3,pfcCallCode) ,
%~ support_fact = ( ( ( poss( ~( livesAt(Green_house,green_house))) ,
%~ '$existential'( _18902140,
%~ 1,
%~ nesc(livesAt(_18880106,green_house)),nesc(drinks(_18880106,coffee)))) ==>
%~ poss( ~( drinks(Coffee,coffee)))) ,
%~ mfl4(_18880160,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,'$existential',3,pfcCallCode)).
%~ %~ Found positive trigger: mpred_prop(baseKB,'$existential',3,pfcCallCode)
%~ %~ body: \+ground(('$existential'/3))*->rhs([ { trace_or_throw( mpred_prop(baseKB,'$existential',3,pfcCallCode)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,'$existential',3,pfcCallCode)
%~ %~ body: predicate_is_undefined_fa('$existential',3)*->rhs([ mpred_prop(baseKB,'$existential',3,needsDefined)])
%~ %~ Found positive trigger: mpred_prop(baseKB,'$existential',3,pfcCallCode)
%~ %~ body: genlPreds(pfcCallCode,Prop_GenlPreds_PfcCallCode)*->rhs([ mpred_prop(baseKB,'$existential',3,Prop_GenlPreds_PfcCallCode)])
%~ %~ Adding positive
%~ %~ trigger: poss(~livesAt(Green_house,green_house))
%~ %~ body: $existential(Coffee_Green_house,1,(nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))*->rhs(
%~ %~ [ poss( ~( drinks(Coffee_Green_house,coffee)))])
%~ %~ Support: (poss(~livesAt(Coffee_Green_house,green_house)),$existential(Coffee_Green_house,1,(nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))==>poss(~drinks(Coffee_Green_house,coffee))),mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl#L39 ',39)
%~ make_dynamic_here( baseKB,
%~ '$existential'( Coffee_Green_house,
%~ 1,
%~ nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))
%~ call_mpred_post4 :-
%~ level=228 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,'$existential',3,pfcLHS) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,'$existential',3,pfcLHS) ,
%~ support_fact = ( ( ( poss( ~( livesAt(Green_house,green_house))) ,
%~ '$existential'( _19014004,
%~ 1,
%~ nesc(livesAt(_18992172,green_house)),nesc(drinks(_18992172,coffee)))) ==>
%~ poss( ~( drinks(Coffee,coffee)))) ,
%~ mfl4(_18992226,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,'$existential',3,pfcLHS)).
%~ %~ Found positive trigger: mpred_prop(baseKB,'$existential',3,pfcLHS)
%~ %~ body: \+ground(('$existential'/3))*->rhs([ { trace_or_throw( mpred_prop(baseKB,'$existential',3,pfcLHS)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,'$existential',3,pfcLHS)
%~ %~ body: rhs([ arity('$existential',3),
%~ %~ functorIsMacro('$existential'),
%~ %~ mpred_prop(baseKB,'$existential',3,pfcWatches)])
%~ %~ RHS-Post1: arity('$existential',3)
%~ %~ Support: mpred_prop(baseKB,'$existential',3,pfcLHS),$pt(baseKB,mpred_prop(baseKB,'$existential',3,pfcLHS),rhs([ arity('$existential',3),
%~ %~ functorIsMacro('$existential'),
%~ %~ mpred_prop(baseKB,'$existential',3,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=266 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = arity('$existential',3) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arity('$existential',3) ,
%~ support_fact = mpred_prop(baseKB,'$existential',3,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,'$existential',3,pfcLHS),
%~ rhs( [ arity('$existential',3),
%~ functorIsMacro('$existential'),
%~ mpred_prop(baseKB,'$existential',3,pfcWatches)])).
%~ baseKB : mpred_fwc1( arity('$existential',3)).
%~ %~ Found positive trigger: arity('$existential',3)
%~ %~ body: predicateConventionMt('$existential',PredicateConventionMt_Existential)*->rhs([ { kb_global( PredicateConventionMt_Existential :
%~ %~
%~ %~ '$existential'/3) }])
%~ %~ Found positive trigger: arity('$existential',3)
%~ %~ body: prologHybrid('$existential')*->rhs([ { kb_shared( '$existential'/3) }])
%~ %~ Found positive trigger: arity('$existential',3)
%~ %~ body: pfcControlled('$existential')*->rhs([ hybrid_support('$existential',3)])
%~ %~ Found positive trigger: arity('$existential',3)
%~ %~ body: singleValuedInArg('$existential',SingleValuedInArgAX_SingleValuedInArg_Existential)*->rhs([ singleValuedInArgAX('$existential',3,SingleValuedInArgAX_SingleValuedInArg_Existential)])
%~ %~ RHS-Post1: functorIsMacro('$existential')
%~ %~ Support: mpred_prop(baseKB,'$existential',3,pfcLHS),$pt(baseKB,mpred_prop(baseKB,'$existential',3,pfcLHS),rhs([ arity('$existential',3),
%~ %~ functorIsMacro('$existential'),
%~ %~ mpred_prop(baseKB,'$existential',3,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=267 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = functorIsMacro('$existential') ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = functorIsMacro('$existential') ,
%~ support_fact = mpred_prop(baseKB,'$existential',3,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,'$existential',3,pfcLHS),
%~ rhs( [ arity('$existential',3),
%~ functorIsMacro('$existential'),
%~ mpred_prop(baseKB,'$existential',3,pfcWatches)])).
%~ baseKB : mpred_fwc1( functorIsMacro('$existential')).
%~ %~ RHS-Post1: mpred_prop(baseKB,'$existential',3,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,'$existential',3,pfcLHS),$pt(baseKB,mpred_prop(baseKB,'$existential',3,pfcLHS),rhs([ arity('$existential',3),
%~ %~ functorIsMacro('$existential'),
%~ %~ mpred_prop(baseKB,'$existential',3,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=268 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,'$existential',3,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,'$existential',3,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,'$existential',3,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,'$existential',3,pfcLHS),
%~ rhs( [ arity('$existential',3),
%~ functorIsMacro('$existential'),
%~ mpred_prop(baseKB,'$existential',3,pfcWatches)])).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,'$existential',3,pfcWatches)).
%~ %~ Found positive trigger: mpred_prop(baseKB,'$existential',3,pfcWatches)
%~ %~ body: \+ground(('$existential'/3))*->rhs([ { trace_or_throw( mpred_prop(baseKB,'$existential',3,pfcWatches)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,'$existential',3,pfcWatches)
%~ %~ body: rhs([ { kb_shared( baseKB : '$existential'/3) }])
%~ call_mpred_post4 :-
%~ level=376 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,'$existential',3,kb_shared) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,'$existential',3,kb_shared) ,
%~ support_fact = ( mfl4(_18349306,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39) ,
%~ ax) ,
%~ support_trig = mfl4(_18350362,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,'$existential',3,kb_shared)).
%~ %~ Found positive trigger: mpred_prop(baseKB,'$existential',3,kb_shared)
%~ %~ body: $pt(baseKB,genlMt(Call_BaseKB,baseKB),(Call_BaseKB\=baseKB*->rhs([ { nop( dmsg_pretty( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:'$existential'/3))),
%~ %~ show_failure( on_x_fail( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:'$existential'/3))) }])))
%~ %~ Adding positive
%~ %~ trigger: genlMt(BaseKB,baseKB)
%~ %~ body: Call_BaseKB\=baseKB*->rhs([ { nop( dmsg_pretty( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:'$existential'/3))),
%~ %~ show_failure( on_x_fail( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:'$existential'/3))) }])
%~ %~ Support: mpred_prop(baseKB,'$existential',3,kb_shared),$pt(baseKB,mpred_prop(baseKB,'$existential',3,kb_shared),$pt(baseKB,genlMt(Call_BaseKB,baseKB),(Call_BaseKB\=baseKB*->rhs(
%~ %~ [ { nop( dmsg_pretty( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:'$existential'/3))),
%~ %~ show_failure( on_x_fail( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:'$existential'/3))) }]))))
%~ %~ Found positive trigger: mpred_prop(baseKB,'$existential',3,kb_shared)
%~ %~ body: \+ground(('$existential'/3))*->rhs([ { trace_or_throw( mpred_prop(baseKB,'$existential',3,kb_shared)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,'$existential',3,kb_shared)
%~ %~ body: genlPreds(kb_shared,Prop_GenlPreds_Kb_shared)*->rhs([ mpred_prop(baseKB,'$existential',3,Prop_GenlPreds_Kb_shared)])
%~ %~ Found positive trigger: mpred_prop(baseKB,'$existential',3,pfcWatches)
%~ %~ body: genlPreds(pfcWatches,Prop_GenlPreds_PfcWatches)*->rhs([ mpred_prop(baseKB,'$existential',3,Prop_GenlPreds_PfcWatches)])
%~ %~ Found positive trigger: mpred_prop(baseKB,'$existential',3,pfcLHS)
%~ %~ body: genlPreds(pfcLHS,Prop_GenlPreds_PfcLHS)*->rhs([ mpred_prop(baseKB,'$existential',3,Prop_GenlPreds_PfcLHS)])
%~ call_mpred_post4 :-
%~ level=228 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,poss,1,pfcCallCode) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,poss,1,pfcCallCode) ,
%~ support_fact = ( ( ( poss( ~( livesAt(Green_house,green_house))) ,
%~ '$existential'( _19417962,
%~ 1,
%~ nesc(livesAt(_18992172,green_house)),nesc(drinks(_18992172,coffee)))) ==>
%~ poss( ~( drinks(Coffee,coffee)))) ,
%~ mfl4(_18992226,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,poss,1,pfcCallCode)).
%~ %~ Found positive trigger: mpred_prop(baseKB,poss,1,pfcCallCode)
%~ %~ body: \+ground((poss/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,poss,1,pfcCallCode)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,poss,1,pfcCallCode)
%~ %~ body: predicate_is_undefined_fa(poss,1)*->rhs([ mpred_prop(baseKB,poss,1,needsDefined)])
%~ %~ Found positive trigger: mpred_prop(baseKB,poss,1,pfcCallCode)
%~ %~ body: genlPreds(pfcCallCode,Prop_GenlPreds_PfcCallCode)*->rhs([ mpred_prop(baseKB,poss,1,Prop_GenlPreds_PfcCallCode)])
%~ %~ Adding positive
%~ %~ trigger: $existential(Coffee_Green_house,1,(nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))
%~ %~ body: poss(~livesAt(Coffee_Green_house,green_house))*->rhs([ poss( ~( drinks(Coffee_Green_house,coffee)))])
%~ %~ Support: (poss(~livesAt(Coffee_Green_house,green_house)),$existential(Coffee_Green_house,1,(nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))==>poss(~drinks(Coffee_Green_house,coffee))),mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl#L39 ',39)
%~ call_mpred_post4 :-
%~ level=233 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,'$existential',3,pfcPosTrigger) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,'$existential',3,pfcPosTrigger) ,
%~ support_fact = ( ( ( poss( ~( livesAt(Green_house,green_house))) ,
%~ '$existential'( _19500306,
%~ 1,
%~ nesc(livesAt(_18991562,green_house)),nesc(drinks(_18991562,coffee)))) ==>
%~ poss( ~( drinks(Coffee,coffee)))) ,
%~ mfl4(_18991288,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,'$existential',3,pfcPosTrigger)).
%~ %~ Found positive trigger: mpred_prop(baseKB,'$existential',3,pfcPosTrigger)
%~ %~ body: \+ground(('$existential'/3))*->rhs([ { trace_or_throw( mpred_prop(baseKB,'$existential',3,pfcPosTrigger)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,'$existential',3,pfcPosTrigger)
%~ %~ body: rhs([ mpred_prop(baseKB,'$existential',3,pfcWatches)])
%~ %~ RHS-Post1: mpred_prop(baseKB,'$existential',3,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,'$existential',3,pfcPosTrigger),$pt(baseKB,mpred_prop(baseKB,'$existential',3,pfcPosTrigger),rhs([ mpred_prop(baseKB,'$existential',3,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=271 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mpred_prop(baseKB,'$existential',3,pfcLHS) ,
%~ '$pt'( baseKB,
%~ mpred_prop(baseKB,'$existential',3,pfcLHS),
%~ rhs( [ arity('$existential',3),
%~ functorIsMacro('$existential'),
%~ mpred_prop(baseKB,'$existential',3,pfcWatches)])))) ,
%~ post1 = mpred_prop(baseKB,'$existential',3,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,'$existential',3,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,'$existential',3,pfcPosTrigger) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,'$existential',3,pfcPosTrigger),
%~ rhs([mpred_prop(baseKB,'$existential',3,pfcWatches)])).
%~ %~ Found positive trigger: mpred_prop(baseKB,'$existential',3,pfcPosTrigger)
%~ %~ body: genlPreds(pfcPosTrigger,Prop_GenlPreds_PfcPosTrigger)*->rhs([ mpred_prop(baseKB,'$existential',3,Prop_GenlPreds_PfcPosTrigger)])
%~ %~ RHS-Post1: nesc(drinks(Green_house_Coffee,coffee)),$existential(Green_house_Coffee,1,(nesc(livesAt(Green_house_Coffee,green_house)),nesc(drinks(Green_house_Coffee,coffee))))==>nesc(livesAt(Green_house_Coffee,green_house))
%~ %~ Support: pfclog((nesc(drinks(Green_house_Coffee,coffee)),$existential(Green_house_Coffee,1,(nesc(livesAt(Green_house_Coffee,green_house)),nesc(drinks(Green_house_Coffee,coffee))))==>nesc(livesAt(Green_house_Coffee,green_house)))),$pt(baseKB,pfclog(Pfclog),rhs(
%~ %~ [Pfclog]))
%~ call_mpred_post4 :-
%~ level=177 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = ( ( nesc( drinks(Coffee,coffee)) ,
%~ '$existential'(_19583788,1,(nesc(livesAt(_19583788,green_house)),nesc(drinks(_19583788,coffee))))) ==>
%~ nesc( livesAt(Green_house,green_house))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = ( ( nesc( drinks(Coffee,coffee)) ,
%~ '$existential'(_19583788,1,(nesc(livesAt(_19583788,green_house)),nesc(drinks(_19583788,coffee))))) ==>
%~ nesc( livesAt(Green_house,green_house))) ,
%~ support_fact = pfclog( ( ( nesc( drinks(Green_house_Coffee,coffee)) ,
%~ '$existential'( Green_house_Coffee,
%~ 1,
%~ nesc(livesAt(Green_house_Coffee,green_house)),nesc(drinks(Green_house_Coffee,coffee)))) ==>
%~ nesc( livesAt(Green_house_Coffee,green_house)))) ,
%~ support_trig = '$pt'(baseKB,pfclog(_18749664),rhs([_18749664])).
%~ baseKB : mpred_fwc1( ( ( nesc( drinks(Green_house_Coffee,coffee)) ,
%~ '$existential'( Green_house_Coffee,
%~ 1,
%~ nesc(livesAt(Green_house_Coffee,green_house)),nesc(drinks(Green_house_Coffee,coffee)))) ==>
%~ nesc( livesAt(Green_house_Coffee,green_house)))).
%~ %~ Adding positive
%~ %~ trigger: nesc(drinks(Coffee,coffee))
%~ %~ body: $existential(Coffee_Green_house,1,(nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))*->rhs(
%~ %~ [ nesc( livesAt(Coffee_Green_house,green_house))])
%~ %~ Support: (nesc(drinks(Green_house_Coffee,coffee)),$existential(Green_house_Coffee,1,(nesc(livesAt(Green_house_Coffee,green_house)),nesc(drinks(Green_house_Coffee,coffee))))==>nesc(livesAt(Green_house_Coffee,green_house))),mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl#L39 ',39)
%~ call_mpred_post4 :-
%~ level=228 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,nesc,1,pfcCallCode) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,nesc,1,pfcCallCode) ,
%~ support_fact = ( ( ( nesc( drinks(Coffee,coffee)) ,
%~ '$existential'( _19745642,
%~ 1,
%~ nesc(livesAt(_19725274,green_house)),nesc(drinks(_19725274,coffee)))) ==>
%~ nesc( livesAt(Green_house,green_house))) ,
%~ mfl4(_19725324,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl',39)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,nesc,1,pfcCallCode)).
%~ %~ Found positive trigger: mpred_prop(baseKB,nesc,1,pfcCallCode)
%~ %~ body: \+ground((nesc/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,nesc,1,pfcCallCode)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,nesc,1,pfcCallCode)
%~ %~ body: predicate_is_undefined_fa(nesc,1)*->rhs([ mpred_prop(baseKB,nesc,1,needsDefined)])
%~ %~ Found positive trigger: mpred_prop(baseKB,nesc,1,pfcCallCode)
%~ %~ body: genlPreds(pfcCallCode,Prop_GenlPreds_PfcCallCode)*->rhs([ mpred_prop(baseKB,nesc,1,Prop_GenlPreds_PfcCallCode)])
%~ %~ Adding positive
%~ %~ trigger: $existential(Coffee_Green_house,1,(nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))
%~ %~ body: nesc(drinks(Green_house_Coffee,coffee))*->rhs([ nesc( livesAt(Green_house_Coffee,green_house))])
%~ %~ Support: (nesc(drinks(Green_house_Coffee,coffee)),$existential(Green_house_Coffee,1,(nesc(livesAt(Green_house_Coffee,green_house)),nesc(drinks(Green_house_Coffee,coffee))))==>nesc(livesAt(Green_house_Coffee,green_house))),mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl#L39 ',39)
%~ %~ RHS-Post1: poss(~drinks(Green_house_Coffee,coffee)),$existential(Green_house_Coffee,1,(nesc(livesAt(Green_house_Coffee,green_house)),nesc(drinks(Green_house_Coffee,coffee))))==>poss(~livesAt(Green_house_Coffee,green_house))
%~ %~ Support: pfclog((poss(~drinks(Green_house_Coffee,coffee)),$existential(Green_house_Coffee,1,(nesc(livesAt(Green_house_Coffee,green_house)),nesc(drinks(Green_house_Coffee,coffee))))==>poss(~livesAt(Green_house_Coffee,green_house)))),$pt(baseKB,pfclog(Pfclog),rhs(
%~ %~ [Pfclog]))
%~ call_mpred_post4 :-
%~ level=177 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = ( ( poss( ~( drinks(Coffee,coffee))) ,
%~ '$existential'(_19804272,1,(nesc(livesAt(_19804272,green_house)),nesc(drinks(_19804272,coffee))))) ==>
%~ poss( ~( livesAt(Green_house,green_house)))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = ( ( poss( ~( drinks(Coffee,coffee))) ,
%~ '$existential'(_19804272,1,(nesc(livesAt(_19804272,green_house)),nesc(drinks(_19804272,coffee))))) ==>
%~ poss( ~( livesAt(Green_house,green_house)))) ,
%~ support_fact = pfclog( ( ( poss( ~( drinks(Green_house_Coffee,coffee))) ,
%~ '$existential'( Green_house_Coffee,
%~ 1,
%~ nesc(livesAt(Green_house_Coffee,green_house)),nesc(drinks(Green_house_Coffee,coffee)))) ==>
%~ poss( ~( livesAt(Green_house_Coffee,green_house))))) ,
%~ support_trig = '$pt'(baseKB,pfclog(_18749664),rhs([_18749664])).
%~ baseKB : mpred_fwc1( ( ( poss( ~( drinks(Green_house_Coffee,coffee))) ,
%~ '$existential'( Green_house_Coffee,
%~ 1,
%~ nesc(livesAt(Green_house_Coffee,green_house)),nesc(drinks(Green_house_Coffee,coffee)))) ==>
%~ poss( ~( livesAt(Green_house_Coffee,green_house))))).
%~ %~ Adding positive
%~ %~ trigger: poss(~drinks(Coffee,coffee))
%~ %~ body: $existential(Coffee_Green_house,1,(nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))*->rhs(
%~ %~ [ poss( ~( livesAt(Coffee_Green_house,green_house)))])
%~ %~ Support: (poss(~drinks(Green_house_Coffee,coffee)),$existential(Green_house_Coffee,1,(nesc(livesAt(Green_house_Coffee,green_house)),nesc(drinks(Green_house_Coffee,coffee))))==>poss(~livesAt(Green_house_Coffee,green_house))),mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl#L39 ',39)
%~ %~ Adding positive
%~ %~ trigger: $existential(Coffee_Green_house,1,(nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))
%~ %~ body: poss(~drinks(Green_house_Coffee,coffee))*->rhs([ poss( ~( livesAt(Green_house_Coffee,green_house)))])
%~ %~ Support: (poss(~drinks(Green_house_Coffee,coffee)),$existential(Green_house_Coffee,1,(nesc(livesAt(Green_house_Coffee,green_house)),nesc(drinks(Green_house_Coffee,coffee))))==>poss(~livesAt(Green_house_Coffee,green_house))),mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl#L39 ',39)
%~ %~ RHS-Post1: nesc(livesAt(Coffee_Green_house,green_house)),$existential(Coffee_Green_house,1,(nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))==>nesc(drinks(Coffee_Green_house,coffee))
%~ %~ Support: pfclog((nesc(livesAt(Coffee_Green_house,green_house)),$existential(Coffee_Green_house,1,(nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))==>nesc(drinks(Coffee_Green_house,coffee)))),$pt(baseKB,pfclog(Pfclog),rhs(
%~ %~ [Pfclog]))
%~ call_mpred_post4 :-
%~ level=177 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = ( ( nesc( livesAt(Green_house,green_house)) ,
%~ '$existential'(_19976070,1,(nesc(livesAt(_19976070,green_house)),nesc(drinks(_19976070,coffee))))) ==>
%~ nesc( drinks(Coffee,coffee))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = ( ( nesc( livesAt(Green_house,green_house)) ,
%~ '$existential'(_19976070,1,(nesc(livesAt(_19976070,green_house)),nesc(drinks(_19976070,coffee))))) ==>
%~ nesc( drinks(Coffee,coffee))) ,
%~ support_fact = pfclog( ( ( nesc( livesAt(Coffee_Green_house,green_house)) ,
%~ '$existential'( Coffee_Green_house,
%~ 1,
%~ nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee)))) ==>
%~ nesc( drinks(Coffee_Green_house,coffee)))) ,
%~ support_trig = '$pt'(baseKB,pfclog(_18749664),rhs([_18749664])).
%~ baseKB : mpred_fwc1( ( ( nesc( livesAt(Coffee_Green_house,green_house)) ,
%~ '$existential'( Coffee_Green_house,
%~ 1,
%~ nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee)))) ==>
%~ nesc( drinks(Coffee_Green_house,coffee)))).
%~ %~ Adding positive
%~ %~ trigger: nesc(livesAt(Green_house,green_house))
%~ %~ body: $existential(Coffee_Green_house,1,(nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))*->rhs(
%~ %~ [ nesc( drinks(Coffee_Green_house,coffee))])
%~ %~ Support: (nesc(livesAt(Coffee_Green_house,green_house)),$existential(Coffee_Green_house,1,(nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))==>nesc(drinks(Coffee_Green_house,coffee))),mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl#L39 ',39)
%~ %~ Adding positive
%~ %~ trigger: $existential(Coffee_Green_house,1,(nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))
%~ %~ body: nesc(livesAt(Coffee_Green_house,green_house))*->rhs([ nesc( drinks(Coffee_Green_house,coffee))])
%~ %~ Support: (nesc(livesAt(Coffee_Green_house,green_house)),$existential(Coffee_Green_house,1,(nesc(livesAt(Coffee_Green_house,green_house)),nesc(drinks(Coffee_Green_house,coffee))))==>nesc(drinks(Coffee_Green_house,coffee))),mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl#L39 ',39)
~*/
:- listing([clif,modal_clif,boxlog/1]).
/*~
%~ skipped( listing( [ clif, modal_clif,boxlog/1]))
~*/
:- break.
% Does anyone live at the green house? (Should be one right?)
/*~
%~ skipped(blocks_on_input,break)
~*/
% Does anyone live at the green house? (Should be one right?)
:- mpred_test(livesAt(_X,green_house)).
% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/425
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/exists_04.pfc.pl
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/EXISTS_04/
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AEXISTS_04
/*~
%~ ?-( mpred_test("Test_0001_Line_0000__Green_house",baseKB:livesAt(_X,green_house))).
%~ make_dynamic_here(baseKB,livesAt(_20198692,green_house))
failure=info((why_was_true(baseKB:(\+livesAt(_20198692,green_house))),nop(ftrace(baseKB:livesAt(_20198692,green_house)))))
no_proof_for(\+livesAt(_X,green_house)).
no_proof_for(\+livesAt(_X,green_house)).
no_proof_for(\+livesAt(_X,green_house)).
name = 'logicmoo.base.examples.fol.EXISTS_04-Test_0001_Line_0000__Green_house'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.EXISTS_04'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'exists_04.pfc.pl\']"'.
% 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_EXISTS_04_Test_0001_Line_0000_Green_house-junit.xml
~*/
%~ unused(no_junit_results)
Test_0001_Line_0000__Green_house result = failure.
%~ test_completed_exit(8)
totalTime=7.000
FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k exists_04.pfc.pl (returned 8) Add_LABELS='' Rem_LABELS='Skipped,Skipped,Errors,Warnings,Overtime,Skipped'
