rhs([ { trace_or_throw( mpred_prop(baseKB,bc_p,1,pfcPosTrigger)) }]) %~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,pfcPosTrigger) %~ %~ body: rhs([ mpred_prop(baseKB,bc_p,1,pfcWatches)]) %~ %~ RHS-Post1: mpred_prop(baseKB,bc_p,1,pfcWatches) %~ %~ Support: mpred_prop(baseKB,bc_p,1,pfcPosTrigger),$pt(baseKB,mpred_prop(baseKB,bc_p,1,pfcPosTrigger),rhs([ mpred_prop(baseKB,bc_p,1,pfcWatches)])) %~ call_mpred_post4 :- %~ level=185 , %~ que=0 , %~ assertion_status=un goal=baseKB:call_u(bc_q(b)). time=0.07241511344909668. passed=passed=info(why_was_true(baseKB:call_u(bc_q(b)))) no_proof_for(call_u(bc_q(b))). %~ %~ Adding positive %~ %~ trigger: bc_p(b) %~ %~ body: rhs([ bc_q(b)]) %~ %~ Support: (bc_q(P_Q)<-bc_p(P_Q)),mfl4(['N'=N],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/quick_test/bc_01.pfc#L19 ',19) %~ %~ RHS-Post1: bc_q(b) %~ %~ Support: bc_p(b),$pt(baseKB,bc_p(b),rhs([ bc_q(b)])) %~ call_mpred_post4 :- %~ level=191 , %~ que=0 , %~ assertion_status=identical , %~ support_status=exact , %~ post1 = bc_q(b) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = bc_q(b) , %~ support_fact = bc_p(b) , %~ support_trig = '$pt'(baseKB,bc_p(b),rhs([bc_q(b)])). no_proof_for(call_u(bc_q(b))). no_proof_for(call_u(bc_q(b))). result=passed. ]]>