<testsuites><testsuite name="Rollup logicmoo.agi.agi_test.adv_story in /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/t/agi_tests/adv_story" package="logicmoo.agi.agi_test.adv_story" tests="0" failures="0" errors="0"  skipped="0">

<!-- Running Matching Tests: (cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/t/agi_tests/adv_story ; /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo=junit=minor =k *0*.* 2>&1 | grep =2 =i 'WARN\|ERROR\|_file\|00\|fail\|pass')  -->

<!-- FileTestCase=logicmoo.agi.agi_test.adv_story.ADV_TEST_02 JUnit  -->

<!-- CMD=timeout ==foreground ==preserve=status =s SIGKILL =k 2s 2s swipl =x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo=clif =t "['adv_test_02.pl']"  -->

<!--  (cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/t/agi_tests/adv_story ; timeout ==foreground ==preserve=status =s SIGKILL =k 2s 2s swipl =x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo=clif =t "['adv_test_02.pl']")  -->

<!-- % EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_agi/t/agi_tests/adv_story/adv_test_02.pl 
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.agi.agi_test.adv_story/ADV_TEST_02/ 
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AADV_TEST_02 
% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/704 
  -->

<!-- totalTime=2.000  -->

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

<testcase name="logicmoo.agi.agi_test.adv_story.ADV_TEST_02 JUnit" classname='logicmoo.agi.agi_test.adv_story.ADV_TEST_02' time='2.000'>

 <failure message='FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k adv_test_02.pl (returned 137)'/><system-err><![CDATA[ (cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/t/agi_tests/adv_story ; timeout --foreground --preserve-status -s SIGKILL -k 2s 2s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['adv_test_02.pl']")

% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_agi/t/agi_tests/adv_story/adv_test_02.pl 
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.agi.agi_test.adv_story/ADV_TEST_02/ 
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AADV_TEST_02 
% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/704 


```
%~ init_phase(after_load)
%~ init_phase(restore_state)
%
%~ init_why(after_boot,program)
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ after_boot.
%~ Dont forget to ?- logicmoo_i_cyc_xform.
%~ message_hook_type(warning)
%~ message_hook(
%~    redefined_procedure(static,mu:aXiom/1),
%~    warning,
%~    [ 'Redefined ~w procedure ~p' - [ static,
%~                                      mu : aXiom/1]])
%~ source_location('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl',44)
Redefined static procedure mu:(aXiom/1)
Warning: /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:44:
Warning:    Redefined static procedure mu:(aXiom/1)
/* ==>>(will_need_touch(Agent,Thing),h(spatial,touchable,Agent,Thing)) */
%~ will_need_touch(Agent,Thing,A9,B9) :-
%~ 
%~   h(spatial,touchable,Agent,Thing,A9,B9).
%~ will_need_touch(Touchable_Will_need_touch5,Will_need_touch4,Will_need_touch,Touch) :-
%~ 
%~   h(spatial,touchable,Touchable_Will_need_touch5,Will_need_touch4,Will_need_touch,Touch).
/* ( will_need_touch(Agent,Thing) ==>> 
  ( can_sense(Agent,Sense_Agent2,Thing) , 
    h(spatial,touchable,Agent,Thing))) */
%~ will_need_touch(Agent,Thing,A9,C9) :-
%~   can_sense(Agent,Sense_Agent2,Thing,A9,B9) ,
%~   h(spatial,touchable,Agent,Thing,B9,C9).
:- multifile will_need_touch/4.

/* ( will_need_touch(Source_Agent_Touchable_Will_need_touch,Target_Thing_Touch) ==>> 
  ( can_sense(Source_Agent_Touchable_Will_need_touch,Can_senseWill_need_touch,Target_Thing_Touch) , 
    h(spatial,touchable,Source_Agent_Touchable_Will_need_touch,Target_Thing_Touch))) */
%~ will_need_touch(Agent_Touchable_Will_need_touch,Thing,A9,C9) :-
%~   can_sense( Agent_Touchable_Will_need_touch,
%~     Can_senseWill_need_touch, Thing,A9,B9) ,
%~   h(spatial,touchable,Agent_Touchable_Will_need_touch,Thing,B9,C9).
will_need_touch(Agent, Thing, A, B) :-
    can_sense(Agent, _, Thing, A, C),
    h(spatial, touchable, Agent, Thing, C, B).

/* ( eVent(Agent,Event) ==>> 
  send_1percept(Agent,Event),apply_aXioms(Event)) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:62 
%~ eVent(Agent,Event,A9,C9) :-
%~   send_1percept(Agent,Event,A9,B9) ,
%~   must_mw1(apply_aXioms(Event),B9,C9).
/* ( aXiom(Action,_S0,_S9) ::= 
  xnotrace((\+trival_act(Action),dbug1(aXiom(Action)))),xnotrace(fail)) */
%~ aXiom(Action,_S0,_S9) :-
%~   xnotrace( \+trival_act(Action),dbug1(aXiom(Action))) ,
%~   xnotrace(fail).
/* ==>>(aXiom(Action),aXiom_p1(Action)) */
%~ aXiom(Action,A9,B9) :-
%~ 
%~   aXiom_p1(Action,A9,B9).
/* ==>>(aXiom(Action),aXiom_p2(Action)) */
%~ aXiom(Action,A9,B9) :-
%~ 
%~   aXiom_p2(Action,A9,B9).
/* ==>>(aXiom_p1((P1,P11)),(!,aXiom_p1(P1),aXiom_p1(P11))) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:71 
%~ aXiom_p1((_58694,_58696),A9,C9) :-
%~   ! ,
%~   A9=A9 ,
%~   aXiom_p1(_58694,A9,B9) ,
%~   aXiom_p1(_58696,B9,C9).
/* ==>>(aXiom_p1((P1;P11)),(!,(aXiom_p1(P1);aXiom_p1(P11)))) */
%~ aXiom_p1((_46518;_46520),A9,B9) :-
%~   ! ,
%~   A9=A9 ,
%~   aXiom_p1(_46518,A9,B9);aXiom_p1(_46520,A9,B9).
/* ==>>(aXiom_p1((P1->P11)),(!,(aXiom_p1(P1)->aXiom_p1(P11)))) */
%~ aXiom_p1((_29944->_29946),A9,C9) ->
%~   ! ,
%~   A9=A9 ,
%~   aXiom_p1(_29944,A9,B9) ->
%~ 
%~     aXiom_p1(_29946,B9,C9).
/* ==>>(aXiom_p1(true),!) */
%~ aXiom_p1(true,A9,B9) :-
%~   ! ,
%~   B9=A9.
/* ( aXiom_p1( P1_Xx_c62*->P1;P1_Xx_c621) ==>> 
  !,(aXiom_p1(P1_Xx_c62)*->aXiom_p1(P1);aXiom_p1(P1_Xx_c621))) */
%~ aXiom_p1((Xx_c62*->Xx_c622;Xx_c621),A9,C9) :-
%~   ! ,
%~   A9=A9 ,
%~   ( aXiom_p1(Xx_c62,A9,B9)*->aXiom_p1(Xx_c622,B9,C9) ;
%~     aXiom_p1(Xx_c621,A9,C9)).
/* ( aXiom_p1( P1_Xx_c623*->P1) ==>> 
  !,(aXiom_p1(P1_Xx_c623)*->aXiom_p1(P1))) */
%~ aXiom_p1((Xx_c623*->Xx_c6234),A9,C9) :-
%~   ! ,
%~   A9=A9 ,
%~   aXiom_p1(Xx_c623,A9,B9)*->aXiom_p1(Xx_c6234,B9,C9).
/* ( aXiom_p2(Action) ==>> 
  ( { implications(DoesEvent,Action,Preconds,Postconds), 
      action_doer(Action,Agent) }  ,
    satisfy_each(preCond(_1),Preconds) , 
    ( sg(member(failed(Why))),send_1percept(Agent,failed(Action,Why)) ; 
      satisfy_each(postCond(_2),Postconds),send_1percept(Agent,Action)) , 
    { episodic_mem(Agent,implications(DoesEvent,Action,Preconds,Postconds)) } , 
    { dbug1( used_implications(DoesEvent,Action,Preconds,Postconds)) } , 
    !)) */
%~ aXiom_p2(Action,A9,I9) :-
%~   implications(DoesEvent,Action,Preconds,Postconds) ,
%~   action_doer(Action,Agent) ,
%~   H9=A9 ,
%~   satisfy_each(preCond(_1),Preconds,H9,G9) ,
%~   ( ( sg(member(failed(Why)),G9,F9) ,
%~       send_1percept(Agent,failed(Action,Why),F9,E9)) ;
%~     ( satisfy_each(postCond(_2),Postconds,G9,D9) ,
%~       send_1percept(Agent,Action,D9,E9))) ,
%~   episodic_mem( Agent,
%~     implications(DoesEvent,Action,Preconds,Postconds)) ,
%~   C9=E9 ,
%~   dbug1( used_implications(DoesEvent,Action,Preconds,Postconds)) ,
%~   B9=C9 ,
%~   ! ,
%~   I9=B9.
/* ( aXiom_p1(Action) ==>> 
  ( { oper_splitk(Agent,Action,Preconds,Postconds) }  ,
    { dbug1( using_oper_splitk(Agent,Action,Preconds,Postconds)) } , 
    satisfy_each(preCond(_1),Preconds) , 
    ( sg(member(failed(Why))),send_1percept(Agent,failed(Action,Why)) ; 
      ( satisfy_each(postCond(_2),Postconds) , 
        send_1percept(Agent,success(Action)))) , 
    { dbug1( used_oper_splitk(Agent,Action,Preconds,Postconds)) } , 
    !)) */
%~ aXiom_p1(Action,A9,I9) :-
%~   oper_splitk(Agent,Action,Preconds,Postconds) ,
%~   H9=A9 ,
%~   dbug1( using_oper_splitk(Agent,Action,Preconds,Postconds)) ,
%~   G9=H9 ,
%~   satisfy_each(preCond(_1),Preconds,G9,F9) ,
%~   ( ( sg(member(failed(Why)),F9,E9) ,
%~       send_1percept(Agent,failed(Action,Why),E9,D9)) ;
%~     ( satisfy_each(postCond(_2),Postconds,F9,C9) ,
%~       send_1percept(Agent,success(Action),C9,D9))) ,
%~   dbug1( used_oper_splitk(Agent,Action,Preconds,Postconds)) ,
%~   B9=D9 ,
%~   ! ,
%~   I9=B9.
/* ( aXiom_p2(Action,S,E) ::= 
  ( append_termlist(Action,[S,E],ActionSE)  ,
    current_predicate(_16726,mu:ActionSE) , 
    adv_safe_to_call(ActionSE) , 
    ! , 
    call(Action,S,E))) */
%~ aXiom_p2(Action,S,E) :-
%~   append_termlist(Action,[S,E],ActionSE) ,
%~   current_predicate(Kw,mu:ActionSE) ,
%~   adv_safe_to_call(ActionSE) ,
%~   ! ,
%~   call(Action,S,E).
/* ( aXiom_p2(Action,S,E) ::= 
  ( current_predicate(Kw,mu:Action)  ,
    ! , 
    adv_safe_to_call(Action) , 
    call(Action) , 
    S=E)) */
%~ aXiom_p2(Action,S,E) :-
%~   current_predicate(Kw,mu:Action) ,
%~   ! ,
%~   adv_safe_to_call(Action) ,
%~   call(Action) ,
%~   S=E.
/* ( aXiom_p1(Action) ==>> 
  ( action_doer(Action,Agent)  ,
    invoke_introspect(Agent,Action,Answer) , 
    send_1percept(Agent,[answer(Answer),Answer]) , 
    !)) */
%~ aXiom_p1(Action,A9,E9) :-
%~   action_doer(Action,Agent,A9,D9) ,
%~   invoke_introspect(Agent,Action,Answer,D9,C9) ,
%~   send_1percept(Agent,[answer(Answer),Answer],C9,B9) ,
%~   ! ,
%~   E9=B9.
/* ( aXiom_p1( print_(Agent,Msg)) ==>> 
  ( h(spatial,descended,Agent,Here) , 
    queue_local_event(msg_from(Agent,Msg),[Here]))) */
%~ aXiom_p1(print_(Agent,Msg),A9,C9) :-
%~   h(spatial,descended,Agent,Here,A9,B9) ,
%~   queue_local_event(msg_from(Agent,Msg),[Here],B9,C9).
/* ( aXiom_p1( attempts(Agent,act3(wait,Agent,[]))) ==>> 
  from_loc(Agent,Here),queue_local_event(time_passes(Agent),Here)) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:134 
%~ aXiom_p1(attempts(Agent,act3(wait,Agent,[])),A9,C9) :-
%~   from_loc(Agent,Here,A9,B9) ,
%~   queue_local_event(time_passes(Agent),Here,B9,C9).
/* ( aXiom_p1( attempts(Agent,act3(english,Agent,[English]))) ==>> 
  eng2cmd(Agent,English,Action),add_intent(Agent,Action)) */
%~ aXiom_p1(attempts(Agent,act3(english,Agent,[English])),A9,C9) :-
%~   eng2cmd(Agent,English,Action,A9,B9) ,
%~   add_intent(Agent,Action,B9,C9).
/* ( aXiom_p1( intent_english(Agent,English)) ==>> 
  !,{assertz(mu_global:console_tokens(Agent,English))}) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:143 
%~ aXiom_p1(intent_english(Agent,English),A9,B9) :-
%~   ! ,
%~   A9=A9 ,
%~   assertz( mu_global : console_tokens(Agent,English)) ,
%~   B9=A9.
/* ( aXiom_p1( attempts(Agent,act3(talk,Agent,[Object,Message]))) ==>> 
  ( can_sense(Agent,audio,Object)  ,
    from_loc(Agent,Here) , 
    queue_local_event( 
       [ did( Agent, 
           act3(talk,Agent,[Here,Object,Message]))], 
       [Here]))) */
%~ aXiom_p1(
%~    attempts(Agent,act3(talk,Agent,[Object,Message])), A9,D9) :-
%~   can_sense(Agent,audio,Object,A9,C9) ,
%~   from_loc(Agent,Here,C9,B9) ,
%~   queue_local_event(
%~      [ did( Agent,
%~          act3(talk,Agent,[Here,Object,Message]))], [Here],B9,D9).
/* ( aXiom_p1( say(Agent,Message)) ==>> 
  ( from_loc(Agent,Here) , 
    queue_local_event( 
       [ did(Agent,act3(talk,Agent,[Here,*,Message]))], 
       [Here]))) */
%~ aXiom_p1(say(Agent,Message),A9,C9) :-
%~   from_loc(Agent,Here,A9,B9) ,
%~   queue_local_event(
%~      [ did(Agent,act3(talk,Agent,[Here,*,Message]))], [Here],B9,C9).
/* ( aXiom_p1( attempts( Agent, 
              act3(emote,Agent,[EmoteType,Object,Message]))) ==>> 
  ( !  ,
    from_loc(Agent,Here) , 
    queue_local_event( 
       [ act3(emote,Agent,[EmoteType,Object,Message])], 
       [Here]))) */
%~ aXiom_p1(
%~    attempts( Agent,
%~      act3(emote,Agent,[EmoteType,Object,Message])), A9,C9) :-
%~   ! ,
%~   A9=A9 ,
%~   from_loc(Agent,Here,A9,B9) ,
%~   queue_local_event(
%~      [ act3(emote,Agent,[EmoteType,Object,Message])], [Here],B9,C9).
/* ( aXiom_p1( terminates( h(Spatially,Prep,Object,Here))) ==>> 
  !,undeclare(h(Spatially,Prep,Object,Here))) */
%~ aXiom_p1(terminates(h(Spatially,Prep,Object,Here)),A9,B9) :-
%~   ! ,
%~   A9=A9 ,
%~   undeclare(h(Spatially,Prep,Object,Here),A9,B9).
/* ( aXiom_p1( attempts( Agent, 
              act3(go__prep_obj,Agent,[Walk,At,Object]))) ==>> 
  ( will_need_touch(Agent,Object)  ,
    has_rel(At,Object) , 
    \+( is_closed(At,Object)) , 
    eVent( Agent, 
      event3( arrive, 
        [At,Agent,Object], 
        [Walk,At])))) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:170 
%~ aXiom_p1(
%~    attempts( Agent,
%~      act3(go__prep_obj,Agent,[Walk,At,Object])), A9,F9) :-
%~   will_need_touch(Agent,Object,A9,E9) ,
%~   has_rel(At,Object,E9,D9) ,
%~   \+( is_closed(At,Object,D9,C9)) ,
%~   B9=D9 ,
%~   eVent( Agent,
%~     event3( arrive,
%~       [At,Agent,Object],
%~       [Walk,At]), B9,F9).
/* ( aXiom_p1( initiates( h(Spatially,Prep,Object,Dest))) ==>> 
  !,declare(h(Spatially,Prep,Object,Dest))) */
%~ aXiom_p1(initiates(h(Spatially,Prep,Object,Dest)),A9,B9) :-
%~   ! ,
%~   A9=A9 ,
%~   declare(h(Spatially,Prep,Object,Dest),A9,B9).
/* ==>>(aXiom_p1(status_msg(_Begin,_End)),[]) */
%~ aXiom_p1(status_msg(_Begin,_End),P1_Status_msg,P1_Status_msg) :-
%~ 
%~   true.
/* ( axiom_Recalc_e( 
     attempts(Agent,act3(go__obj,Agent,[Walk,Object])), 
     RECALC) ==>> 
  ( has_rel(At,Object) , 
    RECALC =  
         
      attempts( Agent, 
        act3(go__prep_obj,Agent,[Walk,At,Object])))) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:188 
%~ axiom_Recalc_e(
%~    attempts(Agent,act3(go__obj,Agent,[Walk,Object])), RECALC,A9,C9) :-
%~   has_rel(At,Object,A9,B9) ,
%~   =( RECALC,
%~     attempts( Agent,
%~       act3(go__prep_obj,Agent,[Walk,At,Object])), B9,C9).
/* ( aXiom_p1( attempts(Agent,act3(go__loc,Agent,[_Walk,There]))) ==>> 
  ( has_rel(fn(exit,Fn_Exit),There) , 
    eVent(Agent,make_true(Agent,h(spatial,in,Agent,There))))) */
%~ aXiom_p1(
%~    attempts(Agent,act3(go__loc,Agent,[_Walk,There])), A9,C9) :-
%~   has_rel(fn(exit,Fn_Exit),There,A9,B9) ,
%~   eVent( Agent,
%~     make_true(Agent,h(spatial,in,Agent,There)), B9,C9).
/* ( aXiom_p1( make_true(Doer,h(spatial,in,Agent,There))) ==>> 
  ( { Doer==Agent }  ,
    has_rel(fn(exit,Fn_Exit),There) , 
    from_loc(Agent,Here) , 
    agent_thought_model(Agent,ModelData) , 
    { find_path(Doer,Here,There,Route,ModelData) } , 
    ! , 
    eVent( Agent, 
      follow_plan( Agent, 
        did(Agent,act3(go__loc,Agent,[walk,There])), 
        Route)))) */
%~ aXiom_p1(make_true(Doer,h(spatial,in,Agent,There)),A9,H9) :-
%~   Doer==Agent ,
%~   G9=A9 ,
%~   has_rel(fn(exit,Fn_Exit),There,G9,F9) ,
%~   from_loc(Agent,Here,F9,E9) ,
%~   agent_thought_model(Agent,ModelData,E9,D9) ,
%~   find_path(Doer,Here,There,Route,ModelData) ,
%~   C9=D9 ,
%~   ! ,
%~   B9=C9 ,
%~   eVent( Agent,
%~     follow_plan( Agent,
%~       did(Agent,act3(go__loc,Agent,[walk,There])),
%~       Route), B9,H9).
/* ==>>(aXiom_p1(make_true(Agent,FACT)),add_agent_goal(Agent,FACT)) */
%~ aXiom_p1(make_true(Agent,FACT),A9,B9) :-
%~ 
%~   add_agent_goal(Agent,FACT,A9,B9).
/* ==>>(aXiom_p1(add_intent(Agent,TODO)),add_agent_intent(Agent,TODO)) */
%~ aXiom_p1(add_intent(Agent,TODO),A9,B9) :-
%~ 
%~   add_agent_intent(Agent,TODO,A9,B9).
/* ( aXiom_p1( follow_plan(Agent,Name,[])) ==>> 
  !,send_1percept(Agent,[success(followed_plan(Agent,Name))])) */
%~ aXiom_p1(follow_plan(Agent,Name,[]),A9,B9) :-
%~   ! ,
%~   A9=A9 ,
%~   send_1percept( Agent,
%~     [ success( followed_plan(Agent,Name))], A9,B9).
/* ( aXiom_p1( follow_plan(Agent,Name,[Step])) ==>> 
  ( eVent(Agent,follow_step(Agent,Name,Step)) , 
    eVent(Agent,follow_plan(Agent,Name,CO_Route)))) */
%~ aXiom_p1(follow_plan(Agent,Name,[Step|Route]),A9,C9) :-
%~   eVent(Agent,follow_step(Agent,Name,Step),A9,B9) ,
%~   eVent(Agent,follow_plan(Agent,Name,Route),B9,C9).
/* ( aXiom_p1( follow_step(Agent,Name,Step)) ==>> 
  {dbug1(follow_step(Agent,Name,Step))},raise_aXiom_events(Step)) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:221 
%~ aXiom_p1(follow_step(Agent,Name,Step),A9,C9) :-
%~   dbug1( follow_step(Agent,Name,Step)) ,
%~   B9=A9 ,
%~   raise_aXiom_events(Step,B9,C9).
/* ( axiom_Recalc_e(attempts(Agent,act3(take,Agent,[Thing])),RECALC) ==>> 
  ( ! , 
    RECALC =  
         
      attempts( Agent, 
        act3(put__via,Agent,[take,Thing,held_by,Agent])))) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:243 
%~ axiom_Recalc_e(
%~    attempts(Agent,act3(take,Agent,[Thing])), RECALC,A9,B9) :-
%~   ! ,
%~   A9=A9 ,
%~   =( RECALC,
%~     attempts( Agent,
%~       act3(put__via,Agent,[take,Thing,held_by,Agent])), A9,B9).
/* ( axiom_Recalc_e(attempts(Agent,act3(drop,Agent,[Thing])),RECALC) ==>> 
  ( !  ,
    dshow_failure( h(spatial,At,Agent,Here)) , 
    RECALC =  
         
      attempts( Agent, 
        act3(put__via,Agent,[drop,Thing,At,Here])))) */
%~ axiom_Recalc_e(
%~    attempts(Agent,act3(drop,Agent,[Thing])), RECALC,A9,C9) :-
%~   ! ,
%~   A9=A9 ,
%~   dshow_failure(h(spatial,At,Agent,Here),A9,B9) ,
%~   =( RECALC,
%~     attempts( Agent,
%~       act3(put__via,Agent,[drop,Thing,At,Here])), B9,C9).
/* ( axiom_Recalc_e( 
     attempts( Agent, 
       act3(put,Agent,[Thing1,PrepAt,Thing2])), 
     RECALC) ==>> 
  RECALC =  
       
    attempts( Agent, 
      act3(put__via,Agent,[put,Thing1,PrepAt,Thing2]))) */
%~ axiom_Recalc_e(
%~    attempts( Agent,
%~      act3(put,Agent,[Thing1,PrepAt,Thing2])), RECALC,A9,B9) :-
%~ 
%~   =( RECALC,
%~     attempts( Agent,
%~       act3(put__via,Agent,[put,Thing1,PrepAt,Thing2])), A9,B9).
/* ( axiom_Recalc_e( 
     attempts(Agent,act3(give,Agent,[Thing,Recipient])), 
     RECALC) ==>> 
  RECALC =  
       
    attempts( Agent, 
      act3(put__via,Agent,[give,Thing,held_by,Recipient]))) */
%~ axiom_Recalc_e(
%~    attempts(Agent,act3(give,Agent,[Thing,Recipient])), RECALC,A9,B9) :-
%~ 
%~   =( RECALC,
%~     attempts( Agent,
%~       act3(put__via,Agent,[give,Thing,held_by,Recipient])), A9,B9).
/* ( aXiom_p1( attempts( Agent, 
              act3( put__via, 
                Agent, 
                [How,Thing1,Prep,Thing2]))) ==>> 
  ( {fail}  ,
    ! , 
    dshow_failure( prep_to_rel(Thing2,Prep,At)) , 
    from_loc(Agent,Here) , 
    dshow_failure( has_rel(At,Thing2)) , 
    dshow_failure( will_need_touch(Agent,Thing2)) , 
    moveto( Agent, 
      How, Thing1,At,Thing2, 
      [Here], 
      [ cap( subj(Agent)), 
        person(How,es(How)), Thing1,At,Thing2, 
        '.']))) */
%~ aXiom_p1(
%~    attempts( Agent,
%~      act3( put__via,
%~        Agent,
%~        [How,Thing1,Prep,Thing2])), A9,H9) :-
%~   fail ,
%~   G9=A9 ,
%~   ! ,
%~   F9=G9 ,
%~   dshow_failure(prep_to_rel(Thing2,Prep,At),F9,E9) ,
%~   from_loc(Agent,Here,E9,D9) ,
%~   dshow_failure(has_rel(At,Thing2),D9,C9) ,
%~   dshow_failure(will_need_touch(Agent,Thing2),C9,B9) ,
%~   moveto( Agent,
%~     How, Thing1,At,Thing2,
%~     [Here],
%~     [ cap( subj(Agent)), person(How,es(How)),Thing1,
%~       At,Thing2,'.'], B9,H9).
/* ( axiom_Recalc_e( 
     attempts(Agent,act3(throw_dir,Agent,[Thing,ExitName])), 
     RECALC) ==>> 
  ( from_loc(Agent,Here) , 
    RECALC =  
         
      attempts( Agent, 
        act3(throw_prep_obj,Agent,[Thing,ExitName,Here])))) */
%~ axiom_Recalc_e(
%~    attempts(Agent,act3(throw_dir,Agent,[Thing,ExitName])), RECALC,A9,C9) :-
%~   from_loc(Agent,Here,A9,B9) ,
%~   =( RECALC,
%~     attempts( Agent,
%~       act3(throw_prep_obj,Agent,[Thing,ExitName,Here])), B9,C9).
/* ( axiom_Recalc_e( 
     attempts(Agent,act3(throw_at,Agent,[Thing,Target])), 
     RECALC) ==>> 
  RECALC =  
       
    attempts( Agent, 
      act3(throw_prep_obj,Agent,[Thing,at,Target]))) */
%~ axiom_Recalc_e(
%~    attempts(Agent,act3(throw_at,Agent,[Thing,Target])), RECALC,A9,B9) :-
%~ 
%~   =( RECALC,
%~     attempts( Agent,
%~       act3(throw_prep_obj,Agent,[Thing,at,Target])), A9,B9).
/* ( axiom_Recalc_e( 
     attempts( Agent, 
       act3(throw_prep_obj,Agent,[Thing,Prep,Target])), 
     RECALC) ==>> 
  ( prep_to_rel(Target,Prep,Rel) , 
    RECALC =  
         
      attempts( Agent, 
        act3(put,Agent,[throw,Thing,Rel,Target])))) */
%~ axiom_Recalc_e(
%~    attempts( Agent,
%~      act3(throw_prep_obj,Agent,[Thing,Prep,Target])), RECALC,A9,C9) :-
%~   prep_to_rel(Target,Prep,Rel,A9,B9) ,
%~   =( RECALC,
%~     attempts( Agent,
%~       act3(put,Agent,[throw,Thing,Rel,Target])), B9,C9).
/* ( axiom_Recalc_e( 
     attempts( Agent, 
       act3(throw,Agent,[Thing,Prep,Target])), 
     RECALC) ==>> 
  ( prep_to_rel(Target,Prep,Rel);Prep=Rel , 
    RECALC =  
         
      attempts( Agent, 
        act3(put,Agent,[throw,Thing,Rel,Target])))) */
%~ axiom_Recalc_e(
%~    attempts( Agent,
%~      act3(throw,Agent,[Thing,Prep,Target])), RECALC,A9,C9) :-
%~   ( prep_to_rel(Target,Prep,Rel,A9,B9) ;
%~     =(Prep,Rel,A9,B9)) ,
%~   =( RECALC,
%~     attempts( Agent,
%~       act3(put,Agent,[throw,Thing,Rel,Target])), B9,C9).
/* ( aXiom_p1( attempts( Agent, 
              act3(throw,Agent,[Thing,At,Target]))) ==>> 
  ( will_need_touch(Agent,Thing)  ,
    can_sense(Agent,see,Target) , 
    eVent( Agent, 
      act3(throw,Agent,[Thing,At,Target])))) */
%~ aXiom_p1(
%~    attempts( Agent,
%~      act3(throw,Agent,[Thing,At,Target])), A9,D9) :-
%~   will_need_touch(Agent,Thing,A9,C9) ,
%~   can_sense(Agent,see,Target,C9,B9) ,
%~   eVent( Agent,
%~     act3(throw,Agent,[Thing,At,Target]), B9,D9).
/* ( aXiom_p1( act3(throw,Agent,[Thing,AtTarget,Target])) ==>> 
  ( ignore( ( getprop(Thing,breaks_into(Broken))  ,
              dbug(general,'object ~p is breaks_into~n',[Thing]) , 
              eVent(Agent,thing_transforms(Thing,Broken)))) , 
    eVent( Agent, 
      disgorge( Agent, 
        do_throw, Target,AtTarget,Target, 
        [Target],'Something falls out.')))) */
%~ aXiom_p1(
%~    act3(throw,Agent,[Thing,AtTarget,Target]), A9,C9) :-
%~   ignore(
%~      ( getprop(Thing,breaks_into(Broken))  ,
%~        dbug(general,'object ~p is breaks_into~n',[Thing]) ,
%~        eVent(Agent,thing_transforms(Thing,Broken))), A9,B9) ,
%~   eVent( Agent,
%~     disgorge( Agent,
%~       do_throw, Target,AtTarget,Target,
%~       [Target],'Something falls out.'), B9,C9).
/* ( aXiom_p1( thing_transforms(Thing,Broken)) ==>> 
  ( undeclare( h(Spatial,At,Thing,Here))  ,
    declare( h(Spatial,At,Broken,Here)) , 
    queue_local_event([transformed(Thing,Broken)],Here))) */
%~ aXiom_p1(thing_transforms(Thing,Broken),A9,D9) :-
%~   undeclare(h(Spatial,At,Thing,Here),A9,C9) ,
%~   declare(h(Spatial,At,Broken,Here),C9,B9) ,
%~   queue_local_event([transformed(Thing,Broken)],Here,B9,D9).
/* ( aXiom_p1( attempts(Agent,act3(hit_with,Agent,[Thing,With]))) ==>> 
  ( from_loc(Agent,Here)  ,
    invoke_hit(Agent,Thing,With,[Here]) , 
    send_1percept(Agent,[true,'OK.']))) */
%~ aXiom_p1(
%~    attempts(Agent,act3(hit_with,Agent,[Thing,With])), A9,D9) :-
%~   from_loc(Agent,Here,A9,C9) ,
%~   invoke_hit(Agent,Thing,With,[Here],C9,B9) ,
%~   send_1percept(Agent,[true,'OK.'],B9,D9).
/* ( aXiom_p1( attempts(Agent,act3(hit,Agent,[Thing]))) ==>> 
  ( from_loc(Agent,Here)  ,
    invoke_hit(Agent,Thing,Agent,[Here]) , 
    send_1percept(Agent,[true,'OK.']))) */
%~ aXiom_p1(attempts(Agent,act3(hit,Agent,[Thing])),A9,D9) :-
%~   from_loc(Agent,Here,A9,C9) ,
%~   invoke_hit(Agent,Thing,Agent,[Here],C9,B9) ,
%~   send_1percept(Agent,[true,'OK.'],B9,D9).
/* ( invoke_hit(Doer,Target,_With,Vicinity) ==>> 
  ignore( ( getprop(Target,breaks_into(Broken))  ,
            dbug(general,'target ~p is breaks_into~n',[Target]) , 
            undeclare( h(Spatial,Prep,Target,Here)) , 
            queue_local_event([transformed(Target,Broken)],Vicinity) , 
            declare( h(Spatial,Prep,Broken,Here)) , 
            disgorge(Doer,hit,Target,Prep,Here,Vicinity,'Something falls out.')))) */
%~ invoke_hit(Doer,Target,_With,Vicinity,A9,B9) :-
%~ 
%~   ignore(
%~      ( getprop(Target,breaks_into(Broken))  ,
%~        dbug(general,'target ~p is breaks_into~n',[Target]) ,
%~        undeclare( h(Spatial,Prep,Target,Here)) ,
%~        queue_local_event([transformed(Target,Broken)],Vicinity) ,
%~        declare( h(Spatial,Prep,Broken,Here)) ,
%~        disgorge(Doer,hit,Target,Prep,Here,Vicinity,'Something falls out.')), A9,B9).
/* ( aXiom_p1( attempts( Agent, 
              act3(dig,Agent,[Hole,Where,Tool]))) ==>> 
  ( { memberchk(Hole,[hole,trench,pit,ditch]), 
      memberchk(Where,[garden]), 
      memberchk(Tool,[shovel,spade]) }  ,
    open_traverse(Tool,Agent) , 
    from_loc(Agent,Where) , 
    \+( h(spatial,_At,Hole,Where)) , 
    declare( h(spatial,in,Hole,Where)) , 
    setprop(Hole,default_rel=in) , 
    setprop(Hole,can_be(move,f)) , 
    setprop(Hole,can_be(take,f)) , 
    declare( h(spatial,in,dirt,Where)) , 
    queue_event( [ created(Hole,Where), 
                   [ cap( subj(Agent)), person(dig,digs),a,Hole,'in the', 
                     Where,'.']]))) */
%~ aXiom_p1(
%~    attempts( Agent,
%~      act3(dig,Agent,[Hole,Where,Tool])), A9,L9) :-
%~   memberchk(Hole,[hole,trench,pit,ditch]) ,
%~   memberchk(Where,[garden]) ,
%~   memberchk(Tool,[shovel,spade]) ,
%~   K9=A9 ,
%~   open_traverse(Tool,Agent,K9,J9) ,
%~   from_loc(Agent,Where,J9,I9) ,
%~   \+( h(spatial,_At,Hole,Where,I9,H9)) ,
%~   G9=I9 ,
%~   declare(h(spatial,in,Hole,Where),G9,F9) ,
%~   setprop(Hole,default_rel=in,F9,E9) ,
%~   setprop(Hole,can_be(move,f),E9,D9) ,
%~   setprop(Hole,can_be(take,f),D9,C9) ,
%~   declare(h(spatial,in,dirt,Where),C9,B9) ,
%~   queue_event(
%~      [ created(Hole,Where),
%~        [ cap( subj(Agent)), person(dig,digs),a,Hole,'in the',
%~          Where,'.']], B9,L9).
/* ( aXiom_p1( attempts(Agent,act3(eat,Agent,[Thing]))) ==>> 
  ( getprop(Thing,can_be(eat,t)) ->  
         
      ( undeclare( h(spatial,_1,Thing,_2)) , 
        send_1percept(Agent,[destroyed(Thing),'Mmmm, good!'])) ; 
    send_1percept( Agent, [
      [ failure( attempts(Agent,act3(eat,Agent,[Thing]))), 
        'It\'s inedible!'])])) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:343 
%~ aXiom_p1(attempts(Agent,act3(eat,Agent,[Thing])),A9,D9) ->
%~ 
%~   ( getprop(Thing,can_be(eat,t),A9,C9) ->
%~       undeclare(h(spatial,_1,Thing,_2),C9,B9) ,
%~       send_1percept(Agent,[destroyed(Thing),'Mmmm, good!'],B9,D9) ;
%~     send_1percept( Agent,
%~       [ failure( attempts(Agent,act3(eat,Agent,[Thing]))),
%~         'It\'s inedible!'], A9,D9)).
/* ( aXiom_p1( attempts(Agent,act3(switch,Agent,[OnOff,Thing]))) ==>> 
  ( will_need_touch(Agent,Thing)  ,
    getprop(Thing,can_be(switch(OnOff),t)) , 
    getprop(Thing,effect(switch(OnOff),Term0)) , 
    { adv_subst(equivalent,$self,Thing,Term0,Term) } , 
    call(Term) , 
    send_1percept(Agent,[success(true,'OK')]))) */
%~ aXiom_p1(
%~    attempts(Agent,act3(switch,Agent,[OnOff,Thing])), A9,G9) :-
%~   will_need_touch(Agent,Thing,A9,F9) ,
%~   getprop(Thing,can_be(switch(OnOff),t),F9,E9) ,
%~   getprop(Thing,effect(switch(OnOff),Term0),E9,D9) ,
%~   adv_subst(equivalent,$self,Thing,Term0,Term) ,
%~   C9=D9 ,
%~   call(Term,C9,B9) ,
%~   send_1percept(Agent,[success(true,'OK')],B9,G9).
/* ( axiom_Recalc_e(attempts(Agent,act3(inventory,Who,[])),RECALC) ==>> 
  RECALC =  
       
    attempts(Agent,act3(examine,Agent,[Who]))) */
%~ axiom_Recalc_e(attempts(Agent,act3(inventory,Who,[])),RECALC,A9,B9) :-
%~ 
%~   =( RECALC,
%~     attempts(Agent,act3(examine,Agent,[Who])), A9,B9).
/* ( axiom_Recalc_e(attempts(Agent,act3(look,Agent,[])),RECALC) ==>> 
  ( h(spatial,At,Agent,Here) , 
    RECALC =  
         
      attempts( Agent, 
        act3(examine__D3,Agent,[see,At,Here])))) */
%~ axiom_Recalc_e(attempts(Agent,act3(look,Agent,[])),RECALC,A9,C9) :-
%~   h(spatial,At,Agent,Here,A9,B9) ,
%~   =( RECALC,
%~     attempts(Agent,act3(examine__D3,Agent,[see,At,Here])), B9,C9).
/* ( axiom_Recalc_e(attempts(Agent,act3(examine,Agent,[Sense])),RECALC) ==>> 
  ( { is_sense(Sense) }  ,
    ! , 
    from_loc(Agent,Place) , 
    RECALC =  
         
      attempts(Agent,act3(examine__D3,Agent,[see,in,Place])))) */
%~ axiom_Recalc_e(
%~    attempts(Agent,act3(examine,Agent,[Sense])), RECALC,A9,E9) :-
%~   is_sense(Sense) ,
%~   D9=A9 ,
%~   ! ,
%~   C9=D9 ,
%~   from_loc(Agent,Place,C9,B9) ,
%~   =( RECALC,
%~     attempts(Agent,act3(examine__D3,Agent,[see,in,Place])), B9,E9).
/* ( axiom_Recalc_e(attempts(Agent,act3(examine,Agent,[Object])),RECALC) ==>> 
  RECALC =  
       
    attempts(Agent,act3(examine__D3,Agent,[see,at,Object]))) */
%~ axiom_Recalc_e(
%~    attempts(Agent,act3(examine,Agent,[Object])), RECALC,A9,B9) :-
%~ 
%~   =( RECALC,
%~     attempts(Agent,act3(examine__D3,Agent,[see,at,Object])), A9,B9).
/* ( axiom_Recalc_e( 
     attempts(Agent,act3(examine,Agent,[Sense,Object])), 
     RECALC) ==>> 
  ( RECALC =  
         
      attempts( Agent, 
        act3(examine__D3,Agent,[Sense,at,Object])) , 
    !)) */
%~ axiom_Recalc_e(
%~    attempts(Agent,act3(examine,Agent,[Sense,Object])), RECALC,A9,C9) :-
%~   =( RECALC,
%~     attempts(Agent,act3(examine__D3,Agent,[Sense,at,Object])), A9,B9) ,
%~   ! ,
%~   C9=B9.
/* ( axiom_Recalc_e( 
     attempts( Agent, 
       act3(examine,Agent,[Sense,Prep,Object])), 
     RECALC) ==>> 
  ( RECALC =  
         
      attempts( Agent, 
        act3(examine__D3,Agent,[Sense,Prep,Object])) , 
    !)) */
%~ axiom_Recalc_e(
%~    attempts( Agent,
%~      act3(examine,Agent,[Sense,Prep,Object])), RECALC,A9,C9) :-
%~   =( RECALC,
%~     attempts( Agent,
%~       act3(examine__D3,Agent,[Sense,Prep,Object])), A9,B9) ,
%~   ! ,
%~   C9=B9.
/* ( axiom_Recalc_e( 
     attempts( Agent, 
       act3( examine, 
         Agent, 
         [Sense,Prep,Object,Depth])), 
     RECALC) ==>> 
  ( RECALC =  
         
      attempts( Agent, 
        act3( examine__D3, 
          Agent, 
          [Sense,Prep,Object,Depth])) , 
    !)) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:377 
%~ axiom_Recalc_e(
%~    attempts( Agent,
%~      act3( examine,
%~        Agent,
%~        [Sense,Prep,Object,Depth])), RECALC,A9,C9) :-
%~   =( RECALC,
%~     attempts( Agent,
%~       act3( examine__D3,
%~         Agent,
%~         [Sense,Prep,Object,Depth])), A9,B9) ,
%~   ! ,
%~   C9=B9.
/* ( axiom_Recalc_e( 
     attempts( Agent, 
       act3(examine__D3,Agent,[Sense,Prep,Object])), 
     RECALC) ==>> 
  ( RECALC =  
         
      attempts( Agent, 
        act3(examine__D5,Agent,[Sense,Prep,Object,3])) , 
    !)) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:380 
%~ axiom_Recalc_e(
%~    attempts( Agent,
%~      act3(examine__D3,Agent,[Sense,Prep,Object])), RECALC,A9,C9) :-
%~   =( RECALC,
%~     attempts( Agent,
%~       act3(examine__D5,Agent,[Sense,Prep,Object,3])), A9,B9) ,
%~   ! ,
%~   C9=B9.
/* ( axiom_Recalc_e( 
     attempts( Agent, 
       act3( examine__D3, 
         Agent, 
         [Sense,Prep,Object,Depth])), 
     RECALC) ==>> 
  ( RECALC =  
         
      attempts( Agent, 
        act3( examine__D5, 
          Agent, 
          [Sense,Prep,Object,Depth])) , 
    !)) */
%~ axiom_Recalc_e(
%~    attempts( Agent,
%~      act3( examine__D3,
%~        Agent,
%~        [Sense,Prep,Object,Depth])), RECALC,A9,C9) :-
%~   =( RECALC,
%~     attempts( Agent,
%~       act3( examine__D5,
%~         Agent,
%~         [Sense,Prep,Object,Depth])), A9,B9) ,
%~   ! ,
%~   C9=B9.
/* ( aXiom_p1( attempts( Agent, 
              act3( examine__D5, 
                Agent, 
                [Sense,Prep,Object,Depth]))) ==>> 
  ( \+( sg( can_sense_here(Agent,Sense)))  ,
    ! , 
    raise_aXiom_events( failed( 
                           did( Agent, 
                             act3( examine, 
                               Agent, 
                               [Sense,Prep,Object,Depth])), 
                           \+( can_sense_here(Agent,Sense)))))) */
%~ aXiom_p1(
%~    attempts( Agent,
%~      act3( examine__D5,
%~        Agent,
%~        [Sense,Prep,Object,Depth])), A9,E9) :-
%~   \+( sg(can_sense_here(Agent,Sense),A9,D9)) ,
%~   C9=A9 ,
%~   ! ,
%~   B9=C9 ,
%~   raise_aXiom_events(
%~      failed(
%~         did( Agent,
%~           act3( examine,
%~             Agent,
%~             [Sense,Prep,Object,Depth])),
%~         \+( can_sense_here(Agent,Sense))), B9,E9).
/* ( aXiom_p1( attempts( Agent, 
              act3( examine__D5, 
                Agent, 
                [Sense,Prep,Object,Depth]))) ==>> 
  ( \+( sg( can_sense(Agent,Sense,Object)))  ,
    ! , 
    raise_aXiom_events( failed( 
                           did( Agent, 
                             act3( examine, 
                               Agent, 
                               [Sense,Prep,Object,Depth])), 
                           \+( can_sense(Agent,Sense,Object)))))) */
%~ aXiom_p1(
%~    attempts( Agent,
%~      act3( examine__D5,
%~        Agent,
%~        [Sense,Prep,Object,Depth])), A9,E9) :-
%~   \+( sg(can_sense(Agent,Sense,Object),A9,D9)) ,
%~   C9=A9 ,
%~   ! ,
%~   B9=C9 ,
%~   raise_aXiom_events(
%~      failed(
%~         did( Agent,
%~           act3( examine,
%~             Agent,
%~             [Sense,Prep,Object,Depth])),
%~         \+( can_sense(Agent,Sense,Object))), B9,E9).
/* ( aXiom_p1( attempts( Agent, 
              act3( examine__D5, 
                Agent, 
                [Sense,Prep,Object,Depth]))) ==>> 
  act_examine(Agent,Sense,Prep,Object,Depth),!) */
%~ aXiom_p1(
%~    attempts( Agent,
%~      act3( examine__D5,
%~        Agent,
%~        [Sense,Prep,Object,Depth])), A9,C9) :-
%~   must_mw1(
%~      act_examine(Agent,Sense,Prep,Object,Depth), A9,B9) ,
%~   ! ,
%~   C9=B9.
/* ( aXiom_p1( attempts(Agent,act3(touch,Agent,[Thing]))) ==>> 
  ( ! , 
    unless_reason( Agent, 
      will_need_touch(Agent,Thing), 
      cant( reach(Agent,Thing)), 
      send_1percept(Agent,[success(act3(touch,Agent,[Thing]),'Ok.')])))) */
%~ aXiom_p1(attempts(Agent,act3(touch,Agent,[Thing])),A9,B9) :-
%~   ! ,
%~   A9=A9 ,
%~   unless_reason( Agent,
%~     will_need_touch(Agent,Thing),
%~     cant( reach(Agent,Thing)),
%~     send_1percept(Agent,[success(act3(touch,Agent,[Thing]),'Ok.')]), A9,B9).
/* ( aXiom_p1( change_state(Agent,Action,Thing,Prop)) ==>> 
  !,change_state(Agent,Action,Thing,Prop)) */
%~ aXiom_p1(change_state(Agent,Action,Thing,Prop),A9,B9) :-
%~   ! ,
%~   A9=A9 ,
%~   change_state(Agent,Action,Thing,Prop,A9,B9).
/* ( aXiom_p1(Action,S0,S9) ::= 
  ( action_verb_agent_thing(Action,Verb,Agent,Thing)  ,
    nonvar(Verb) , 
    nonvar(Thing) , 
    nonvar(Agent) , 
    act_change_state_or_fallback(Verb,State,TF) , 
    ! , 
    eVent( Agent, 
      change_state(Agent,Action,Thing,State=TF), S0,S9) , 
    !)) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:406 
%~ aXiom_p1(Action,S0,S9) :-
%~   action_verb_agent_thing(Action,Verb,Agent,Thing) ,
%~   nonvar(Verb) ,
%~   nonvar(Thing) ,
%~   nonvar(Agent) ,
%~   act_change_state_or_fallback(Verb,State,TF) ,
%~   ! ,
%~   eVent( Agent,
%~     change_state(Agent,Action,Thing,State=TF), S0,S9) ,
%~   !.
```
totalTime=2.000

FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k adv_test_02.pl (returned 137) Add_LABELS='Errors,Overtime' Rem_LABELS='Skipped,Skipped,Warnings,Skipped']]></system-err>
</testcase>


</testsuite></testsuites>