1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/ReadingALetter.e').
    4%;
    5%; Copyright (c) 2005 IBM Corporation and others.
    6%; All rights reserved. This program and the accompanying materials
    7%; are made available under the terms of the Common Public License v1.0
    8%; which accompanies this distribution, and is available at
    9%; http://www.eclipse.org/legal/cpl-v10.html
   10%;
   11%; Contributors:
   12%; IBM - Initial implementation
   13%;
   14%; @article{Mueller:2004c,
   15%;   author = "Erik T. Mueller",
   16%;   year = "2004",
   17%;   title = "Understanding script-based stories using commonsense reasoning",
   18%;   journal = "Cognitive Systems Research",
   19%;   volume = "5",
   20%;   number = "4",
   21%;   pages = "307--340",
   22%; }
   23%;
   24
   25% option modeldiff on
   26:- set_ec_option(modeldiff, on).   27
   28% ignore Love, ThreatenedBy
   29ignore(love).
   30ignore(threatenedBy).
   31
   32% ignore LookOutOnto, Floor, BuildingOf, SkyOf, GroundOf
   33ignore(lookOutOnto).
   34ignore(floor).
   35ignore(buildingOf).
   36ignore(skyOf).
   37ignore(groundOf).
   38
   39% ignore Near, WalkFrom, WalkFromTo, RunFromTo
   40ignore(near).
   41ignore(walkFrom).
   42ignore(walkFromTo).
   43ignore(runFromTo).
   44
   45% ignore Side1, Side2
   46ignore(side1).
   47ignore(side2).
   48
   49% load foundations/Root.e
   50
   51% load foundations/EC.e
   52
   53% load answers/Mueller2003/Ontology.e
   54
   55% load answers/Mueller2004c/RTSpaceM.e
   56load('answers/Mueller2004c/RTSpaceM.e').
   57
   58% load answers/Mueller2004c/OTSpaceM.e
   59load('answers/Mueller2004c/OTSpaceM.e').
   60
   61% load answers/Mueller2004c/Container.e
   62
   63% load answers/Mueller2004c/Cognition.e
   64
   65% load answers/Mueller2003/Sleep.e
   66
   67% load answers/Mueller2003/Vision.e
   68
   69% load answers/Mueller2004c/HandTo.e
   70
   71% location Location1
   72==> t(location,location1).
   73
   74% portal DummyPortal1
   75==> t(portal,dummyPortal1).
   76
   77% agent Recipient1
   78==> t(agent,recipient1).
   79
   80% letter Letter1
   81==> t(letter,letter1).
   82
   83% container Envelope1
   84==> t(container,envelope1).
   85
   86% physobj Surface1
   87==> t(physobj,surface1).
   88
   89% chair Chair1
   90==> t(chair,chair1).
   91
   92% content Content1
   93==> t(content,content1).
   94
   95% agent Carrier1
   96==> t(agent,carrier1).
   97%; prune
   98
   99% sort ona, onb
  100==> sort(ona).
  101==> sort(onb).
  102
  103% fluent! On(ona,onb)
  104 %  fluent(on(ona,onb)).
  105==> mpred_prop(on(ona,onb),fluent).
  106==> meta_argtypes(on(ona,onb)).
  107
  108% event! PlaceOn(agent,ona,onb)
  109 %  event(placeOn(agent,ona,onb)).
  110==> mpred_prop(placeOn(agent,ona,onb),event).
  111==> meta_argtypes(placeOn(agent,ona,onb)).
  112
  113% event! TakeOffOf(agent,ona,onb)
  114 %  event(takeOffOf(agent,ona,onb)).
  115==> mpred_prop(takeOffOf(agent,ona,onb),event).
  116==> meta_argtypes(takeOffOf(agent,ona,onb)).
  117
  118% ona! Envelope1, Letter1
  119==> t(ona,envelope1).
  120==> t(ona,letter1).
  121
  122% onb! Surface1
  123==> t(onb,surface1).
  124
  125% sort insidea, insideb
  126==> sort(insidea).
  127==> sort(insideb).
  128
  129% fluent! Inside(insidea,insideb)
  130 %  fluent(inside(insidea,insideb)).
  131==> mpred_prop(inside(insidea,insideb),fluent).
  132==> meta_argtypes(inside(insidea,insideb)).
  133
  134% event! PutInside(agent,insidea,insideb)
  135 %  event(putInside(agent,insidea,insideb)).
  136==> mpred_prop(putInside(agent,insidea,insideb),event).
  137==> meta_argtypes(putInside(agent,insidea,insideb)).
  138
  139% event! TakeOutOf(agent,insidea,insideb)
  140 %  event(takeOutOf(agent,insidea,insideb)).
  141==> mpred_prop(takeOutOf(agent,insidea,insideb),event).
  142==> meta_argtypes(takeOutOf(agent,insidea,insideb)).
  143
  144% insidea! Letter1
  145==> t(insidea,letter1).
  146
  147% insideb! Envelope1
  148==> t(insideb,envelope1).
  149%; initial state
  150% [agent,physobj]
  151 % !HoldsAt(SittingOn(agent,physobj),0).
  152 %  not(initially(sittingOn(Agent,Physobj))).
  153axiom(not(initially(sittingOn(SittingOn_Param, SittingOn_Ret))),
  154    []).
  155
  156
  157% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:74
  158% [agent,physobj]
  159 % !HoldsAt(LyingOn(agent,physobj),0).
  160 %  not(initially(lyingOn(Agent,Physobj))).
  161axiom(not(initially(lyingOn(LyingOn_Param, LyingOn_Ret))),
  162    []).
  163
  164
  165% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:75
  166% HoldsAt(Dressed(Recipient1),0).
  167axiom(initially(dressed(recipient1)),
  168    []).
  169
  170
  171% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:76
  172% HoldsAt(Dressed(Carrier1),0).
  173axiom(initially(dressed(carrier1)),
  174    []).
  175
  176
  177% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:77
  178% HoldsAt(Awake(Recipient1),0).
  179axiom(initially(awake(recipient1)),
  180    []).
  181
  182
  183% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:78
  184% HoldsAt(Awake(Carrier1),0).
  185axiom(initially(awake(carrier1)),
  186    []).
  187
  188
  189% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:79
  190% HoldsAt(Sleep3(Recipient1),0).
  191axiom(initially(sleep3(recipient1)),
  192    []).
  193
  194
  195% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:80
  196% HoldsAt(Sleep3(Carrier1),0).
  197axiom(initially(sleep3(carrier1)),
  198    []).
  199
  200
  201% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:81
  202% HoldsAt(Standing(Recipient1),0).
  203axiom(initially(standing(recipient1)),
  204    []).
  205
  206
  207% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:82
  208% HoldsAt(Standing(Carrier1),0).
  209axiom(initially(standing(carrier1)),
  210    []).
  211
  212
  213% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:83
  214% HoldsAt(ContainerClosed(Envelope1),0).
  215axiom(initially(containerClosed(envelope1)),
  216    []).
  217
  218
  219% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:84
  220% HoldsAt(Inside(Letter1,Envelope1),0).
  221axiom(initially(inside(letter1, envelope1)),
  222    []).
  223
  224
  225% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:85
  226% [physobj1,physobj2]
  227% !(physobj1=Letter1 & physobj2=Envelope1) ->
  228% !HoldsAt(Inside(physobj1, physobj2),0).
  229% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:87
  230axiom(not(holds_at(inside(Physobj1, Physobj2), t)),
  231    [not(equals(Physobj1, letter1))]).
  232axiom(not(holds_at(inside(Physobj1, Physobj2), t)),
  233    [not(equals(Physobj2, envelope1))]).
  234
  235
  236% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:88
  237% [agent,object]
  238 % !HoldsAt(See(agent,object),0).
  239 %  not(initially(see(Agent,Object))).
  240axiom(not(initially(see(See_Param, See_Ret))),
  241    []).
  242
  243
  244% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:89
  245% [agent,object]
  246% !(agent=Carrier1 & object=Envelope1) ->
  247% !HoldsAt(Holding(agent,object),0).
  248% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:91
  249axiom(not(holds_at(holding(Agent, Object), t)),
  250    [not(equals(Agent, carrier1))]).
  251axiom(not(holds_at(holding(Agent, Object), t)),
  252    [not(equals(Object, envelope1))]).
  253
  254
  255% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:92
  256% HoldsAt(Holding(Carrier1,Envelope1),0).
  257axiom(initially(holding(carrier1, envelope1)),
  258    []).
  259
  260
  261% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:93
  262% [physobj1,physobj2]
  263 % !HoldsAt(On(physobj1, physobj2),0).
  264 %  not(initially(on(Physobj1,Physobj2))).
  265axiom(not(initially(on(On_Param, On_Ret))),
  266    []).
  267
  268
  269% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:95
  270%; narrative
  271
  272
  273% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:96
  274% Happens(PlaceOn(Carrier1,Envelope1,Surface1),0).
  275axiom(happens(placeOn(carrier1, envelope1, surface1), t),
  276    [is_time(0)]).
  277
  278
  279% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:97
  280% Happens(TakeOffOf(Recipient1,Envelope1,Surface1),1).
  281axiom(happens(takeOffOf(recipient1, envelope1, surface1), start),
  282    [is_time(1), b(t, start), ignore(t+1=start)]).
  283
  284
  285% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:98
  286%;Happens(HandTo(Carrier1,Recipient1,Envelope1),0).
  287
  288
  289% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:99
  290% Happens(SitOn(Recipient1,Chair1),2).
  291axiom(happens(sitOn(recipient1, chair1), t2),
  292    [is_time(2), b(t, t2), ignore(t+2=t2)]).
  293
  294
  295% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:100
  296% Happens(ContainerOpen(Recipient1,Envelope1),3).
  297axiom(happens(containerOpen(recipient1, envelope1), t3),
  298    [is_time(3), b(t, t3), ignore(t+3=t3)]).
  299
  300
  301% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:101
  302% Happens(TakeOutOf(Recipient1,Letter1,Envelope1),4).
  303axiom(happens(takeOutOf(recipient1, letter1, envelope1), t4),
  304    [is_time(4), b(t, t4), ignore(t+4=t4)]).
  305
  306
  307% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:102
  308% Happens(LookAt(Recipient1,Letter1),5).
  309axiom(happens(lookAt(recipient1, letter1), t5),
  310    [is_time(5), b(t, t5), ignore(t+5=t5)]).
  311
  312
  313% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:103
  314% Happens(Read(Recipient1,Letter1,Content1),6).
  315axiom(happens(read(recipient1, letter1, content1), t6),
  316    [is_time(6), b(t, t6), ignore(t+6=t6)]).
  317
  318
  319% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:104
  320% Happens(ThinkAbout(Recipient1,Content1),7).
  321axiom(happens(thinkAbout(recipient1, content1), t7),
  322    [is_time(7), b(t, t7), ignore(t+7=t7)]).
  323
  324
  325% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:105
  326% Happens(Understand(Recipient1,Content1),8).
  327axiom(happens(understand(recipient1, content1), t8),
  328    [is_time(8), b(t, t8), ignore(t+8=t8)]).
  329
  330
  331% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:106
  332% Happens(PutInside(Recipient1,Letter1,Envelope1),9).
  333axiom(happens(putInside(recipient1, letter1, envelope1), t9),
  334    [is_time(9), b(t, t9), ignore(t+9=t9)]).
  335
  336
  337% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:107
  338% Happens(RiseFrom(Recipient1,Chair1),10).
  339axiom(happens(riseFrom(recipient1, chair1), t10),
  340    [is_time(10), b(t, t10), ignore(t+10=t10)]).
  341
  342
  343% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:108
  344% Happens(PlaceOn(Recipient1,Envelope1,Surface1),11).
  345axiom(happens(placeOn(recipient1, envelope1, surface1), t11),
  346    [is_time(11), b(t, t11), ignore(t+11=t11)]).
  347
  348% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:110
  349% range time 0 12
  350% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:111
  351==> range(time,0,12).
  352
  353% range offset 0 0
  354% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:112
  355==> range(offset,0,0).
  356
  357% range diameter 0 0
  358% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:113
  359==> range(diameter,0,0).
  360
  361% completion Happens
  362% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingALetter.e:115
  363==> completion(happens).
  364%; End of file.