API tools faq
paste
Advertisement
logicmoo

TOO MUCH SKOLEM?

logicmoo
Oct 19th, 2015
272
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 52.70 KB | None | 0 0
raw download clone embed print report
  1.  
  2. :- file_begin(pfc).
  3.  
  4. :- op(500,fx,'~').
  5. :- op(1050,xfx,('==>')).
  6. :- op(1050,xfx,'<==>').
  7. :- op(1050,xfx,('<-')).
  8. :- op(1100,fx,('==>')).
  9. :- op(1150,xfx,('::::')).
  10. :- kb_dynamic(tCol/1).
  11. :- kb_dynamic(tHominid/1).
  12.  
  13. :- kb_dynamic(relationAllOnly/3).
  14. :- kb_dynamic(ptTransitiveBinaryPredicate/1).
  15.  
  16. predInterArgIsa(mudSubPart(tBodyPart,tBodyPart)).
  17. relationAllOnly(mudSubPart,tHumanBody,tBodyPart).
  18.  
  19. :- mpred_trace_exec.
  20. tSet(tHumanBody).
  21.  
  22. ((relationAllOnly(Pred,Col1,Col2)/(G=..[Pred,VAL,Value])) ==>
  23.    (isa(VAL,Col1) ==> (( G ==> isa(Value,Col2))))).
  24.  
  25. cycl('(implies
  26.       (and
  27.           (isa ?BPRED SymmetricBinaryPredicate)
  28.           (transitiveViaArg ?PRED ?BPRED ?N))
  29.       (transitiveViaArgInverse ?PRED ?BPRED ?N))').
  30.  
  31.  
  32.  
  33. ptTransitiveBinaryPredicate(genls).
  34. ptTransitiveBinaryPredicate(mudSubPart).
  35. (ptTransitiveBinaryPredicate(P)/ground(P)) ==>
  36.     ((t(P,A,B),t(P,B,C)) ==> t(P,A,C)).
  37.  
  38. ((t(isa,A,B),t(genls,B,C)) ==> t(isa,A,C)).
  39.  
  40. ((transitiveViaArg(PRED,BPRED,2),arity(PRED,2)) /ground(PRED:BPRED)) ==> clif((t(PRED,A,B) , t(BPRED,B,C)) => t(PRED,A,C)).
  41. ((transitiveViaArgInverse(PRED,BPRED,2),arity(PRED,2))/ground(PRED:BPRED)) ==> clif((t(PRED,A,B) & t(BPRED,C,B)) => t(PRED,A,C)).
  42.  
  43. ((transitiveViaArg(PRED,BPRED,2),arity(PRED,3)) /ground(PRED:BPRED)) ==> clif((t(PRED,A,B,Z) , t(BPRED,B,C)) => t(PRED,A,C,Z)).
  44. ((transitiveViaArgInverse(PRED,BPRED,2),arity(PRED,3))/ground(PRED:BPRED)) ==> clif((t(PRED,A,B,Z) & t(BPRED,C,B)) => t(PRED,A,C,Z)).
  45.  
  46. ((transitiveViaArg(PRED,BPRED,3),arity(PRED,3)) /ground(PRED:BPRED)) ==> clif((t(PRED,Z,A,B) , t(BPRED,B,C)) => t(PRED,Z,A,C)).
  47. ((transitiveViaArgInverse(PRED,BPRED,3),arity(PRED,3))/ground(PRED:BPRED)) ==> clif((t(PRED,Z,A,B) , t(BPRED,C,B)) => t(PRED,Z,A,C)).
  48.  
  49. (relationAllExists(Pred,Col1,Col2) ==> (ptBinaryPredicate(Pred),tCol(Col1),tCol(Col2))).
  50.  
  51. % version that works but not safe
  52. /*
  53. relationAllExists(Pred,Col1,Col2)/(G=..[Pred,VAL,Value]) ==>
  54.   (isa(VAL,Col1) ==>
  55.     ((( {ignore(cnstrn(Value,isa(Value,Col2))},(~ (G/isa(Value,Col2)))) ==> ({Value=skRelationInstanceExistsFn(Pred,VAL,Col2)},isa(Value,Col2), G))))).
  56. */
  57.  
  58. /*
  59. relationAllExists(Pred,Col1,Col2)/(G=..[Pred,VAL,Value]) ==>
  60.   (isa(VAL,Col1) ==>
  61.     ((~ (G/isa(Value,Col2))) ==> ({Value=skRelationInstanceExistsFn(Pred,VAL,Col2)},isa(Value,Col2), G))).
  62.  
  63.  
  64. relationAllExists(Pred,Col1,Col2) ==>
  65.  ({G1=..[Pred,VAL,Value1],G2=..[Pred,VAL,Value2],Value2=skRelationInstanceExistsFn(Pred,VAL,Col2)},
  66.   (isa(VAL,Col1) ==> (
  67.     ((((~ (G1/(isa(Value1,Col2))))) ==> (isa(Value2,Col2), G2)))))).
  68.  
  69. */
  70.  
  71.  
  72. relationInstanceExists(Pred,VAL,D_COL) ==>
  73.  ({SK= skRelationInstanceExistsFn(Pred,VAL,D_COL), G1=..[Pred,VAL,Missing],G2=..[Pred,VAL,SK],ISA=..[D_COL,SK]},
  74.   (( ~ (G1/(isa(Missing,D_COL),is_non_skolem(Missing)))) ==> (G2,ISA))).
  75.  
  76.  
  77. (relationAllExists(Pred,I_COL,D_COL)==>
  78.   all(I,exists(D,  t(Pred,I_COL,D_COL) & isa(I,I_COL) & isa(D,D_COL)))).
  79.  
  80. (relationAllExists(Pred,I_COL,D_COL)==>
  81.  ({SK= skRelationAllExistsFn(Pred,VAL,D_COL), G1=..[Pred,VAL,Missing],G2=..[Pred,VAL,SK],ISA=..[D_COL,SK]},
  82.   (isa(VAL,I_COL) ==>
  83.     ((((~ (G1/(isa(Missing,D_COL),is_non_skolem(Missing))))) ==> (G2,ISA)))))).
  84.  
  85.  
  86.  
  87. relationExistsAll(Pred,D_COL,I_COL) ==>
  88.  ({SK= skRelationExistsAllFn(VAL,Pred,D_COL,I_COL), G1=..[Pred,Missing,VAL],G2=..[Pred,SK,VAL],ISA=..[D_COL,SK]},
  89.    (isa(VAL,I_COL) ==>  
  90.   (( ~ (G1/(isa(Missing,D_COL),is_non_skolem(Missing)))) ==> (G2,ISA)))).
  91.  
  92. relationExistsInstance(Pred,D_COL,VAL) ==>
  93.  ({SK= skRelationExistsInstanceFn(Pred,D_COL,VAL), G1=..[Pred,Missing,VAL],G2=..[Pred,SK,VAL],ISA=..[D_COL,SK]},
  94.   (( ~ (G1/(isa(Missing,D_COL),is_non_skolem(Missing)))) ==> (G2,ISA))).
  95.  
  96. relationAllInstance(Pred,I_COL,VAL) ==>
  97.  ({G1=..[Pred,INST,_Missing],G2=..[Pred,INST,VAL]},
  98.   (isa(INST,I_COL) ==> ( ~ G1 ==> G2))).
  99.  
  100. relationInstanceAll(Pred,VAL,I_COL) ==>
  101.  ({G2=..[Pred,VAL,INST]},
  102.   (isa(INST,I_COL) ==>  G2 )).
  103.  
  104. /*
  105. (relationAllExists(Pred,Col1,Col2)/(Value = skRelationInstanceExistsFn(Pred,VAL,Col2),G=..[Pred,VAL,Value]))
  106.   ==>
  107.   ((isa(VAL,Col1), G) ==> G).
  108. */
  109.  
  110. % version that works best but wrong
  111. /*
  112. (relationAllExists(Pred,Col1,Col2)/(G=..[Pred,VAL,Value])) ==>
  113.   ((isa(VAL,Col1),G,isa(Value,Col2)) ==> unneeded(relationAllExists(Pred,VAL,Col2))).
  114.  
  115. ((relationAllExists(Pred,Col1,Col2)/(G=..[Pred,VAL,Value]))==>
  116.    (isa(VAL,Col1) ==> ((~G , ~unneeded(relationAllExists(Pred,VAL,Col2))) ==> ({Value=skRelationInstanceExistsFn(Pred,VAL,Col2)},isa(Value,Col2), G)))).
  117. */
  118.  
  119.  
  120. /*
  121. relationAllExists(Pred,Col1,Col2)/(G=..[Pred,VAL,Value]) ==>
  122.   (isa(VAL,Col1) ==>
  123.     ((( ~((G,isa(Value,Col2)))) ==> ({Value=skRelationInstanceExistsFn(Pred,VAL,Col2)},isa(Value,Col2), G)))).
  124. */
  125.  
  126.  
  127. :- if(lmconf:startup_option(datalog,sanity);lmconf:startup_option(clif,sanity)).
  128.  
  129. isa(iExplorer1,tHumanPlayer).
  130. isa(iExplorer2,tHumanPlayer).
  131. genls(tHumanPlayer,tHominid).
  132. genls(tHumanPlayer,tPlayer).
  133. genls(tPlayer,tAgent).
  134.  
  135. isa(iExplorer1,tHominid).
  136.  
  137.  
  138. %mudSubPart(iExplorer2, iBody2).
  139. %mudSubPart(iExplorer1, iHumanBody1).
  140.  
  141. %isa(iHumanBody1,tHumanBody).
  142.  
  143.  
  144. :- endif.
  145.  
  146. tCol(tHumanBody).
  147. genls(tHumanBody,tBodyPart).
  148.  
  149. relationAllExists(mudSubPart,tHominid,tHumanBody).
  150. relationAllExists(mudSubPart,tHumanBody,isEach(tHumanHead,tHumanNeck,tHumanUpperTorso,tHumanLowerTorso,tHumanPelvis,tHumanArms,tHumanLegs)).
  151. relationAllExists(mudSubPart,tHumanHead,isEach(tHumanFace,tHumanHair)).
  152.  
  153.  
  154. :- if(lmconf:startup_option(datalog,sanity);lmconf:startup_option(clif,sanity)).
  155.  
  156. % :- mpred_spy_all.
  157.  
  158. :- endif.
  159.  
  160. /*
  161. have to confirm how *most* works
  162. ==>
  163. '(==>
  164.   (relationInstanceMost ?BINPRED ?THING ?COL2)
  165.      (=>
  166.        (isa ?THING ?COL1)        
  167.        (relationExistsMost ?BINPRED ?COL1 ?COL2)))'.
  168. */
  169.  
  170.  
  171. isa(skRelationAllExistsFn(P,A,C),C):- nonvar(P),nonvar(A),nonvar(C).
  172.  
  173. :- if(lmconf:startup_option(datalog,sanity);lmconf:startup_option(clif,sanity)).
  174.  
  175. ?- listing(mudSubPart).
  176. %:-rtrace((isa(Inst,tHumanNeck),mudSubPart(iExplorer1,Inst))).
  177. %:-rtrace((mudSubPart(iExplorer1,Inst),isa(Inst,tHumanNeck))).
  178. %:- must((isa(Inst,tHumanHair),mudSubPart(iExplorer1,Inst))).
  179. %:- must((mudSubPart(iExplorer1,Inst),isa(Inst,tHumanNeck))).
  180. %:- must((mudSubPart(iExplorer1,Inst),isa(Inst,tHumanHair))).
  181.  
  182. ?- listing(mudSubPart).
  183.  
  184.  
  185. :- endif.
  186.  
  187.  
  188.  
  189.  
  190.  
  191.  
  192. (tHumanBody(_G90367),is_non_skolem(_G90367)))==>mudSubPart(iExplorer1,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody)),tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody))),_G90863,_G90889),\+mpred_connective(_G90863),_G90889>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType((~ (mudSubPart(iExplorer1,_G90367)/ (tHumanBody(_G90367),is_non_skolem(_G90367)))==>mudSubPart(iExplorer1,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody)),tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody)))))))}])
  193. Using Trigger p-trigger:
  194.  umt:tHominid(iExplorer1):-rhs([(~ (mudSubPart(iExplorer1,_G90426)/ (tHumanBody(_G90426),is_non_skolem(_G90426)))==>mudSubPart(iExplorer1,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody)),tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody)))])
  195. Removing support mpred_rem1(neg(tHominid(iExplorer2)),(u,u))
  196. Using Trigger p-trigger:
  197.  umt:tHominid(iExplorer2):-mpred_non_neg_literal(tHominid(iExplorer2))->rhs([\+neg(tHominid(iExplorer2))])
  198. Skipped Trigger p-trigger:
  199.  umt:tHominid(iExplorer2):-is_ftNonvar(tHominid(iExplorer2))->functor(tHominid(iExplorer2),_G91480,_G91506),\+mpred_connective(_G91480),_G91506>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(tHominid(iExplorer2)))))}])
  200. Adding For Later n-trigger: umt:mudSubPart(iExplorer2,_G95429)
  201. test: call_u(mudSubPart(iExplorer2,_G95429)),tHumanBody(_G95429),is_non_skolem(_G95429)
  202. body: rhs([mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)),tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody))])
  203. Removing support mpred_rem1(neg(mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody))),(u,u))
  204. Using Trigger p-trigger:
  205.  umt:mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)):-mpred_non_neg_literal(mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)))->rhs([\+neg(mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)))])
  206. Using Trigger p-trigger:
  207.  umt:mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)):-is_ftNonvar(mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)))->functor(mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)),_G104440,_G104466),\+mpred_connective(_G104440),_G104466>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody))))))}])
  208. Unused Trigger(mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody))) n-trigger: umt:mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody))
  209. test: call_u(mudSubPart(iExplorer2,_G103288)),tHumanBody(_G103288),is_non_skolem(_G103288)
  210. body: rhs([mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)),tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody))])
  211. Removing support mpred_rem1(neg(tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody))),(u,u))
  212. Using Trigger p-trigger:
  213.  umt:tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)):-mpred_non_neg_literal(tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)))->rhs([\+neg(tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)))])
  214. Skipped Trigger p-trigger:
  215.  umt:tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)):-is_ftNonvar(tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)))->functor(tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)),_G107642,_G107668),\+mpred_connective(_G107642),_G107668>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody))))))}])
  216. Skipped Trigger p-trigger:
  217.  umt: (mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G110376)==>tBodyPart(_G110376)):-mpred_non_neg_literal((mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G110376)==>tBodyPart(_G110376)))->rhs([\+neg((mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G110376)==>tBodyPart(_G110376)))])
  218. Skipped Trigger p-trigger:
  219.  umt: (mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G111156)==>tBodyPart(_G111156)):-is_ftNonvar((mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G111156)==>tBodyPart(_G111156)))->functor((mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G111156)==>tBodyPart(_G111156)),_G111400,_G111426),\+mpred_connective(_G111400),_G111426>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType((mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G111156)==>tBodyPart(_G111156))))))}])
  220. Using Trigger p-trigger:
  221.  umt:tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)):-rhs([(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G111227)==>tBodyPart(_G111227))])
  222. Skipped Trigger p-trigger:
  223.  umt: (~ (mudSubPart(iExplorer2,_G111361)/ (tHumanBody(_G111361),is_non_skolem(_G111361)))==>mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)),tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody))):-mpred_non_neg_literal((~ (mudSubPart(iExplorer2,_G111361)/ (tHumanBody(_G111361),is_non_skolem(_G111361)))==>mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)),tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody))))->rhs([\+neg((~ (mudSubPart(iExplorer2,_G111361)/ (tHumanBody(_G111361),is_non_skolem(_G111361)))==>mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)),tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody))))])
  224. Skipped Trigger p-trigger:
  225.  umt: (~ (mudSubPart(iExplorer2,_G112572)/ (tHumanBody(_G112572),is_non_skolem(_G112572)))==>mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)),tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody))):-is_ftNonvar((~ (mudSubPart(iExplorer2,_G112572)/ (tHumanBody(_G112572),is_non_skolem(_G112572)))==>mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)),tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody))))->functor((~ (mudSubPart(iExplorer2,_G112572)/ (tHumanBody(_G112572),is_non_skolem(_G112572)))==>mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)),tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody))),_G113068,_G113094),\+mpred_connective(_G113068),_G113094>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType((~ (mudSubPart(iExplorer2,_G112572)/ (tHumanBody(_G112572),is_non_skolem(_G112572)))==>mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)),tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)))))))}])
  226. Using Trigger p-trigger:
  227.  umt:tHominid(iExplorer2):-rhs([(~ (mudSubPart(iExplorer2,_G112631)/ (tHumanBody(_G112631),is_non_skolem(_G112631)))==>mudSubPart(iExplorer2,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)),tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)))])
  228. Skipped Trigger p-trigger:
  229.  umt:repropagate(tHominid(_G113576)):-mpred_non_neg_literal(repropagate(tHominid(_G113576)))->rhs([\+neg(repropagate(tHominid(_G113576)))])
  230. Skipped Trigger p-trigger:
  231.  umt:repropagate(tHominid(_G114178)):-is_ftNonvar(repropagate(tHominid(_G114178)))->functor(repropagate(tHominid(_G114178)),_G114311,_G114337),\+mpred_connective(_G114311),_G114337>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(repropagate(tHominid(_G114178))))))}])
  232. Removing support mpred_rem1(neg(relationAllExists(mudSubPart,tHumanBody,tHumanHead)),(u,u))
  233. Using Trigger p-trigger:
  234.  umt:relationAllExists(mudSubPart,tHumanBody,tHumanHead):-mpred_non_neg_literal(relationAllExists(mudSubPart,tHumanBody,tHumanHead))->rhs([\+neg(relationAllExists(mudSubPart,tHumanBody,tHumanHead))])
  235. Using Trigger p-trigger:
  236.  umt:relationAllExists(mudSubPart,tHumanBody,tHumanHead):-is_ftNonvar(relationAllExists(mudSubPart,tHumanBody,tHumanHead))->functor(relationAllExists(mudSubPart,tHumanBody,tHumanHead),_G122725,_G122751),\+mpred_connective(_G122725),_G122751>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(relationAllExists(mudSubPart,tHumanBody,tHumanHead)))))}])
  237. Removing support mpred_rem1(neg(tCol(tHumanHead)),(u,u))
  238. Using Trigger p-trigger:
  239.  umt:tCol(tHumanHead):-mpred_non_neg_literal(tCol(tHumanHead))->rhs([\+neg(tCol(tHumanHead))])
  240. Removing support mpred_rem1(neg(arity(tHumanHead,1)),(u,u))
  241. Using Trigger p-trigger:
  242.  umt:arity(tHumanHead,1):-mpred_non_neg_literal(arity(tHumanHead,1))->rhs([\+neg(arity(tHumanHead,1))])
  243. Using Trigger p-trigger:
  244.  umt:arity(tHumanHead,1):-is_ftNonvar(arity(tHumanHead,1))->functor(arity(tHumanHead,1),_G129174,_G129200),\+mpred_connective(_G129174),_G129200>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(arity(tHumanHead,1)))))}])
  245. Removing support mpred_rem1(neg(mpred_univ(tHumanHead,_G131277,tHumanHead(_G131277))),(u,u))
  246. Using Trigger p-trigger:
  247.  umt:mpred_univ(tHumanHead,_G131822,tHumanHead(_G131822)):-mpred_non_neg_literal(mpred_univ(tHumanHead,_G131822,tHumanHead(_G131822)))->rhs([\+neg(mpred_univ(tHumanHead,_G131822,tHumanHead(_G131822)))])
  248. Using Trigger p-trigger:
  249.  umt:mpred_univ(tHumanHead,_G133169,tHumanHead(_G133169)):-is_ftNonvar(mpred_univ(tHumanHead,_G133169,tHumanHead(_G133169)))->functor(mpred_univ(tHumanHead,_G133169,tHumanHead(_G133169)),_G133377,_G133403),\+mpred_connective(_G133377),_G133403>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(mpred_univ(tHumanHead,_G133169,tHumanHead(_G133169))))))}])
  250. Using Trigger p-trigger:
  251.  umt:tCol(tHumanHead):-atom(tHumanHead),_G132857=..[tHumanHead,_G132883]->rhs([{decl_type(tHumanHead)},arity(tHumanHead,1),mpred_univ(tHumanHead,_G132883,_G132857)])
  252. Using Trigger p-trigger:
  253.  umt:tCol(tHumanHead):-atom(tHumanHead),_G133501=..[tHumanHead,_G133527],\+static_predicate(_G133501)->rhs([{kb: (dynamic kb:tHumanHead/1)}])
  254. Removing support mpred_rem1(neg((tHumanHead(_G137006):-cwc,\+neg(tHumanHead(_G137006)),isa_backchaing(_G137006,tHumanHead))),(u,u))
  255. Using Trigger p-trigger:
  256.  umt: (tHumanHead(_G137537):-cwc,\+neg(tHumanHead(_G137537)),isa_backchaing(_G137537,tHumanHead)):-mpred_non_neg_literal((tHumanHead(_G137537):-cwc,\+neg(tHumanHead(_G137537)),isa_backchaing(_G137537,tHumanHead)))->rhs([\+neg((tHumanHead(_G137537):-cwc,\+neg(tHumanHead(_G137537)),isa_backchaing(_G137537,tHumanHead)))])
  257. Using Trigger p-trigger:
  258.  umt: (tHumanHead(_G139491):-cwc,\+neg(tHumanHead(_G139491)),isa_backchaing(_G139491,tHumanHead)):-is_ftNonvar((tHumanHead(_G139491):-cwc,\+neg(tHumanHead(_G139491)),isa_backchaing(_G139491,tHumanHead)))->functor((tHumanHead(_G139491):-cwc,\+neg(tHumanHead(_G139491)),isa_backchaing(_G139491,tHumanHead)),_G139879,_G139905),\+mpred_connective(_G139879),_G139905>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType((tHumanHead(_G139491):-cwc,\+neg(tHumanHead(_G139491)),isa_backchaing(_G139491,tHumanHead))))))}])
  259. Using Trigger p-trigger:
  260.  umt:tCol(tHumanHead):-atom(tHumanHead),_G138982=..[tHumanHead,_G139008],\+static_predicate(_G138982),\+completelyAssertedCollection(tHumanHead)->rhs([(_G138982:-cwc,\+neg(_G138982),isa_backchaing(_G139008,tHumanHead))])
  261. Using Trigger p-trigger:
  262.  umt:tCol(tHumanHead):-isa_from_morphology(tHumanHead,_G139757)->rhs([isa(tHumanHead,_G139757)])
  263. Skipped Trigger p-trigger:
  264.  umt:tCol(tHumanHead):-is_ftNonvar(tCol(tHumanHead))->functor(tCol(tHumanHead),_G139697,_G139723),\+mpred_connective(_G139697),_G139723>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(tCol(tHumanHead)))))}])
  265. Using Trigger p-trigger:
  266.  umt:tCol(tHumanHead):-rhs([arity(tHumanHead,1)])
  267. Using Trigger p-trigger:
  268.  umt:tCol(tHumanHead):-rhs([{guess_supertypes(tHumanHead)}])
  269. Adding For Later n-trigger: umt:ttFormatType(tHumanHead)
  270. test: call_u(ttFormatType(tHumanHead))
  271. body: rhs([tSet(tHumanHead)])
  272. Removing support mpred_rem1(neg(tSet(tHumanHead)),(u,u))
  273. Using Trigger p-trigger:
  274.  umt:tSet(tHumanHead):-mpred_non_neg_literal(tSet(tHumanHead))->rhs([\+neg(tSet(tHumanHead))])
  275. Removing support mpred_rem1(neg(completelyAssertedCollection(tHumanHead)),(u,u))
  276. Using Trigger p-trigger:
  277.  umt:completelyAssertedCollection(tHumanHead):-mpred_non_neg_literal(completelyAssertedCollection(tHumanHead))->rhs([\+neg(completelyAssertedCollection(tHumanHead))])
  278. Using Trigger p-trigger:
  279.  umt:completelyAssertedCollection(tHumanHead):-rhs([tCol(tHumanHead)])
  280. Removing support mpred_rem1(neg(completeExtentAsserted(tHumanHead)),(u,u))
  281. Using Trigger p-trigger:
  282.  umt:completeExtentAsserted(tHumanHead):-mpred_non_neg_literal(completeExtentAsserted(tHumanHead))->rhs([\+neg(completeExtentAsserted(tHumanHead))])
  283. Skipped Trigger p-trigger:
  284.  umt:completeExtentAsserted(tHumanHead):-is_ftNonvar(completeExtentAsserted(tHumanHead))->functor(completeExtentAsserted(tHumanHead),_G146485,_G146511),\+mpred_connective(_G146485),_G146511>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(completeExtentAsserted(tHumanHead)))))}])
  285. Using Trigger p-trigger:
  286.  umt:completelyAssertedCollection(tHumanHead):-rhs([completeExtentAsserted(tHumanHead)])
  287. Skipped Trigger p-trigger:
  288.  umt:completelyAssertedCollection(tHumanHead):-is_ftNonvar(completelyAssertedCollection(tHumanHead))->functor(completelyAssertedCollection(tHumanHead),_G146964,_G146990),\+mpred_connective(_G146964),_G146990>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(completelyAssertedCollection(tHumanHead)))))}])
  289. Using Trigger p-trigger:
  290.  umt:tSet(tHumanHead):-rhs([completelyAssertedCollection(tHumanHead)])
  291. Removing support mpred_rem1(neg(functorDeclares(tHumanHead)),(u,u))
  292. Using Trigger p-trigger:
  293.  umt:functorDeclares(tHumanHead):-mpred_non_neg_literal(functorDeclares(tHumanHead))->rhs([\+neg(functorDeclares(tHumanHead))])
  294. Using Trigger p-trigger:
  295.  umt:functorDeclares(tHumanHead):-rhs([tSet(tHumanHead)])
  296. Using Trigger p-trigger:
  297.  umt:functorDeclares(tHumanHead):-rhs([tCol(tHumanHead)])
  298. Skipped Trigger p-trigger:
  299.  umt:functorDeclares(tHumanHead):-is_ftNonvar(functorDeclares(tHumanHead))->functor(functorDeclares(tHumanHead),_G151284,_G151310),\+mpred_connective(_G151284),_G151310>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(functorDeclares(tHumanHead)))))}])
  300. Removing support mpred_rem1(neg(pfcControlled(tHumanHead)),(u,u))
  301. Using Trigger p-trigger:
  302.  umt:pfcControlled(tHumanHead):-mpred_non_neg_literal(pfcControlled(tHumanHead))->rhs([\+neg(pfcControlled(tHumanHead))])
  303. Using Trigger p-trigger:
  304.  umt:pfcControlled(tHumanHead):-kbp:pt(umt,arity(tHumanHead,_G154889),rhs([hybrid_support(tHumanHead,_G154889)]))
  305. Skipped Trigger p-trigger:
  306.  umt:pfcControlled(tHumanHead):-is_ftNonvar(pfcControlled(tHumanHead))->functor(pfcControlled(tHumanHead),_G155004,_G155030),\+mpred_connective(_G155004),_G155030>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(pfcControlled(tHumanHead)))))}])
  307. Removing support mpred_rem1(neg(support_hilog(tHumanHead,1)),(u,u))
  308. Using Trigger p-trigger:
  309.  umt:support_hilog(tHumanHead,1):-mpred_non_neg_literal(support_hilog(tHumanHead,1))->rhs([\+neg(support_hilog(tHumanHead,1))])
  310. Removing support mpred_rem1(neg(hybrid_support(tHumanHead,1)),(u,u))
  311. Using Trigger p-trigger:
  312.  umt:hybrid_support(tHumanHead,1):-mpred_non_neg_literal(hybrid_support(tHumanHead,1))->rhs([\+neg(hybrid_support(tHumanHead,1))])
  313. Removing support mpred_rem1(neg(prologHybrid(tHumanHead)),(u,u))
  314. Using Trigger p-trigger:
  315.  umt:prologHybrid(tHumanHead):-mpred_non_neg_literal(prologHybrid(tHumanHead))->rhs([\+neg(prologHybrid(tHumanHead))])
  316. Skipped Trigger p-trigger:
  317.  umt:prologHybrid(tHumanHead):-is_ftNonvar(prologHybrid(tHumanHead))->functor(prologHybrid(tHumanHead),_G164032,_G164058),\+mpred_connective(_G164032),_G164058>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(prologHybrid(tHumanHead)))))}])
  318. Skipped Trigger p-trigger:
  319.  umt:prologHybrid(tHumanHead):-get_functor(tHumanHead,_G164024,_G164050),tHumanHead\=_G164024->rhs([arity(_G164024,_G164050)])
  320. Skipped Trigger p-trigger:
  321.  umt:prologHybrid(tHumanHead):-has_functor(tHumanHead)->rhs([{kb_dynamic(tHumanHead)}])
  322. Using Trigger p-trigger:
  323.  umt:hybrid_support(tHumanHead,1):-tHumanHead\='$VAR',atom(tHumanHead),integer(1),\+prologDynamic(tHumanHead),\+static_predicate(tHumanHead/1)->rhs([{functor(_G165736,tHumanHead,1),convert_to_dynamic(kb,tHumanHead,1),must(dcall_failure(why,\+static_predicate(_G165736)))},prologHybrid(tHumanHead),arity(tHumanHead,1)])
  324. Using Trigger p-trigger:
  325.  umt:hybrid_support(tHumanHead,1):-is_ftNonvar(hybrid_support(tHumanHead,1))->functor(hybrid_support(tHumanHead,1),_G165186,_G165212),\+mpred_connective(_G165186),_G165212>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(hybrid_support(tHumanHead,1)))))}])
  326. Using Trigger p-trigger:
  327.  umt:support_hilog(tHumanHead,1):-tHumanHead\='$VAR',atom(tHumanHead),integer(1),\+static_predicate(tHumanHead/1),\+prologDynamic(tHumanHead)->rhs([hybrid_support(tHumanHead,1),{_G165643=arity(tHumanHead,1)},_G165643])
  328. Using Trigger p-trigger:
  329.  umt:support_hilog(tHumanHead,1):-is_ftNonvar(support_hilog(tHumanHead,1))->functor(support_hilog(tHumanHead,1),_G166080,_G166106),\+mpred_connective(_G166080),_G166106>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(support_hilog(tHumanHead,1)))))}])
  330. Using Trigger p-trigger:
  331.  umt:pfcControlled(tHumanHead):-get_arity(tHumanHead,_G165878,_G165904),arity(_G165878,_G165904)->rhs([support_hilog(_G165878,_G165904)])
  332. Skipped Trigger p-trigger:
  333.  umt:pfcControlled(tHumanHead):-has_functor(tHumanHead)->rhs([{kb_dynamic(tHumanHead),get_functor(tHumanHead,_G165858,_G165884)},arity(_G165858,_G165884),pfcControlled(_G165858)])
  334. Skipped Trigger p-trigger:
  335.  umt:pfcControlled(tHumanHead):-is_ftCompound(tHumanHead)->rhs([{once((tHumanHead=_G165917/_G165943;get_functor(tHumanHead,_G165917,_G165943))),kb: (dynamic _G165917/_G165943),kb: (multifile _G165917/_G165943),kb_dynamic(tHumanHead)}])
  336. Using Trigger p-trigger:
  337.  umt:pfcControlled(tHumanHead):-rhs([prologHybrid(tHumanHead)])
  338. Using Trigger p-trigger:
  339.  umt:tSet(tHumanHead):-rhs([{atom(tHumanHead),functor(_G170465,tHumanHead,1),(\+predicate_property(_G170465,_G170552)->kb: (dynamic tHumanHead/1);true),_G170465=..[tHumanHead,_G170639],nop(_G170552:_G170639),(predicate_property(_G170465,dynamic)->true;show_pred_info(_G170465))},functorDeclares(tHumanHead),pfcControlled(tHumanHead),arity(tHumanHead,1),tCol(tHumanHead)])
  340. Skipped Trigger p-trigger:
  341.  umt:tSet(tHumanHead):-is_ftNonvar(tSet(tHumanHead))->functor(tSet(tHumanHead),_G166279,_G166305),\+mpred_connective(_G166279),_G166305>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(tSet(tHumanHead)))))}])
  342. Using Trigger p-trigger:
  343.  umt:tCol(tHumanHead):-kbp:nt(umt,ttFormatType(tHumanHead),call_u(ttFormatType(tHumanHead)),rhs([tSet(tHumanHead)]))
  344. Using Trigger p-trigger:
  345.  umt:relationAllExists(mudSubPart,tHumanBody,tHumanHead):-rhs([ptBinaryPredicate(mudSubPart),tCol(tHumanBody),tCol(tHumanHead)])
  346. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/pfc/relationAllExists.pfc:144
  347. % to_addable_form(assert):-[(isa(_G1727,tHumanBody)==> (~ (mudSubPart(_G1727,_G1739)/ (isa(_G1739,tHumanHead),is_non_skolem(_G1739)))==>mudSubPart(_G1727,skRelationAllExistsFn(mudSubPart,_G1727,tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,_G1727,tHumanHead)))),(tHumanBody(_G1727)==> (~ (mudSubPart(_G1727,_G1739)/ (tHumanHead(_G1739),is_non_skolem(_G1739)))==>mudSubPart(_G1727,skRelationAllExistsFn(mudSubPart,_G1727,tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,_G1727,tHumanHead))))].
  348. Skipped Trigger p-trigger:
  349.  umt:mpred_mark(pfcRHS,r,tHumanHead,1):-mpred_non_neg_literal(mpred_mark(pfcRHS,r,tHumanHead,1))->rhs([\+neg(mpred_mark(pfcRHS,r,tHumanHead,1))])
  350. Using Trigger p-trigger:
  351.  umt:mpred_mark(pfcRHS,r,tHumanHead,1):-ground(pfcRHS:r)->rhs([arity(tHumanHead,1)])
  352. Removing support mpred_rem1(neg(tPred(tHumanHead)),(u,u))
  353. Using Trigger p-trigger:
  354.  umt:tPred(tHumanHead):-mpred_non_neg_literal(tPred(tHumanHead))->rhs([\+neg(tPred(tHumanHead))])
  355. Adding For Later p-trigger:
  356.  umt:arity(tHumanHead,_G14396):-integer(_G14396),_G14396>1->kbp:nt(umt,prologBuiltin(tHumanHead),call_u(prologBuiltin(tHumanHead)),rhs([neg(tCol(tHumanHead)),support_hilog(tHumanHead,_G14396)]))
  357. Using Trigger p-trigger:
  358.  umt:tPred(tHumanHead):-kbp:pt(umt,arity(tHumanHead,_G17402),(integer(_G17402),_G17402>1->kbp:nt(umt,prologBuiltin(tHumanHead),call_u(prologBuiltin(tHumanHead)),rhs([neg(tCol(tHumanHead)),support_hilog(tHumanHead,_G17402)]))))
  359. Skipped Trigger p-trigger:
  360.  umt:tPred(tHumanHead):-is_ftNonvar(tPred(tHumanHead))->functor(tPred(tHumanHead),_G14323,_G14349),\+mpred_connective(_G14323),_G14349>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(tPred(tHumanHead)))))}])
  361. Removing support mpred_rem1(neg(pfcControlled(tHumanHead/1)),(u,u))
  362. Removing support mpred_rem1(neg(arity(tHumanHead,1)),(u,u))
  363. Using Trigger p-trigger:
  364.  umt:arity(tHumanHead,1):-mpred_non_neg_literal(arity(tHumanHead,1))->rhs([\+neg(arity(tHumanHead,1))])
  365. Using Trigger p-trigger:
  366.  umt:arity(tHumanHead,1):-is_ftNonvar(arity(tHumanHead,1))->functor(arity(tHumanHead,1),_G18900,_G18926),\+mpred_connective(_G18900),_G18926>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(arity(tHumanHead,1)))))}])
  367. Skipped Trigger p-trigger:
  368.  umt:arity(tHumanHead,1):-integer(1),1>1->kbp:nt(umt,prologBuiltin(tHumanHead),call_u(prologBuiltin(tHumanHead)),rhs([neg(tCol(tHumanHead)),support_hilog(tHumanHead,1)]))
  369. Skipped Trigger p-trigger:
  370.  umt:repropagate(arity(tHumanHead,_G18756)):-mpred_non_neg_literal(repropagate(arity(tHumanHead,_G18756)))->rhs([\+neg(repropagate(arity(tHumanHead,_G18756)))])
  371. Skipped Trigger p-trigger:
  372.  umt:repropagate(arity(tHumanHead,_G19382)):-is_ftNonvar(repropagate(arity(tHumanHead,_G19382)))->functor(repropagate(arity(tHumanHead,_G19382)),_G19521,_G19547),\+mpred_connective(_G19521),_G19547>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(repropagate(arity(tHumanHead,_G19382))))))}])
  373. Using Trigger p-trigger:
  374.  umt:pfcControlled(tHumanHead/1):-mpred_non_neg_literal(pfcControlled(tHumanHead/1))->rhs([\+neg(pfcControlled(tHumanHead/1))])
  375. Adding For Later p-trigger:
  376.  umt:arity(tHumanHead/1,_G19745):-rhs([hybrid_support(tHumanHead/1,_G19745)])
  377. Using Trigger p-trigger:
  378.  umt:pfcControlled(tHumanHead/1):-kbp:pt(umt,arity(tHumanHead/1,_G22244),rhs([hybrid_support(tHumanHead/1,_G22244)]))
  379. Skipped Trigger p-trigger:
  380.  umt:pfcControlled(tHumanHead/1):-is_ftNonvar(pfcControlled(tHumanHead/1))->functor(pfcControlled(tHumanHead/1),_G19924,_G19950),\+mpred_connective(_G19924),_G19950>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(pfcControlled(tHumanHead/1)))))}])
  381. Using Trigger p-trigger:
  382.  umt:pfcControlled(tHumanHead/1):-get_arity(tHumanHead/1,_G20998,_G21024),arity(_G20998,_G21024)->rhs([support_hilog(_G20998,_G21024)])
  383. Skipped Trigger p-trigger:
  384.  umt:pfcControlled(tHumanHead/1):-has_functor(tHumanHead/1)->rhs([{kb_dynamic(tHumanHead/1),get_functor(tHumanHead/1,_G20387,_G20413)},arity(_G20387,_G20413),pfcControlled(_G20387)])
  385. Using Trigger p-trigger:
  386.  umt:pfcControlled(tHumanHead/1):-is_ftCompound(tHumanHead/1)->rhs([{once((tHumanHead/1=_G21638/_G21664;get_functor(tHumanHead/1,_G21638,_G21664))),kb: (dynamic _G21638/_G21664),kb: (multifile _G21638/_G21664),kb_dynamic(tHumanHead/1)}])
  387. Removing support mpred_rem1(neg(prologHybrid(tHumanHead/1)),(u,u))
  388. Skipped Trigger p-trigger:
  389.  umt:repropagate(arity(tHumanHead/1,_G23186)):-mpred_non_neg_literal(repropagate(arity(tHumanHead/1,_G23186)))->rhs([\+neg(repropagate(arity(tHumanHead/1,_G23186)))])
  390. Skipped Trigger p-trigger:
  391.  umt:repropagate(arity(tHumanHead/1,_G23844)):-is_ftNonvar(repropagate(arity(tHumanHead/1,_G23844)))->functor(repropagate(arity(tHumanHead/1,_G23844)),_G24001,_G24027),\+mpred_connective(_G24001),_G24027>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(repropagate(arity(tHumanHead/1,_G23844))))))}])
  392. Using Trigger p-trigger:
  393.  umt:prologHybrid(tHumanHead/1):-mpred_non_neg_literal(prologHybrid(tHumanHead/1))->rhs([\+neg(prologHybrid(tHumanHead/1))])
  394. Skipped Trigger p-trigger:
  395.  umt:prologHybrid(tHumanHead/1):-is_ftNonvar(prologHybrid(tHumanHead/1))->functor(prologHybrid(tHumanHead/1),_G24376,_G24402),\+mpred_connective(_G24376),_G24402>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(prologHybrid(tHumanHead/1)))))}])
  396. Using Trigger p-trigger:
  397.  umt:prologHybrid(tHumanHead/1):-get_functor(tHumanHead/1,_G25451,_G25477),tHumanHead/1\=_G25451->rhs([arity(_G25451,_G25477)])
  398. Skipped Trigger p-trigger:
  399.  umt:prologHybrid(tHumanHead/1):-has_functor(tHumanHead/1)->rhs([{kb_dynamic(tHumanHead/1)}])
  400. Using Trigger p-trigger:
  401.  umt:pfcControlled(tHumanHead/1):-rhs([prologHybrid(tHumanHead/1)])
  402. Using Trigger p-trigger:
  403.  umt:mpred_mark(pfcRHS,r,tHumanHead,1):-atom(tHumanHead),integer(1),tHumanHead\==arity->rhs([tPred(tHumanHead),arity(tHumanHead,1),pfcControlled(tHumanHead/1)])
  404. Using Trigger p-trigger:
  405.  umt:mpred_mark(pfcRHS,r,tHumanHead,1):-is_ftNonvar(mpred_mark(pfcRHS,r,tHumanHead,1))->functor(mpred_mark(pfcRHS,r,tHumanHead,1),_G26002,_G26028),\+mpred_connective(_G26002),_G26028>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(mpred_mark(pfcRHS,r,tHumanHead,1)))))}])
  406. Adding For Later p-trigger:
  407.  umt:tHumanBody(_G26358):-rhs([(~ (mudSubPart(_G26358,_G26442)/ (tHumanHead(_G26442),is_non_skolem(_G26442)))==>mudSubPart(_G26358,skRelationAllExistsFn(mudSubPart,_G26358,tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,_G26358,tHumanHead)))])
  408. Skipped Trigger p-trigger:
  409.  umt: (tHumanBody(_G25971)==> (~ (mudSubPart(_G25971,_G26049)/ (tHumanHead(_G26049),is_non_skolem(_G26049)))==>mudSubPart(_G25971,skRelationAllExistsFn(mudSubPart,_G25971,tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,_G25971,tHumanHead)))):-mpred_non_neg_literal((tHumanBody(_G25971)==> (~ (mudSubPart(_G25971,_G26049)/ (tHumanHead(_G26049),is_non_skolem(_G26049)))==>mudSubPart(_G25971,skRelationAllExistsFn(mudSubPart,_G25971,tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,_G25971,tHumanHead)))))->rhs([\+neg((tHumanBody(_G25971)==> (~ (mudSubPart(_G25971,_G26049)/ (tHumanHead(_G26049),is_non_skolem(_G26049)))==>mudSubPart(_G25971,skRelationAllExistsFn(mudSubPart,_G25971,tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,_G25971,tHumanHead)))))])
  410. Skipped Trigger p-trigger:
  411.  umt: (tHumanBody(_G27441)==> (~ (mudSubPart(_G27441,_G27519)/ (tHumanHead(_G27519),is_non_skolem(_G27519)))==>mudSubPart(_G27441,skRelationAllExistsFn(mudSubPart,_G27441,tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,_G27441,tHumanHead)))):-is_ftNonvar((tHumanBody(_G27441)==> (~ (mudSubPart(_G27441,_G27519)/ (tHumanHead(_G27519),is_non_skolem(_G27519)))==>mudSubPart(_G27441,skRelationAllExistsFn(mudSubPart,_G27441,tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,_G27441,tHumanHead)))))->functor((tHumanBody(_G27441)==> (~ (mudSubPart(_G27441,_G27519)/ (tHumanHead(_G27519),is_non_skolem(_G27519)))==>mudSubPart(_G27441,skRelationAllExistsFn(mudSubPart,_G27441,tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,_G27441,tHumanHead)))),_G28292,_G28318),\+mpred_connective(_G28292),_G28318>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType((tHumanBody(_G27441)==> (~ (mudSubPart(_G27441,_G27519)/ (tHumanHead(_G27519),is_non_skolem(_G27519)))==>mudSubPart(_G27441,skRelationAllExistsFn(mudSubPart,_G27441,tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,_G27441,tHumanHead))))))))}])
  412. Using Trigger p-trigger:
  413.  umt:relationAllExists(mudSubPart,tHumanBody,tHumanHead):-rhs([{_G27555=skRelationAllExistsFn(mudSubPart,_G27593,tHumanHead),_G27637=..[mudSubPart,_G27593,_G27682],_G27726=..[mudSubPart,_G27593,_G27555],_G27799=..[tHumanHead,_G27555]},(isa(_G27593,tHumanBody)==> (~ (_G27637/ (isa(_G27682,tHumanHead),is_non_skolem(_G27682)))==>_G27726,_G27799))])
  414. Removing support mpred_rem1(neg(relationAllExists(mudSubPart,tHumanBody,tHumanNeck)),(u,u))
  415. Removing support mpred_rem1(neg(tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody))),(u,u))
  416. Using Trigger p-trigger:
  417.  umt:tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody)):-mpred_non_neg_literal(tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody)))->rhs([\+neg(tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody)))])
  418. Skipped Trigger p-trigger:
  419.  umt:tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody)):-is_ftNonvar(tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody)))->functor(tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody)),_G30684,_G30710),\+mpred_connective(_G30684),_G30710>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody))))))}])
  420. Using Trigger p-trigger:
  421.  umt:tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody)):-rhs([(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),_G31833)==>tBodyPart(_G31833))])
  422. Skipped Trigger p-trigger:
  423.  umt:mpred_mark(pfcRHSR,r,tHumanHead,1):-mpred_non_neg_literal(mpred_mark(pfcRHSR,r,tHumanHead,1))->rhs([\+neg(mpred_mark(pfcRHSR,r,tHumanHead,1))])
  424. Using Trigger p-trigger:
  425.  umt:mpred_mark(pfcRHSR,r,tHumanHead,1):-ground(pfcRHSR:r)->rhs([arity(tHumanHead,1)])
  426. Using Trigger p-trigger:
  427.  umt:mpred_mark(pfcRHSR,r,tHumanHead,1):-is_ftNonvar(mpred_mark(pfcRHSR,r,tHumanHead,1))->functor(mpred_mark(pfcRHSR,r,tHumanHead,1),_G39544,_G39570),\+mpred_connective(_G39544),_G39570>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(mpred_mark(pfcRHSR,r,tHumanHead,1)))))}])
  428. Skipped Trigger p-trigger:
  429.  umt:mpred_mark(pfcCallCode,p,tHumanHead,1):-mpred_non_neg_literal(mpred_mark(pfcCallCode,p,tHumanHead,1))->rhs([\+neg(mpred_mark(pfcCallCode,p,tHumanHead,1))])
  430. Using Trigger p-trigger:
  431.  umt:mpred_mark(pfcCallCode,p,tHumanHead,1):-ground(pfcCallCode:p)->rhs([arity(tHumanHead,1)])
  432. Using Trigger p-trigger:
  433.  umt:mpred_mark(pfcCallCode,p,tHumanHead,1):-is_ftNonvar(mpred_mark(pfcCallCode,p,tHumanHead,1))->functor(mpred_mark(pfcCallCode,p,tHumanHead,1),_G42778,_G42804),\+mpred_connective(_G42778),_G42804>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(mpred_mark(pfcCallCode,p,tHumanHead,1)))))}])
  434. Adding For Later n-trigger: umt:mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),_G42142)
  435. test: call_u(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),_G42142)),tHumanHead(_G42142),is_non_skolem(_G42142)
  436. body: rhs([mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead))])
  437. Removing support mpred_rem1(neg(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead))),(u,u))
  438. Using Trigger p-trigger:
  439.  umt:mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)):-mpred_non_neg_literal(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)))->rhs([\+neg(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)))])
  440. Using Trigger p-trigger:
  441.  umt:mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)):-is_ftNonvar(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)))->functor(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)),_G52800,_G52826),\+mpred_connective(_G52800),_G52826>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead))))))}])
  442. Unused Trigger(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead))) n-trigger: umt:mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead))
  443. test: call_u(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),_G51469)),tHumanHead(_G51469),is_non_skolem(_G51469)
  444. body: rhs([mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead))])
  445. Removing support mpred_rem1(neg(tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead))),(u,u))
  446. Using Trigger p-trigger:
  447.  umt:tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)):-mpred_non_neg_literal(tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)))->rhs([\+neg(tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)))])
  448. Skipped Trigger p-trigger:
  449.  umt:tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)):-is_ftNonvar(tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)))->functor(tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)),_G56375,_G56401),\+mpred_connective(_G56375),_G56401>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead))))))}])
  450. Skipped Trigger p-trigger:
  451.  umt: (~ (mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),_G56556)/ (tHumanHead(_G56556),is_non_skolem(_G56556)))==>mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead))):-mpred_non_neg_literal((~ (mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),_G56556)/ (tHumanHead(_G56556),is_non_skolem(_G56556)))==>mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead))))->rhs([\+neg((~ (mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),_G56556)/ (tHumanHead(_G56556),is_non_skolem(_G56556)))==>mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead))))])
  452. Skipped Trigger p-trigger:
  453.  umt: (~ (mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),_G58087)/ (tHumanHead(_G58087),is_non_skolem(_G58087)))==>mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead))):-is_ftNonvar((~ (mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),_G58087)/ (tHumanHead(_G58087),is_non_skolem(_G58087)))==>mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead))))->functor((~ (mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),_G58087)/ (tHumanHead(_G58087),is_non_skolem(_G58087)))==>mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead))),_G58715,_G58741),\+mpred_connective(_G58715),_G58741>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType((~ (mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),_G58087)/ (tHumanHead(_G58087),is_non_skolem(_G58087)))==>mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)))))))}])
  454. Using Trigger p-trigger:
  455.  umt:tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody)):-rhs([(~ (mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),_G58158)/ (tHumanHead(_G58158),is_non_skolem(_G58158)))==>mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer1,tHumanBody),tHumanHead)))])
  456. Removing support mpred_rem1(neg(tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody))),(u,u))
  457. Using Trigger p-trigger:
  458.  umt:tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)):-mpred_non_neg_literal(tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)))->rhs([\+neg(tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)))])
  459. Skipped Trigger p-trigger:
  460.  umt:tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)):-is_ftNonvar(tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)))->functor(tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)),_G59392,_G59418),\+mpred_connective(_G59392),_G59418>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody))))))}])
  461. Using Trigger p-trigger:
  462.  umt:tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)):-rhs([(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G60541)==>tBodyPart(_G60541))])
  463. Adding For Later n-trigger: umt:mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G64727)
  464. test: call_u(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G64727)),tHumanHead(_G64727),is_non_skolem(_G64727)
  465. body: rhs([mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead))])
  466. Removing support mpred_rem1(neg(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead))),(u,u))
  467. Using Trigger p-trigger:
  468.  umt:mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)):-mpred_non_neg_literal(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)))->rhs([\+neg(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)))])
  469. Using Trigger p-trigger:
  470.  umt:mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)):-is_ftNonvar(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)))->functor(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)),_G75385,_G75411),\+mpred_connective(_G75385),_G75411>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead))))))}])
  471. Unused Trigger(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead))) n-trigger: umt:mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead))
  472. test: call_u(mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G74054)),tHumanHead(_G74054),is_non_skolem(_G74054)
  473. body: rhs([mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead))])
  474. Removing support mpred_rem1(neg(tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead))),(u,u))
  475. Using Trigger p-trigger:
  476.  umt:tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)):-mpred_non_neg_literal(tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)))->rhs([\+neg(tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)))])
  477. Skipped Trigger p-trigger:
  478.  umt:tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)):-is_ftNonvar(tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)))->functor(tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)),_G78960,_G78986),\+mpred_connective(_G78960),_G78986>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead))))))}])
  479. Skipped Trigger p-trigger:
  480.  umt: (~ (mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G79141)/ (tHumanHead(_G79141),is_non_skolem(_G79141)))==>mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead))):-mpred_non_neg_literal((~ (mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G79141)/ (tHumanHead(_G79141),is_non_skolem(_G79141)))==>mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead))))->rhs([\+neg((~ (mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G79141)/ (tHumanHead(_G79141),is_non_skolem(_G79141)))==>mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead))))])
  481. Skipped Trigger p-trigger:
  482.  umt: (~ (mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G80672)/ (tHumanHead(_G80672),is_non_skolem(_G80672)))==>mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead))):-is_ftNonvar((~ (mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G80672)/ (tHumanHead(_G80672),is_non_skolem(_G80672)))==>mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead))))->functor((~ (mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G80672)/ (tHumanHead(_G80672),is_non_skolem(_G80672)))==>mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead))),_G81300,_G81326),\+mpred_connective(_G81300),_G81326>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType((~ (mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G80672)/ (tHumanHead(_G80672),is_non_skolem(_G80672)))==>mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)))))))}])
  483. Using Trigger p-trigger:
  484.  umt:tHumanBody(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody)):-rhs([(~ (mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),_G80743)/ (tHumanHead(_G80743),is_non_skolem(_G80743)))==>mudSubPart(skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)),tHumanHead(skRelationAllExistsFn(mudSubPart,skRelationAllExistsFn(mudSubPart,iExplorer2,tHumanBody),tHumanHead)))])
  485. Skipped Trigger p-trigger:
  486.  umt:repropagate(tHumanBody(_G80747)):-mpred_non_neg_literal(repropagate(tHumanBody(_G80747)))->rhs([\+neg(repropagate(tHumanBody(_G80747)))])
  487. Skipped Trigger p-trigger:
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!