Quasiquotes I7

player~1@spatial> state
state
[ memories('player~1',
           [ todo([]),
             [ sense(see,
                     [ you_are(in,kitchen),
                       exits_are([north,south,east,west]),
                       here_are([ 'cabinate~1',
                                  'sink~1',
                                  'table~1',
                                  'player~1',
                                  screendoor
                                ])
                     ])
             ],
             model([ h(spatial,exit(west),kitchen,'<unexplored>',1),
                     h(spatial,exit(east),kitchen,'<unexplored>',1),
                     h(spatial,exit(south),kitchen,'<unexplored>',1),
                     h(spatial,exit(north),kitchen,'<unexplored>',1),
                     h(spatial,in,screendoor,kitchen,1),
                     h(spatial,in,'player~1',kitchen,1),
                     h(spatial,in,'table~1',kitchen,1),
                     h(spatial,in,'sink~1',kitchen,1),
                     h(spatial,in,'cabinate~1',kitchen,1)
                   ]),
             timestamp(1,7),
             did(look),
             structure_label(mem('player~1')),
             timestamp(0,6.8),
             goals([]),
             inst('player~1'),
             name('player~1'),
             inherit(console,t),
             inherit(humanoid,t)
           ]),
  perceptq('player~1',[]),
  perceptq('floyd~1',[]),
  memories('floyd~1',
           [ [ sense_props(see,
                           'shovel~1',
                           [inherited(shovel),co([inherit(shovel,t)])])
             ],
             [notice_children(see,'shovel~1','<unrelatable>',[])],
             model([ props_at('shovel~1',
                              [ inherited(shovel),
                                co([inherit(shovel,t)])
                              ],
                              7),
                     h(spatial,exit(up),basement,'<unexplored>',6),
                     h(spatial,in,'shovel~1',basement,6),
                     h(spatial,in,'floyd~1',basement,6),
                     h(spatial,exit(down),pantry,basement,6),
                     h(spatial,held_by,'wrench~1','floyd~1',3),
                     props_at('floyd~1',
                              [ name('Floyd the robot'),
                                can_do(eat,f),
                                inherited(autonomous),
                                emitting(see,light),
                                mass(200),
                                nouns(robot),
                                adjs(metallic),
                                desc('Your classic robot: metallic with glowing red eyes, enthusiastic but not very clever.'),
                                can_be(switch,t),
                                adjs(shiny),
                                can_be(move,t),
                                class_desc([ 'kind is both partly corporial and non-corporial',
                                             'kind is completely non-corporial',
                                             'kind is normally thinkable',
                                             'kind is corporial',
                                             'kind is an Object'
                                           ]),
                                inherited(object),
                                inherited(shiny),
                                has_rel(spatial,held_by),
                                volume(50),
                                can_do(examine,t),
                                can_do(touch,t),
                                can_be(touch,t),
                                can_be(examine(spatial),t),
                                inherited(corporial),
                                inherited(thinkable),
                                inherit(corporial,f),
                                inherited(noncorporial),
                                inherited(partly_noncorporial),
                                inherited(character),
                                state(powered,t),
                                effect(switch(on),
                                       setprop('floyd~1',
                                               state(powered,t))),
                                effect(switch(off),
                                       setprop('floyd~1',
                                               state(powered,f))),
                                inherited(robot),
                                co([ name('Floyd the robot'),
                                     inherit(autonomous,t),
                                     inherit(robot,t)
                                   ])
                              ],
                              3),
                     props_at('shelf~1',
                              [ has_rel(spatial,on),
                                can_be(move,f),
                                inherited(shelf),
                                co([inherit(shelf,t)])
                              ],
                              2),
                     h(spatial,exit(south),pantry,'<unexplored>',1),
                     h(spatial,in,'shelf~1',pantry,1)
                   ]),
             timestamp(7,20.5),
             did(examine(see,'shovel~1')),
             todo([]),
             [ moved('floyd~1',pantry,in,basement),
               the('floyd~1'),
               person(arrived,arrives),
               from,
               the,
               up
             ],
             [ sense(see,
                     [ you_are(in,basement),
                       exits_are([up]),
                       here_are(['floyd~1','shovel~1'])
                     ])
             ],
             timestamp(6,19.6),
             did(goto(walk,down,L38,M38)),
             goals([]),
             [true,'My shiny precious!'],
             timestamp(5,9.1),
             did(print_('My shiny precious!')),
             [ failure(take('floyd~1'),cant(manipulate(_,self))),
               ['can\'t manipulate yourself like that',ly(D2)]
             ],
             timestamp(4,9),
             did(take('floyd~1')),
             [ sense_props(see,
                           'floyd~1',
                           [ name('Floyd the robot'),
                             can_do(eat,f),
                             inherited(autonomous),
                             emitting(see,light),
                             mass(200),
                             nouns(robot),
                             adjs(metallic),
                             desc('Your classic robot: metallic with glowing red eyes, enthusiastic but not very clever.'),
                             can_be(switch,t),
                             adjs(shiny),
                             can_be(move,t),
                             class_desc([ 'kind is both partly corporial and non-corporial',
                                          'kind is completely non-corporial',
                                          'kind is normally thinkable',
                                          'kind is corporial',
                                          'kind is an Object'
                                        ]),
                             inherited(object),
                             inherited(shiny),
                             has_rel(spatial,held_by),
                             volume(50),
                             can_do(examine,t),
                             can_do(touch,t),
                             can_be(touch,t),
                             can_be(examine(spatial),t),
                             inherited(corporial),
                             inherited(thinkable),
                             inherit(corporial,f),
                             inherited(noncorporial),
                             inherited(partly_noncorporial),
                             inherited(character),
                             state(powered,t),
                             effect(switch(on),
                                    setprop('floyd~1',state(powered,t))),
                             effect(switch(off),
                                    setprop('floyd~1',state(powered,f))),
                             inherited(robot),
                             co([ name('Floyd the robot'),
                                  inherit(autonomous,t),
                                  inherit(robot,t)
                                ])
                           ])
             ],
             [notice_children(see,'floyd~1',held_by,['wrench~1'])],
             timestamp(3,8.9),
             did(examine(see,'floyd~1')),
             [ sense_props(see,
                           'shelf~1',
                           [ has_rel(spatial,on),
                             can_be(move,f),
                             inherited(shelf),
                             co([inherit(shelf,t)])
                           ])
             ],
             [notice_children(see,'shelf~1',on,[])],
             timestamp(2,8),
             did(examine(see,'shelf~1')),
             [ sense(see,
                     [ you_are(in,pantry),
                       exits_are([south,down]),
                       here_are(['shelf~1','floyd~1'])
                     ])
             ],
             timestamp(1,7),
             did(look),
             structure_label(mem('floyd~1')),
             timestamp(0,6.9),
             inst('floyd~1')
           ]),
  h(spatial,in,'floyd~1',basement),
  props(screendoor,
        [ door_to(kitchen),
          door_to(garden),
          state(opened,f),
          can_be(move,f),
          can_be(open,t),
          can_be(close,t),
          nouns(door),
          can_be(touch,t),
          can_be(examine(spatial),t),
          class_desc(['kind is corporial','kind is normally thinkable']),
          inherited(thinkable),
          inherited(corporial),
          inherited(door),
          co([ door_to(kitchen),
               door_to(garden),
               state(opened,f),
               inherit(door,t)
             ])
        ]),
  props(brklamp,
        [ name('definately broken'),
          effect(switch(on),true),
          effect(switch(off),true),
          adjs(dented),
          adjs(broken),
          inherited(broken),
          name('possibly broken lamp'),
          effect(hit,
                 [ print_("Hit brklamp"),
                   setprop(brklamp,inherit(broken,t))
                 ]),
          name('shiny brass lamp'),
          nouns(light),
          nominals(brass),
          adjs(shiny),
          class_desc([ 'kind is an Object',
                       'kind is normally thinkable',
                       'kind is corporial'
                     ]),
          inherited(corporial),
          inherited(shiny),
          can_be(switch,t),
          state(powered,t),
          can_be(touch,t),
          can_be(examine(spatial),t),
          inherited(thinkable),
          can_be(move,t),
          inherited(object),
          emitting(see,light),
          fragile(inherit(broken_lamp,t)),
          inherited(lamp),
          co([ inherit(broken,t),
               name('possibly broken lamp'),
               effect(switch(on),print_("Switch is flipped")),
               effect(hit,
                      [ print_("Hit brklamp"),
                        setprop($self,inherit(broken,t))
                      ]),
               inherit(lamp,t)
             ])
        ]),
  props('bag~1',
        [ oper('bag~1',
               put(spatial,A,in,'bag~1'),
               precond(~(getprop(A,inherit(liquid,t))),
                       ['liquids would spill out']),
               body(move(spatial,A,in,'bag~1'))),
          has_rel(spatial,in),
          inherited(container),
          can_be(touch,t),
          can_be(examine(spatial),t),
          class_desc(['kind is an Object','kind is normally thinkable']),
          inherited(thinkable),
          can_be(move,t),
          inherited(object),
          volume_capacity(10),
          state(dark,t),
          inherited(bag),
          co([inherit(bag,t)])
        ]),
  props(pantry,
        [ can_be(move,f),
          oper(pantry,
               put(spatial,B,in,pantry),
               precond(~(getprop(B,inherit(liquid,t))),
                       ['liquids would spill out']),
               body(move(spatial,B,in,pantry))),
          has_rel(spatial,in),
          inherited(container),
          volume_capacity(10000),
          has_rel(exit(_),t),
          inherited(place),
          nouns(closet),
          nominals(kitchen),
          desc('You\'re in a dark pantry.'),
          state(dark,t),
          co([ inherit(place,t),
               nouns(closet),
               nominals(kitchen),
               desc('You\'re in a dark pantry.'),
               state(dark,t)
             ])
        ]),
  props(living_room,
        [ can_be(move,f),
          oper(living_room,
               put(spatial,C,in,living_room),
               precond(~(getprop(C,inherit(liquid,t))),
                       ['liquids would spill out']),
               body(move(spatial,C,in,living_room))),
          has_rel(spatial,in),
          inherited(container),
          volume_capacity(10000),
          has_rel(exit(_),t),
          inherited(place),
          co([inherit(place,t)])
        ]),
  props(kitchen,
        [ can_be(move,f),
          oper(kitchen,
               put(spatial,D,in,kitchen),
               precond(~(getprop(D,inherit(liquid,t))),
                       ['liquids would spill out']),
               body(move(spatial,D,in,kitchen))),
          has_rel(spatial,in),
          inherited(container),
          volume_capacity(10000),
          has_rel(exit(_),t),
          inherited(place),
          co([inherit(place,t)])
        ]),
  props(garden,
        [ can_be(move,f),
          oper(garden,
               put(spatial,E,in,garden),
               precond(~(getprop(E,inherit(liquid,t))),
                       ['liquids would spill out']),
               body(move(spatial,E,in,garden))),
          has_rel(spatial,in),
          inherited(container),
          volume_capacity(10000),
          has_rel(exit(_),t),
          inherited(place),
          goto(F,G,up,'You lack the ability to fly.'),
          effect(goto(F,G,H,north),getprop(screendoor,state(opened,t))),
          oper(garden,
               goto(F,G,I,north),
               precond(getprop(screendoor,state(opened,t)),
                       ['you must open the door first']),
               body(inherited)),
          cant_goto(F,
                    G,
                    'The fence surrounding the garden is too tall and solid to pass.'),
          co([ inherit(place,t),
               goto(F,G,up,'You lack the ability to fly.'),
               effect(goto(F,G,H,north),
                      getprop(screendoor,state(opened,t))),
               oper($ self,
                    goto(F,G,I,north),
                    precond(getprop(screendoor,state(opened,t)),
                            ['you must open the door first']),
                    body(inherited)),
               cant_goto(F,
                         G,
                         'The fence surrounding the garden is too tall and solid to pass.')
             ])
        ]),
  props(dining_room,
        [ can_be(move,f),
          oper(dining_room,
               put(spatial,J,in,dining_room),
               precond(~(getprop(J,inherit(liquid,t))),
                       ['liquids would spill out']),
               body(move(spatial,J,in,dining_room))),
          has_rel(spatial,in),
          inherited(container),
          volume_capacity(10000),
          has_rel(exit(_),t),
          inherited(place),
          co([inherit(place,t)])
        ]),
  props(basement,
        [ can_be(move,f),
          oper(basement,
               put(spatial,K,in,basement),
               precond(~(getprop(K,inherit(liquid,t))),
                       ['liquids would spill out']),
               body(move(spatial,K,in,basement))),
          has_rel(spatial,in),
          inherited(container),
          volume_capacity(10000),
          has_rel(exit(_),t),
          inherited(place),
          desc('This is a very dark basement.'),
          state(dark,t),
          co([ inherit(place,t),
               desc('This is a very dark basement.'),
               state(dark,t)
             ])
        ]),
  props('coins~1',
        [ adjs(shiny),
          can_be(move,t),
          class_desc([ 'kind is corporial',
                       'kind is normally thinkable',
                       'kind is an Object'
                     ]),
          inherited(object),
          can_be(touch,t),
          can_be(examine(spatial),t),
          inherited(thinkable),
          inherited(corporial),
          inherited(shiny),
          has_rel(quantity,ammount,t),
          inherited(measurable),
          inherited(coins),
          co([inherit(coins,t)])
        ]),
  props('player~1',
        [ name('player~1'),
          inherited(console),
          has_rel(spatial,held_by),
          mass(50),
          volume(50),
          can_do(eat,t),
          can_do(examine,t),
          can_do(touch,t),
          has_sense(see),
          can_be(touch,t),
          can_be(examine(spatial),t),
          class_desc([ 'kind is both partly corporial and non-corporial',
                       'kind is completely non-corporial',
                       'kind is normally thinkable',
                       'kind is corporial'
                     ]),
          inherited(corporial),
          inherited(thinkable),
          inherit(corporial,f),
          inherited(noncorporial),
          inherited(partly_noncorporial),
          inherited(character),
          inherited(player),
          can_be(switch(off),f),
          state(powered,t),
          inherited(humanoid),
          co([name($self),inherit(console,t),inherit(humanoid,t)])
        ]),
  props('floyd~1',
        [ name('Floyd the robot'),
          can_do(eat,f),
          inherited(autonomous),
          emitting(see,light),
          mass(200),
          nouns(robot),
          adjs(metallic),
          desc('Your classic robot: metallic with glowing red eyes, enthusiastic but not very clever.'),
          can_be(switch,t),
          adjs(shiny),
          can_be(move,t),
          class_desc([ 'kind is both partly corporial and non-corporial',
                       'kind is completely non-corporial',
                       'kind is normally thinkable',
                       'kind is corporial',
                       'kind is an Object'
                     ]),
          inherited(object),
          inherited(shiny),
          has_rel(spatial,held_by),
          volume(50),
          can_do(examine,t),
          can_do(touch,t),
          has_sense(see),
          can_be(touch,t),
          can_be(examine(spatial),t),
          inherited(corporial),
          inherited(thinkable),
          inherit(corporial,f),
          inherited(noncorporial),
          inherited(partly_noncorporial),
          inherited(character),
          state(powered,t),
          effect(switch(on),setprop('floyd~1',state(powered,t))),
          effect(switch(off),setprop('floyd~1',state(powered,f))),
          inherited(robot),
          co([ name('Floyd the robot'),
               inherit(autonomous,t),
               inherit(robot,t)
             ])
        ]),
  props('shelf~1',
        [ has_rel(spatial,on),
          can_be(move,f),
          inherited(shelf),
          co([inherit(shelf,t)])
        ]),
  props('rock~1',[inherited(rock),co([inherit(rock,t)])]),
  props('fountain~1',
        [ volume_capacity(150),
          can_be(move,f),
          has_rel(exit(_),t),
          inherited(place),
          oper('fountain~1',
               put(spatial,L,in,'fountain~1'),
               precond(~(getprop(L,inherit(liquid,t))),
                       ['liquids would spill out']),
               body(move(spatial,L,in,'fountain~1'))),
          has_rel(spatial,in),
          inherited(container),
          inherited(fountain),
          co([inherit(fountain,t)])
        ]),
  props('mushroom~1',
        [ name('speckled mushroom'),
          can_be(touch,t),
          can_be(examine(spatial),t),
          class_desc(['kind is an Object','kind is normally thinkable']),
          inherited(thinkable),
          can_be(move,t),
          inherited(object),
          has_rel(quantity,ammount,t),
          inherited(measurable),
          inherited(food),
          nouns([mushroom,fungus,toadstool]),
          adjs([speckled]),
          initial('A speckled mushroom grows out of the sodden earth, on a long stalk.'),
          desc('The mushroom is capped with blotches, and you aren\'t at all sure it\'s not a toadstool.'),
          can_be(eat,t),
          before(eat,(random(100)=<30,die('It was poisoned!');'yuck!')),
          after(take,
                initial ',' 'You pick the mushroom, neatly cleaving its thin stalk.'),
          inherited(mushroom),
          co([inherit(mushroom,t)])
        ]),
  props('shovel~1',[inherited(shovel),co([inherit(shovel,t)])]),
  memories('videocamera~1',
           [ structure_label(mem('videocamera~1')),
             timestamp(0,6.9),
             model([]),
             goals([]),
             todo([look]),
             inst('videocamera~1')
           ]),
  perceptq('videocamera~1',[]),
  props('videocamera~1',
        [ can_be(switch,t),
          effect(switch(on),setprop('videocamera~1',state(powered,t))),
          effect(switch(off),setprop('videocamera~1',state(powered,f))),
          state(powered,t),
          has_sense(see),
          fragile(broken_videocam),
          inherited(videocamera),
          co([inherit(videocamera,t)])
        ]),
  props('table_leg~1',[inherited(table_leg),co([inherit(table_leg,t)])]),
  props('box~1',
        [ oper('box~1',
               put(spatial,M,in,'box~1'),
               precond(~(getprop(M,inherit(liquid,t))),
                       ['liquids would spill out']),
               body(move(spatial,M,in,'box~1'))),
          has_rel(spatial,in),
          inherited(container),
          can_be(touch,t),
          can_be(examine(spatial),t),
          class_desc(['kind is an Object','kind is normally thinkable']),
          inherited(thinkable),
          can_be(move,t),
          inherited(object),
          volume_capacity(15),
          fragile(splinters),
          state(opened,f),
          state(locked,t),
          state(dark,t),
          inherited(box),
          co([inherit(box,t),inherit(box,t)])
        ]),
  props('flour~1',
        [ can_be(eat,t),
          can_be(touch,t),
          can_be(examine(spatial),t),
          class_desc(['kind is an Object','kind is normally thinkable']),
          inherited(thinkable),
          can_be(move,t),
          inherited(object),
          inherited(food),
          has_rel(quantity,ammount,t),
          inherited(measurable),
          inherited(flour),
          co([inherit(flour,t)])
        ]),
  props('bowl~1',
        [ volume_capacity(2),
          fragile(shards),
          state(dirty,t),
          oper('bowl~1',
               put(spatial,N,in,'bowl~1'),
               precond(getprop(N,inherit(corporial,t)),
                       ['non-physical would spill out']),
               body(move(spatial,N,in,'bowl~1'))),
          can_be(touch,t),
          can_be(examine(spatial),t),
          class_desc(['kind is an Object','kind is normally thinkable']),
          inherited(thinkable),
          can_be(move,t),
          inherited(object),
          oper('bowl~1',
               put(spatial,O,in,'bowl~1'),
               precond(~(getprop(O,inherit(liquid,t))),
                       ['liquids would spill out']),
               body(move(spatial,O,in,'bowl~1'))),
          has_rel(spatial,in),
          inherited(container),
          inherited(flask),
          name('porcelain bowl'),
          desc('This is a modest glass cooking bowl with a yellow flower motif glazed into the outside surface.'),
          inherited(bowl),
          co([inherit(bowl,t),inherit(bowl,t)])
        ]),
  props('lamp~1',
        [ name('shiny brass lamp'),
          nouns(light),
          nominals(brass),
          adjs(shiny),
          class_desc([ 'kind is an Object',
                       'kind is normally thinkable',
                       'kind is corporial'
                     ]),
          inherited(corporial),
          inherited(shiny),
          can_be(switch,t),
          state(powered,t),
          can_be(touch,t),
          can_be(examine(spatial),t),
          inherited(thinkable),
          can_be(move,t),
          inherited(object),
          emitting(see,light),
          effect(switch(on),setprop('lamp~1',emitting(see,light))),
          effect(switch(off),delprop('lamp~1',emitting(see,light))),
          fragile(inherit(broken_lamp,t)),
          inherited(lamp),
          co([inherit(lamp,t)])
        ]),
  props('table~1',
        [ has_rel(spatial,on),
          inherited(table),
          co([ inherit(table,t),
               inherit(table,t),
               inherit(table,t),
               inherit(table,t)
             ])
        ]),
  props('plate~1',
        [ oper('plate~1',
               put(spatial,P,in,'plate~1'),
               precond(~(getprop(P,inherit(liquid,t))),
                       ['liquids would spill out']),
               body(move(spatial,P,in,'plate~1'))),
          has_rel(spatial,in),
          inherited(container),
          can_be(touch,t),
          can_be(examine(spatial),t),
          class_desc(['kind is an Object','kind is normally thinkable']),
          inherited(thinkable),
          can_be(move,t),
          inherited(object),
          volume_capacity(2),
          fragile(shards),
          state(dirty,t),
          inherit(flask,f),
          name(plate),
          inherited(plate),
          co([inherit(plate,t)])
        ]),
  props('sink~1',
        [ oper('sink~1',
               put(spatial,Q,in,'sink~1'),
               precond(~(getprop(Q,inherit(liquid,t))),
                       ['liquids would spill out']),
               body(move(spatial,Q,in,'sink~1'))),
          has_rel(spatial,in),
          inherited(container),
          can_be(touch,t),
          can_be(move,f),
          can_be(examine(spatial),t),
          class_desc(['kind is furnature','kind is normally thinkable']),
          inherited(thinkable),
          inherited(furnature),
          volume_capacity(10),
          state(dirty,t),
          inherit(flask,f),
          inherited(sink),
          co([inherit(sink,t),inherit(sink,t)])
        ]),
  props('cup~1',
        [ oper('cup~1',
               put(spatial,R,in,'cup~1'),
               precond(getprop(R,inherit(corporial,t)),
                       ['non-physical would spill out']),
               body(move(spatial,R,in,'cup~1'))),
          can_be(touch,t),
          can_be(examine(spatial),t),
          class_desc(['kind is an Object','kind is normally thinkable']),
          inherited(thinkable),
          can_be(move,t),
          inherited(object),
          oper('cup~1',
               put(spatial,S,in,'cup~1'),
               precond(~(getprop(S,inherit(liquid,t))),
                       ['liquids would spill out']),
               body(move(spatial,S,in,'cup~1'))),
          has_rel(spatial,in),
          inherited(container),
          inherited(flask),
          inherited(cup),
          co([inherit(cup,t)])
        ]),
  props('cabinate~1',
        [ oper('cabinate~1',
               put(spatial,T,in,'cabinate~1'),
               precond(~(getprop(T,inherit(liquid,t))),
                       ['liquids would spill out']),
               body(move(spatial,T,in,'cabinate~1'))),
          has_rel(spatial,in),
          inherited(container),
          can_be(touch,t),
          can_be(move,f),
          can_be(examine(spatial),t),
          class_desc(['kind is furnature','kind is normally thinkable']),
          inherited(thinkable),
          inherited(furnature),
          volume_capacity(10),
          inherited(cabinate),
          co([inherit(cabinate,t),inherit(cabinate,t)])
        ]),
  h(spatial,in,'cup~1','cabinate~1'),
  h(spatial,in,'cabinate~1',kitchen),
  h(spatial,in,'plate~1','sink~1'),
  h(spatial,in,'sink~1',kitchen),
  h(spatial,on,'lamp~1','table~1'),
  h(spatial,in,'table~1',kitchen),
  h(spatial,in,'flour~1','bowl~1'),
  h(spatial,in,'bowl~1','box~1'),
  h(spatial,on,'box~1','table~1'),
  h(spatial,reverse(on),'table~1','table_leg~1'),
  h(spatial,in,'videocamera~1',living_room),
  h(spatial,in,'shovel~1',basement),
  h(spatial,in,'mushroom~1',garden),
  h(spatial,in,'fountain~1',garden),
  h(spatial,in,'rock~1',garden),
  h(spatial,in,'shelf~1',pantry),
  structure_label(istate),
  h(spatial,in,'player~1',kitchen),
  h(spatial,worn_by,'watch~1','player~1'),
  h(spatial,held_by,'bag~1','player~1'),
  h(spatial,in,'coins~1','bag~1'),
  h(spatial,held_by,'wrench~1','floyd~1'),
  h(spatial,exit(south),pantry,kitchen),
  h(spatial,exit(north),kitchen,pantry),
  h(spatial,exit(down),pantry,basement),
  h(spatial,exit(up),basement,pantry),
  h(spatial,exit(south),kitchen,garden),
  h(spatial,exit(north),garden,kitchen),
  h(spatial,exit(east),kitchen,dining_room),
  h(spatial,exit(west),dining_room,kitchen),
  h(spatial,exit(north),dining_room,living_room),
  h(spatial,exit(east),living_room,dining_room),
  h(spatial,exit(south),living_room,kitchen),
  h(spatial,exit(west),kitchen,living_room),
  h(spatial,in,screendoor,kitchen),
  h(spatial,in,screendoor,garden),
  h(spatial,in,brklamp,garden)
]
player~1@spatial> english 2
english 2
% (   ['2']
% ->  [2]
% ).
english(2)
english=2
player~1@spatial>
the floyd arrives from the north
player~1@spatial>
% floyd~1: sense_props(see,'cabinate~1',[oper('cabinate~1',put(spatial,_10730,in,'cabinate~1'),precond(~(getprop(_10730,inherit(liquid,t))),['liquids would spill out']),body(move(spatial,_10730,in,'cabinate~1'))),has_rel(spatial,in),inherited(container),can_be(touch,t),can_be(move,f),can_be(examine(spatial),t),class_desc(['kind is furnature','kind is normally thinkable']),inherited(thinkable),inherited(furnature),volume_capacity(10),inherited(cabinate),co([inherit(cabinate,t),inherit(cabinate,t)])])
statplayer~1@spatial>
% floyd~1: sense_props(see,'sink~1',[oper('sink~1',put(spatial,_11082,in,'sink~1'),precond(~(getprop(_11082,inherit(liquid,t))),['liquids would spill out']),body(move(spatial,_11082,in,'sink~1'))),has_rel(spatial,in),inherited(container),can_be(touch,t),can_be(move,f),can_be(examine(spatial),t),class_desc(['kind is furnature','kind is normally thinkable']),inherited(thinkable),inherited(furnature),volume_capacity(10),state(dirty,t),inherit(flask,f),inherited(sink),co([inherit(sink,t),inherit(sink,t)])])
e
player~1@spatial>
% floyd~1: sense_props(see,'table~1',[has_rel(spatial,on),inherited(table),co([inherit(table,t),inherit(table,t),inherit(table,t),inherit(table,t)])])
player~1@spatial> state
[ memories('player~1',
           [ {|i7|| Todo is <nothing> |},
             [ moved('floyd~1',pantry,in,kitchen),
               {|i7|| the floyd |},
               {|i7|| arrives |},
               from,
               the,
               north
             ],
             model([ {|i7|| 0:42s ago the floyd is in kitchen |},
                     {|i7|| 0:43s ago <unexplored> is west of kitchen |},
                     {|i7|| 0:43s ago <unexplored> is east of kitchen |},
                     {|i7|| 0:43s ago <unexplored> is south of kitchen |},
                     {|i7|| 0:43s ago <unexplored> is north of kitchen |},
                     {|i7|| 0:43s ago the screendoor is in kitchen |},
                     {|i7|| 0:43s ago the player~1 is in kitchen |},
                     {|i7|| 0:43s ago the table is in kitchen |},
                     {|i7|| 0:43s ago the sink is in kitchen |},
                     {|i7|| 0:43s ago the cabinate is in kitchen |}
                   ]),
             {|i7|| timestamp is 2 ( 0:04s ago ) |},
             [ sense(see,
                     [ {|i7|| Player~1 are in the kitchen |},
                       exits_are([north,south,east,west]),
                       here_are([ 'cabinate~1',
                                  'sink~1',
                                  'table~1',
                                  'player~1',
                                  screendoor
                                ])
                     ])
             ],
             {|i7|| timestamp is 1 ( 0:38s ago ) |},
             {|i7|| the player~1 did: look |},
             {|i7|| Structure_label is Mem is player |},
             {|i7|| timestamp is 0 ( 0:38s ago ) |},
             {|i7|| Goals is <nothing> |},
             {|i7|| Inst is player |},
             {|i7|| Name is player |},
             {|i7|| inherits Console |},
             {|i7|| inherits Humanoid |}
           ]),
  perceptq('floyd~1',
           [ [ sense_props(see,
                           'player~1',
                           [ {|i7|| Name is player |},
                             {|i7|| is Console |},
                             {|i7|| Has_rel is held_by |},
                             {|i7|| Mass is 50 |},
                             {|i7|| Volume is 50 |},
                             {|i7|| Able to eat |},
                             {|i7|| Able to examine |},
                             {|i7|| Able to touch |},
                             {|i7|| Can be touched |},
                             {|i7|| Can be examine(spatial)ed |},
                             class_desc([ 'kind is both partly corporial and non-corporial',
                                          'kind is completely non-corporial',
                                          'kind is normally thinkable',
                                          'kind is corporial'
                                        ]),
                             {|i7|| is Corporial |},
                             {|i7|| is Thinkable |},
                             {|i7|| isnt Corporial |},
                             {|i7|| is Noncorporial |},
                             {|i7|| is Partly_noncorporial |},
                             {|i7|| is Character |},
                             {|i7|| is Player |},
                             {|i7|| Can't be switch(off)ed |},
                             {|i7|| is powered |},
                             {|i7|| is Humanoid |},
                             co([ {|i7|| Name is $ is self |},
                                  {|i7|| inherits Console |},
                                  {|i7|| inherits Humanoid |}
                                ])
                           ])
             ],
             [notice_children(see,'player~1',held_by,['watch~1','bag~1'])]
           ]),
  memories('floyd~1',
           [ {|i7|| the player~1 did: examine(see,'player~1') |},
             todo([{|i7|| Examine of see is screendoor |}]),
             [ sense_props(see,
                           'table~1',
                           [ {|i7|| has a surface |},
                             {|i7|| is Table |},
                             co([ {|i7|| inherits Table |},
                                  {|i7|| inherits Table |},
                                  {|i7|| inherits Table |},
                                  {|i7|| inherits Table |}
                                ])
                           ])
             ],
             [notice_children(see,'table~1',on,['lamp~1','box~1'])],
             model([ {|i7|| 0:33s ago the box is on table |},
                     {|i7|| 0:33s ago the lamp is on table |},
                     props_at('table~1',
                              [ {|i7|| has a surface |},
                                {|i7|| is Table |},
                                co([ {|i7|| inherits Table |},
                                     {|i7|| inherits Table |},
                                     {|i7|| inherits Table |},
                                     {|i7|| inherits Table |}
                                   ])
                              ],
                              12),
                     {|i7|| 0:34s ago the plate is in sink |},
                     props_at('sink~1',
                              [ oper('sink~1',
                                     put(spatial,A,in,'sink~1'),
                                     precond({|i7|| ( logically not ( Getprop of A is inherits Liquid )) |},
                                             ['liquids would spill out']),
                                     body(move(spatial,A,in,'sink~1'))),
                                {|i7|| has an interior |},
                                {|i7|| is Container |},
                                {|i7|| Can be touched |},
                                {|i7|| Can't be moved |},
                                {|i7|| Can be examine(spatial)ed |},
                                class_desc([ 'kind is furnature',
                                             'kind is normally thinkable'
                                           ]),
                                {|i7|| is Thinkable |},
                                {|i7|| is Furnature |},
                                {|i7|| Volume_capacity is 10 |},
                                {|i7|| is dirty |},
                                {|i7|| isnt Flask |},
                                {|i7|| is Sink |},
                                co([ {|i7|| inherits Sink |},
                                     {|i7|| inherits Sink |}
                                   ])
                              ],
                              11),
                     {|i7|| 0:35s ago the cup is in cabinate |},
                     props_at('cabinate~1',
                              [ oper('cabinate~1',
                                     put(spatial,B,in,'cabinate~1'),
                                     precond({|i7|| ( logically not ( Getprop of B is inherits Liquid )) |},
                                             ['liquids would spill out']),
                                     body(move(spatial,B,in,'cabinate~1'))),
                                {|i7|| has an interior |},
                                {|i7|| is Container |},
                                {|i7|| Can be touched |},
                                {|i7|| Can't be moved |},
                                {|i7|| Can be examine(spatial)ed |},
                                class_desc([ 'kind is furnature',
                                             'kind is normally thinkable'
                                           ]),
                                {|i7|| is Thinkable |},
                                {|i7|| is Furnature |},
                                {|i7|| Volume_capacity is 10 |},
                                {|i7|| is Cabinate |},
                                co([ {|i7|| inherits Cabinate |},
                                     {|i7|| inherits Cabinate |}
                                   ])
                              ],
                              10),
                     {|i7|| 0:36s ago <unexplored> is west of kitchen |},
                     {|i7|| 0:36s ago <unexplored> is east of kitchen |},
                     {|i7|| 0:36s ago <unexplored> is south of kitchen |},
                     {|i7|| 0:36s ago <unexplored> is north of kitchen |},
                     {|i7|| 0:36s ago the screendoor is in kitchen |},
                     {|i7|| 0:36s ago the player~1 is in kitchen |},
                     {|i7|| 0:36s ago the table is in kitchen |},
                     {|i7|| 0:36s ago the sink is in kitchen |},
                     {|i7|| 0:36s ago the cabinate is in kitchen |},
                     {|i7|| 0:36s ago the floyd is in kitchen |},
                     {|i7|| 0:36s ago kitchen is south of pantry |},
                     {|i7|| 0:37s ago basement is down of pantry |},
                     {|i7|| 0:37s ago the shelf is in pantry |},
                     {|i7|| 0:37s ago pantry is up of basement |},
                     props_at('shovel~1',
                              [ {|i7|| is Shovel |},
                                co([{|i7|| inherits Shovel |}])
                              ],
                              7),
                     {|i7|| 0:39s ago the shovel is in basement |},
                     {|i7|| 0:42s ago the wrench is held_by floyd |},
                     props_at('floyd~1',
                              [ {|i7|| Name is "Floyd the robot"  |},
                                {|i7|| Unable to eat |},
                                {|i7|| is Autonomous |},
                                {|i7|| Emitting of see is light |},
                                {|i7|| Mass is 200 |},
                                {|i7|| Robot |},
                                {|i7|| Metallic |},
                                desc('Your classic robot: metallic with glowing red eyes, enthusiastic but not very clever.'),
                                {|i7|| Can be switched |},
                                {|i7|| Shiny |},
                                {|i7|| Can be moved |},
                                class_desc([ 'kind is both partly corporial and non-corporial',
                                             'kind is completely non-corporial',
                                             'kind is normally thinkable',
                                             'kind is corporial',
                                             'kind is an Object'
                                           ]),
                                {|i7|| is Object |},
                                {|i7|| is Shiny |},
                                {|i7|| Has_rel is held_by |},
                                {|i7|| Volume is 50 |},
                                {|i7|| Able to examine |},
                                {|i7|| Able to touch |},
                                {|i7|| Can be touched |},
                                {|i7|| Can be examine(spatial)ed |},
                                {|i7|| is Corporial |},
                                {|i7|| is Thinkable |},
                                {|i7|| isnt Corporial |},
                                {|i7|| is Noncorporial |},
                                {|i7|| is Partly_noncorporial |},
                                {|i7|| is Character |},
                                {|i7|| is powered |},
                                {|i7|| Effect of switch(on) is Setprop of floyd is is powered |},
                                {|i7|| Effect of switch(off) is Setprop of floyd is is not powered |},
                                {|i7|| is Robot |},
                                co([ {|i7|| Name is "Floyd the robot"  |},
                                     {|i7|| inherits Autonomous |},
                                     {|i7|| inherits Robot |}
                                   ])
                              ],
                              3),
                     props_at('shelf~1',
                              [ {|i7|| has a surface |},
                                {|i7|| Can't be moved |},
                                {|i7|| is Shelf |},
                                co([{|i7|| inherits Shelf |}])
                              ],
                              2)
                   ]),
             {|i7|| timestamp is 12 ( 0:01s ago ) |},
             {|i7|| the player~1 did: examine(see,'table~1') |},
             [ sense_props(see,
                           'sink~1',
                           [ oper('sink~1',
                                  put(spatial,A,in,'sink~1'),
                                  precond({|i7|| ( logically not ( Getprop of A is inherits Liquid )) |},
                                          ['liquids would spill out']),
                                  body(move(spatial,A,in,'sink~1'))),
                             {|i7|| has an interior |},
                             {|i7|| is Container |},
                             {|i7|| Can be touched |},
                             {|i7|| Can't be moved |},
                             {|i7|| Can be examine(spatial)ed |},
                             class_desc([ 'kind is furnature',
                                          'kind is normally thinkable'
                                        ]),
                             {|i7|| is Thinkable |},
                             {|i7|| is Furnature |},
                             {|i7|| Volume_capacity is 10 |},
                             {|i7|| is dirty |},
                             {|i7|| isnt Flask |},
                             {|i7|| is Sink |},
                             co([ {|i7|| inherits Sink |},
                                  {|i7|| inherits Sink |}
                                ])
                           ])
             ],
             [notice_children(see,'sink~1',in,['plate~1'])],
             {|i7|| timestamp is 11 ( 0:02s ago ) |},
             {|i7|| the player~1 did: examine(see,'sink~1') |},
             [ sense_props(see,
                           'cabinate~1',
                           [ oper('cabinate~1',
                                  put(spatial,B,in,'cabinate~1'),
                                  precond({|i7|| ( logically not ( Getprop of B is inherits Liquid )) |},
                                          ['liquids would spill out']),
                                  body(move(spatial,B,in,'cabinate~1'))),
                             {|i7|| has an interior |},
                             {|i7|| is Container |},
                             {|i7|| Can be touched |},
                             {|i7|| Can't be moved |},
                             {|i7|| Can be examine(spatial)ed |},
                             class_desc([ 'kind is furnature',
                                          'kind is normally thinkable'
                                        ]),
                             {|i7|| is Thinkable |},
                             {|i7|| is Furnature |},
                             {|i7|| Volume_capacity is 10 |},
                             {|i7|| is Cabinate |},
                             co([ {|i7|| inherits Cabinate |},
                                  {|i7|| inherits Cabinate |}
                                ])
                           ])
             ],
             [notice_children(see,'cabinate~1',in,['cup~1'])],
             {|i7|| timestamp is 10 ( 0:03s ago ) |},
             {|i7|| the player~1 did: examine(see,'cabinate~1') |},
             [ moved('floyd~1',pantry,in,kitchen),
               {|i7|| the floyd |},
               {|i7|| arrives |},
               from,
               the,
               north
             ],
             [ sense(see,
                     [ {|i7|| Player~1 are in the kitchen |},
                       exits_are([north,south,east,west]),
                       here_are([ 'floyd~1',
                                  'cabinate~1',
                                  'sink~1',
                                  'table~1',
                                  'player~1',
                                  screendoor
                                ])
                     ])
             ],
             {|i7|| timestamp is 9 ( 0:04s ago ) |},
             {|i7|| the player~1 did: goto(walk,south,L38,M38) |},
             {|i7|| Goals is <nothing> |},
             [ moved('floyd~1',basement,in,pantry),
               {|i7|| the floyd |},
               {|i7|| arrives |},
               from,
               the,
               down
             ],
             [ sense(see,
                     [ {|i7|| Player~1 are in the pantry |},
                       exits_are([south,down]),
                       here_are(['floyd~1','shelf~1'])
                     ])
             ],
             {|i7|| timestamp is 8 ( 0:14s ago ) |},
             {|i7|| the player~1 did: goto(walk,up,L38,M38) |},
             [ sense_props(see,
                           'shovel~1',
                           [ {|i7|| is Shovel |},
                             co([{|i7|| inherits Shovel |}])
                           ])
             ],
             [{|i7||  |}],
             {|i7|| timestamp is 7 ( 0:24s ago ) |},
             {|i7|| the player~1 did: examine(see,'shovel~1') |},
             [ moved('floyd~1',pantry,in,basement),
               {|i7|| the floyd |},
               {|i7|| arrives |},
               from,
               the,
               up
             ],
             [ sense(see,
                     [ {|i7|| Player~1 are in the basement |},
                       exits_are([up]),
                       here_are(['floyd~1','shovel~1'])
                     ])
             ],
             {|i7|| timestamp is 6 ( 0:25s ago ) |},
             {|i7|| the player~1 did: goto(walk,down,L38,M38) |},
             [true,'My shiny precious!'],
             {|i7|| timestamp is 5 ( 0:36s ago ) |},
             {|i7|| the player~1 did: print_('My shiny precious!') |},
             [ {|i7|| Failure of take(floyd~1) is can't manipulate yourself like that _ly |},
               ['can\'t manipulate yourself like that',{|i7|| D2ly |}]
             ],
             {|i7|| timestamp is 4 ( 0:36s ago ) |},
             {|i7|| the player~1 did: take('floyd~1') |},
             [ sense_props(see,
                           'floyd~1',
                           [ {|i7|| Name is "Floyd the robot"  |},
                             {|i7|| Unable to eat |},
                             {|i7|| is Autonomous |},
                             {|i7|| Emitting of see is light |},
                             {|i7|| Mass is 200 |},
                             {|i7|| Robot |},
                             {|i7|| Metallic |},
                             desc('Your classic robot: metallic with glowing red eyes, enthusiastic but not very clever.'),
                             {|i7|| Can be switched |},
                             {|i7|| Shiny |},
                             {|i7|| Can be moved |},
                             class_desc([ 'kind is both partly corporial and non-corporial',
                                          'kind is completely non-corporial',
                                          'kind is normally thinkable',
                                          'kind is corporial',
                                          'kind is an Object'
                                        ]),
                             {|i7|| is Object |},
                             {|i7|| is Shiny |},
                             {|i7|| Has_rel is held_by |},
                             {|i7|| Volume is 50 |},
                             {|i7|| Able to examine |},
                             {|i7|| Able to touch |},
                             {|i7|| Can be touched |},
                             {|i7|| Can be examine(spatial)ed |},
                             {|i7|| is Corporial |},
                             {|i7|| is Thinkable |},
                             {|i7|| isnt Corporial |},
                             {|i7|| is Noncorporial |},
                             {|i7|| is Partly_noncorporial |},
                             {|i7|| is Character |},
                             {|i7|| is powered |},
                             {|i7|| Effect of switch(on) is Setprop of floyd is is powered |},
                             {|i7|| Effect of switch(off) is Setprop of floyd is is not powered |},
                             {|i7|| is Robot |},
                             co([ {|i7|| Name is "Floyd the robot"  |},
                                  {|i7|| inherits Autonomous |},
                                  {|i7|| inherits Robot |}
                                ])
                           ])
             ],
             [notice_children(see,'floyd~1',held_by,['wrench~1'])],
             {|i7|| timestamp is 3 ( 0:36s ago ) |},
             {|i7|| the player~1 did: examine(see,'floyd~1') |},
             [ sense_props(see,
                           'shelf~1',
                           [ {|i7|| has a surface |},
                             {|i7|| Can't be moved |},
                             {|i7|| is Shelf |},
                             co([{|i7|| inherits Shelf |}])
                           ])
             ],
             [{|i7||  |}],
             {|i7|| timestamp is 2 ( 0:37s ago ) |},
             {|i7|| the player~1 did: examine(see,'shelf~1') |},
             [ sense(see,
                     [ {|i7|| Player~1 are in the pantry |},
                       exits_are([south,down]),
                       here_are(['shelf~1','floyd~1'])
                     ])
             ],
             {|i7|| timestamp is 1 ( 0:38s ago ) |},
             {|i7|| the player~1 did: look |},
             {|i7|| Structure_label is Mem is floyd |},
             {|i7|| timestamp is 0 ( 0:38s ago ) |},
             {|i7|| Inst is floyd |}
           ]),
  perceptq('player~1',[]),
  {|i7|| the floyd is in kitchen |},
  props(screendoor,
        [ {|i7|| Door_to is kitchen |},
          {|i7|| Door_to is garden |},
          {|i7|| is not opened |},
          {|i7|| Can't be moved |},
          {|i7|| Can be opened |},
          {|i7|| Can be closeed |},
          {|i7|| Door |},
          {|i7|| Can be touched |},
          {|i7|| Can be examine(spatial)ed |},
          class_desc(['kind is corporial','kind is normally thinkable']),
          {|i7|| is Thinkable |},
          {|i7|| is Corporial |},
          {|i7|| is Door |},
          co([ {|i7|| Door_to is kitchen |},
               {|i7|| Door_to is garden |},
               {|i7|| is not opened |},
               {|i7|| inherits Door |}
             ])
        ]),
  props(brklamp,
        [ {|i7|| Name is "definately broken"  |},
          {|i7|| Effect of switch(on) is true |},
          {|i7|| Effect of switch(off) is true |},
          {|i7|| Dented |},
          {|i7|| Broken |},
          {|i7|| is Broken |},
          {|i7|| Name is "possibly broken lamp"  |},
          effect(hit,
                 [ {|i7|| Print_ is "Hit brklamp"  |},
                   {|i7|| Setprop of brklamp is inherits Broken |}
                 ]),
          {|i7|| Name is "shiny brass lamp"  |},
          {|i7|| Light |},
          {|i7|| Nominals is brass |},
          {|i7|| Shiny |},
          class_desc([ 'kind is an Object',
                       'kind is normally thinkable',
                       'kind is corporial'
                     ]),
          {|i7|| is Corporial |},
          {|i7|| is Shiny |},
          {|i7|| Can be switched |},
          {|i7|| is powered |},
          {|i7|| Can be touched |},
          {|i7|| Can be examine(spatial)ed |},
          {|i7|| is Thinkable |},
          {|i7|| Can be moved |},
          {|i7|| is Object |},
          {|i7|| Emitting of see is light |},
          {|i7|| looks fragile |},
          {|i7|| is Lamp |},
          co([ {|i7|| inherits Broken |},
               {|i7|| Name is "possibly broken lamp"  |},
               {|i7|| Effect of switch(on) is Print_ is "Switch is flipped"  |},
               effect(hit,
                      [ {|i7|| Print_ is "Hit brklamp"  |},
                        {|i7|| Setprop of $self is inherits Broken |}
                      ]),
               {|i7|| inherits Lamp |}
             ])
        ]),
  props('bag~1',
        [ oper('bag~1',
               put(spatial,C,in,'bag~1'),
               precond({|i7|| ( logically not ( Getprop of C is inherits Liquid )) |},
                       ['liquids would spill out']),
               body(move(spatial,C,in,'bag~1'))),
          {|i7|| has an interior |},
          {|i7|| is Container |},
          {|i7|| Can be touched |},
          {|i7|| Can be examine(spatial)ed |},
          class_desc(['kind is an Object','kind is normally thinkable']),
          {|i7|| is Thinkable |},
          {|i7|| Can be moved |},
          {|i7|| is Object |},
          {|i7|| Volume_capacity is 10 |},
          {|i7|| It's too dark to seely! |},
          {|i7|| is Bag |},
          co([{|i7|| inherits Bag |}])
        ]),
  props(pantry,
        [ {|i7|| Can't be moved |},
          oper(pantry,
               put(spatial,D,in,pantry),
               precond({|i7|| ( logically not ( Getprop of D is inherits Liquid )) |},
                       ['liquids would spill out']),
               body(move(spatial,D,in,pantry))),
          {|i7|| has an interior |},
          {|i7|| is Container |},
          {|i7|| Volume_capacity is 10000 |},
          {|i7|| has exits |},
          {|i7|| is Place |},
          {|i7|| Closet |},
          {|i7|| Nominals is kitchen |},
          desc('You\'re in a dark pantry.'),
          {|i7|| It's too dark to seely! |},
          co([ {|i7|| inherits Place |},
               {|i7|| Closet |},
               {|i7|| Nominals is kitchen |},
               desc('You\'re in a dark pantry.'),
               {|i7|| It's too dark to seely! |}
             ])
        ]),
  props(living_room,
        [ {|i7|| Can't be moved |},
          oper(living_room,
               put(spatial,E,in,living_room),
               precond({|i7|| ( logically not ( Getprop of E is inherits Liquid )) |},
                       ['liquids would spill out']),
               body(move(spatial,E,in,living_room))),
          {|i7|| has an interior |},
          {|i7|| is Container |},
          {|i7|| Volume_capacity is 10000 |},
          {|i7|| has exits |},
          {|i7|| is Place |},
          co([{|i7|| inherits Place |}])
        ]),
  props(kitchen,
        [ {|i7|| Can't be moved |},
          oper(kitchen,
               put(spatial,F,in,kitchen),
               precond({|i7|| ( logically not ( Getprop of F is inherits Liquid )) |},
                       ['liquids would spill out']),
               body(move(spatial,F,in,kitchen))),
          {|i7|| has an interior |},
          {|i7|| is Container |},
          {|i7|| Volume_capacity is 10000 |},
          {|i7|| has exits |},
          {|i7|| is Place |},
          co([{|i7|| inherits Place |}])
        ]),
  props(garden,
        [ {|i7|| Can't be moved |},
          oper(garden,
               put(spatial,G,in,garden),
               precond({|i7|| ( logically not ( Getprop of G is inherits Liquid )) |},
                       ['liquids would spill out']),
               body(move(spatial,G,in,garden))),
          {|i7|| has an interior |},
          {|i7|| is Container |},
          {|i7|| Volume_capacity is 10000 |},
          {|i7|| has exits |},
          {|i7|| is Place |},
          goto(H,I,up,'You lack the ability to fly.'),
          {|i7|| Effect of goto(H,I,J,north) is Getprop of screendoor is is opened |},
          oper(garden,
               goto(H,I,K,north),
               precond({|i7|| Getprop of screendoor is is opened |},
                       ['you must open the door first']),
               {|i7|| Body is inherited |}),
          cant_goto(H,
                    I,
                    'The fence surrounding the garden is too tall and solid to pass.'),
          co([ {|i7|| inherits Place |},
               goto(H,I,up,'You lack the ability to fly.'),
               {|i7|| Effect of goto(H,I,J,north) is Getprop of screendoor is is opened |},
               oper({|i7|| $ is self |},
                    goto(H,I,K,north),
                    precond({|i7|| Getprop of screendoor is is opened |},
                            ['you must open the door first']),
                    {|i7|| Body is inherited |}),
               cant_goto(H,
                         I,
                         'The fence surrounding the garden is too tall and solid to pass.')
             ])
        ]),
  props(dining_room,
        [ {|i7|| Can't be moved |},
          oper(dining_room,
               put(spatial,L,in,dining_room),
               precond({|i7|| ( logically not ( Getprop of L is inherits Liquid )) |},
                       ['liquids would spill out']),
               body(move(spatial,L,in,dining_room))),
          {|i7|| has an interior |},
          {|i7|| is Container |},
          {|i7|| Volume_capacity is 10000 |},
          {|i7|| has exits |},
          {|i7|| is Place |},
          co([{|i7|| inherits Place |}])
        ]),
  props(basement,
        [ {|i7|| Can't be moved |},
          oper(basement,
               put(spatial,M,in,basement),
               precond({|i7|| ( logically not ( Getprop of M is inherits Liquid )) |},
                       ['liquids would spill out']),
               body(move(spatial,M,in,basement))),
          {|i7|| has an interior |},
          {|i7|| is Container |},
          {|i7|| Volume_capacity is 10000 |},
          {|i7|| has exits |},
          {|i7|| is Place |},
          desc('This is a very dark basement.'),
          {|i7|| It's too dark to seely! |},
          co([ {|i7|| inherits Place |},
               desc('This is a very dark basement.'),
               {|i7|| It's too dark to seely! |}
             ])
        ]),
  props('coins~1',
        [ {|i7|| Shiny |},
          {|i7|| Can be moved |},
          class_desc([ 'kind is corporial',
                       'kind is normally thinkable',
                       'kind is an Object'
                     ]),
          {|i7|| is Object |},
          {|i7|| Can be touched |},
          {|i7|| Can be examine(spatial)ed |},
          {|i7|| is Thinkable |},
          {|i7|| is Corporial |},
          {|i7|| is Shiny |},
          {|i7|| t that has a, quantity ammount |},
          {|i7|| is Measurable |},
          {|i7|| is Coins |},
          co([{|i7|| inherits Coins |}])
        ]),
  props('player~1',
        [ {|i7|| Name is player |},
          {|i7|| is Console |},
          {|i7|| Has_rel is held_by |},
          {|i7|| Mass is 50 |},
          {|i7|| Volume is 50 |},
          {|i7|| Able to eat |},
          {|i7|| Able to examine |},
          {|i7|| Able to touch |},
          {|i7|| Has_sense is see |},
          {|i7|| Can be touched |},
          {|i7|| Can be examine(spatial)ed |},
          class_desc([ 'kind is both partly corporial and non-corporial',
                       'kind is completely non-corporial',
                       'kind is normally thinkable',
                       'kind is corporial'
                     ]),
          {|i7|| is Corporial |},
          {|i7|| is Thinkable |},
          {|i7|| isnt Corporial |},
          {|i7|| is Noncorporial |},
          {|i7|| is Partly_noncorporial |},
          {|i7|| is Character |},
          {|i7|| is Player |},
          {|i7|| Can't be switch(off)ed |},
          {|i7|| is powered |},
          {|i7|| is Humanoid |},
          co([ {|i7|| Name is $ is self |},
               {|i7|| inherits Console |},
               {|i7|| inherits Humanoid |}
             ])
        ]),
  props('floyd~1',
        [ {|i7|| Name is "Floyd the robot"  |},
          {|i7|| Unable to eat |},
          {|i7|| is Autonomous |},
          {|i7|| Emitting of see is light |},
          {|i7|| Mass is 200 |},
          {|i7|| Robot |},
          {|i7|| Metallic |},
          desc('Your classic robot: metallic with glowing red eyes, enthusiastic but not very clever.'),
          {|i7|| Can be switched |},
          {|i7|| Shiny |},
          {|i7|| Can be moved |},
          class_desc([ 'kind is both partly corporial and non-corporial',
                       'kind is completely non-corporial',
                       'kind is normally thinkable',
                       'kind is corporial',
                       'kind is an Object'
                     ]),
          {|i7|| is Object |},
          {|i7|| is Shiny |},
          {|i7|| Has_rel is held_by |},
          {|i7|| Volume is 50 |},
          {|i7|| Able to examine |},
          {|i7|| Able to touch |},
          {|i7|| Has_sense is see |},
          {|i7|| Can be touched |},
          {|i7|| Can be examine(spatial)ed |},
          {|i7|| is Corporial |},
          {|i7|| is Thinkable |},
          {|i7|| isnt Corporial |},
          {|i7|| is Noncorporial |},
          {|i7|| is Partly_noncorporial |},
          {|i7|| is Character |},
          {|i7|| is powered |},
          {|i7|| Effect of switch(on) is Setprop of floyd is is powered |},
          {|i7|| Effect of switch(off) is Setprop of floyd is is not powered |},
          {|i7|| is Robot |},
          co([ {|i7|| Name is "Floyd the robot"  |},
               {|i7|| inherits Autonomous |},
               {|i7|| inherits Robot |}
             ])
        ]),
  props('shelf~1',
        [ {|i7|| has a surface |},
          {|i7|| Can't be moved |},
          {|i7|| is Shelf |},
          co([{|i7|| inherits Shelf |}])
        ]),
  props('rock~1',[{|i7|| is Rock |},co([{|i7|| inherits Rock |}])]),
  props('fountain~1',
        [ {|i7|| Volume_capacity is 150 |},
          {|i7|| Can't be moved |},
          {|i7|| has exits |},
          {|i7|| is Place |},
          oper('fountain~1',
               put(spatial,N,in,'fountain~1'),
               precond({|i7|| ( logically not ( Getprop of N is inherits Liquid )) |},
                       ['liquids would spill out']),
               body(move(spatial,N,in,'fountain~1'))),
          {|i7|| has an interior |},
          {|i7|| is Container |},
          {|i7|| is Fountain |},
          co([{|i7|| inherits Fountain |}])
        ]),
  props('mushroom~1',
        [ {|i7|| Name is "speckled mushroom"  |},
          {|i7|| Can be touched |},
          {|i7|| Can be examine(spatial)ed |},
          class_desc(['kind is an Object','kind is normally thinkable']),
          {|i7|| is Thinkable |},
          {|i7|| Can be moved |},
          {|i7|| is Object |},
          {|i7|| t that has a, quantity ammount |},
          {|i7|| is Measurable |},
          {|i7|| is Food |},
          {|i7|| Mushroom fungus toadstool |},
          {|i7|| Speckled |},
          initial('A speckled mushroom grows out of the sodden earth, on a long stalk.'),
          desc('The mushroom is capped with blotches, and you aren\'t at all sure it\'s not a toadstool.'),
          {|i7|| looks tasty ! |},
          {|i7|| Before of eat is; of random(100)=<30,die(It was poisoned!) is "yuck!"  |},
          after(take,
                initial ',' 'You pick the mushroom, neatly cleaving its thin stalk.'),
          {|i7|| is Mushroom |},
          co([{|i7|| inherits Mushroom |}])
        ]),
  props('shovel~1',[{|i7|| is Shovel |},co([{|i7|| inherits Shovel |}])]),
  memories('videocamera~1',
           [ {|i7|| Structure_label is Mem is videocamera |},
             {|i7|| timestamp is 0 ( 0:38s ago ) |},
             {|i7|| Model is <nothing> |},
             {|i7|| Goals is <nothing> |},
             todo([look]),
             {|i7|| Inst is videocamera |}
           ]),
  perceptq('videocamera~1',[]),
  props('videocamera~1',
        [ {|i7|| Can be switched |},
          {|i7|| Effect of switch(on) is Setprop of videocamera is is powered |},
          {|i7|| Effect of switch(off) is Setprop of videocamera is is not powered |},
          {|i7|| is powered |},
          {|i7|| Has_sense is see |},
          {|i7|| looks fragile |},
          {|i7|| is Videocamera |},
          co([{|i7|| inherits Videocamera |}])
        ]),
  props('table_leg~1',
        [{|i7|| is Table_leg |},co([{|i7|| inherits Table_leg |}])]),
  props('box~1',
        [ oper('box~1',
               put(spatial,O,in,'box~1'),
               precond({|i7|| ( logically not ( Getprop of O is inherits Liquid )) |},
                       ['liquids would spill out']),
               body(move(spatial,O,in,'box~1'))),
          {|i7|| has an interior |},
          {|i7|| is Container |},
          {|i7|| Can be touched |},
          {|i7|| Can be examine(spatial)ed |},
          class_desc(['kind is an Object','kind is normally thinkable']),
          {|i7|| is Thinkable |},
          {|i7|| Can be moved |},
          {|i7|| is Object |},
          {|i7|| Volume_capacity is 15 |},
          {|i7|| looks fragile |},
          {|i7|| is not opened |},
          {|i7|| is locked |},
          {|i7|| It's too dark to seely! |},
          {|i7|| is Box |},
          co([{|i7|| inherits Box |},{|i7|| inherits Box |}])
        ]),
  props('flour~1',
        [ {|i7|| looks tasty ! |},
          {|i7|| Can be touched |},
          {|i7|| Can be examine(spatial)ed |},
          class_desc(['kind is an Object','kind is normally thinkable']),
          {|i7|| is Thinkable |},
          {|i7|| Can be moved |},
          {|i7|| is Object |},
          {|i7|| is Food |},
          {|i7|| t that has a, quantity ammount |},
          {|i7|| is Measurable |},
          {|i7|| is Flour |},
          co([{|i7|| inherits Flour |}])
        ]),
  props('bowl~1',
        [ {|i7|| Volume_capacity is 2 |},
          {|i7|| looks fragile |},
          {|i7|| is dirty |},
          oper('bowl~1',
               put(spatial,P,in,'bowl~1'),
               precond({|i7|| Getprop of P is inherits Corporial |},
                       ['non-physical would spill out']),
               body(move(spatial,P,in,'bowl~1'))),
          {|i7|| Can be touched |},
          {|i7|| Can be examine(spatial)ed |},
          class_desc(['kind is an Object','kind is normally thinkable']),
          {|i7|| is Thinkable |},
          {|i7|| Can be moved |},
          {|i7|| is Object |},
          oper('bowl~1',
               put(spatial,Q,in,'bowl~1'),
               precond({|i7|| ( logically not ( Getprop of Q is inherits Liquid )) |},
                       ['liquids would spill out']),
               body(move(spatial,Q,in,'bowl~1'))),
          {|i7|| has an interior |},
          {|i7|| is Container |},
          {|i7|| is Flask |},
          {|i7|| Name is "porcelain bowl"  |},
          desc('This is a modest glass cooking bowl with a yellow flower motif glazed into the outside surface.'),
          {|i7|| is Bowl |},
          co([{|i7|| inherits Bowl |},{|i7|| inherits Bowl |}])
        ]),
  props('lamp~1',
        [ {|i7|| Name is "shiny brass lamp"  |},
          {|i7|| Light |},
          {|i7|| Nominals is brass |},
          {|i7|| Shiny |},
          class_desc([ 'kind is an Object',
                       'kind is normally thinkable',
                       'kind is corporial'
                     ]),
          {|i7|| is Corporial |},
          {|i7|| is Shiny |},
          {|i7|| Can be switched |},
          {|i7|| is powered |},
          {|i7|| Can be touched |},
          {|i7|| Can be examine(spatial)ed |},
          {|i7|| is Thinkable |},
          {|i7|| Can be moved |},
          {|i7|| is Object |},
          {|i7|| Emitting of see is light |},
          {|i7|| Effect of switch(on) is Setprop of lamp is Emitting of see is light |},
          {|i7|| Effect of switch(off) is Delprop of lamp is Emitting of see is light |},
          {|i7|| looks fragile |},
          {|i7|| is Lamp |},
          co([{|i7|| inherits Lamp |}])
        ]),
  props('table~1',
        [ {|i7|| has a surface |},
          {|i7|| is Table |},
          co([ {|i7|| inherits Table |},
               {|i7|| inherits Table |},
               {|i7|| inherits Table |},
               {|i7|| inherits Table |}
             ])
        ]),
  props('plate~1',
        [ oper('plate~1',
               put(spatial,R,in,'plate~1'),
               precond({|i7|| ( logically not ( Getprop of R is inherits Liquid )) |},
                       ['liquids would spill out']),
               body(move(spatial,R,in,'plate~1'))),
          {|i7|| has an interior |},
          {|i7|| is Container |},
          {|i7|| Can be touched |},
          {|i7|| Can be examine(spatial)ed |},
          class_desc(['kind is an Object','kind is normally thinkable']),
          {|i7|| is Thinkable |},
          {|i7|| Can be moved |},
          {|i7|| is Object |},
          {|i7|| Volume_capacity is 2 |},
          {|i7|| looks fragile |},
          {|i7|| is dirty |},
          {|i7|| isnt Flask |},
          {|i7|| Name is plate |},
          {|i7|| is Plate |},
          co([{|i7|| inherits Plate |}])
        ]),
  props('sink~1',
        [ oper('sink~1',
               put(spatial,S,in,'sink~1'),
               precond({|i7|| ( logically not ( Getprop of S is inherits Liquid )) |},
                       ['liquids would spill out']),
               body(move(spatial,S,in,'sink~1'))),
          {|i7|| has an interior |},
          {|i7|| is Container |},
          {|i7|| Can be touched |},
          {|i7|| Can't be moved |},
          {|i7|| Can be examine(spatial)ed |},
          class_desc(['kind is furnature','kind is normally thinkable']),
          {|i7|| is Thinkable |},
          {|i7|| is Furnature |},
          {|i7|| Volume_capacity is 10 |},
          {|i7|| is dirty |},
          {|i7|| isnt Flask |},
          {|i7|| is Sink |},
          co([{|i7|| inherits Sink |},{|i7|| inherits Sink |}])
        ]),
  props('cup~1',
        [ oper('cup~1',
               put(spatial,T,in,'cup~1'),
               precond({|i7|| Getprop of T is inherits Corporial |},
                       ['non-physical would spill out']),
               body(move(spatial,T,in,'cup~1'))),
          {|i7|| Can be touched |},
          {|i7|| Can be examine(spatial)ed |},
          class_desc(['kind is an Object','kind is normally thinkable']),
          {|i7|| is Thinkable |},
          {|i7|| Can be moved |},
          {|i7|| is Object |},
          oper('cup~1',
               put(spatial,U,in,'cup~1'),
               precond({|i7|| ( logically not ( Getprop of U is inherits Liquid )) |},
                       ['liquids would spill out']),
               body(move(spatial,U,in,'cup~1'))),
          {|i7|| has an interior |},
          {|i7|| is Container |},
          {|i7|| is Flask |},
          {|i7|| is Cup |},
          co([{|i7|| inherits Cup |}])
        ]),
  props('cabinate~1',
        [ oper('cabinate~1',
               put(spatial,V,in,'cabinate~1'),
               precond({|i7|| ( logically not ( Getprop of V is inherits Liquid )) |},
                       ['liquids would spill out']),
               body(move(spatial,V,in,'cabinate~1'))),
          {|i7|| has an interior |},
          {|i7|| is Container |},
          {|i7|| Can be touched |},
          {|i7|| Can't be moved |},
          {|i7|| Can be examine(spatial)ed |},
          class_desc(['kind is furnature','kind is normally thinkable']),
          {|i7|| is Thinkable |},
          {|i7|| is Furnature |},
          {|i7|| Volume_capacity is 10 |},
          {|i7|| is Cabinate |},
          co([{|i7|| inherits Cabinate |},{|i7|| inherits Cabinate |}])
        ]),
  {|i7|| the cup is in cabinate |},
  {|i7|| the cabinate is in kitchen |},
  {|i7|| the plate is in sink |},
  {|i7|| the sink is in kitchen |},
  {|i7|| the lamp is on table |},
  {|i7|| the table is in kitchen |},
  {|i7|| the flour is in bowl |},
  {|i7|| the bowl is in box |},
  {|i7|| the box is on table |},
  {|i7|| the table has reverse on to table_leg |},
  {|i7|| the videocamera is in living_room |},
  {|i7|| the shovel is in basement |},
  {|i7|| the mushroom is in garden |},
  {|i7|| the fountain is in garden |},
  {|i7|| the rock is in garden |},
  {|i7|| the shelf is in pantry |},
  {|i7|| Structure_label is istate |},
  {|i7|| the player~1 is in kitchen |},
  {|i7|| the watch is worn_by player~1 |},
  {|i7|| the bag is held_by player~1 |},
  {|i7|| the coins is in bag |},
  {|i7|| the wrench is held_by floyd |},
  {|i7|| kitchen is south of pantry |},
  {|i7|| pantry is north of kitchen |},
  {|i7|| basement is down of pantry |},
  {|i7|| pantry is up of basement |},
  {|i7|| garden is south of kitchen |},
  {|i7|| kitchen is north of garden |},
  {|i7|| dining_room is east of kitchen |},
  {|i7|| kitchen is west of dining_room |},
  {|i7|| living_room is north of dining_room |},
  {|i7|| dining_room is east of living_room |},
  {|i7|| kitchen is south of living_room |},
  {|i7|| living_room is west of kitchen |},
  {|i7|| the screendoor is in kitchen |},
  {|i7|| the screendoor is in garden |},
  {|i7|| the brklamp is in garden |}
]
player~1@spatial>
% floyd~1: sense_props(see,'player~1',[name('player~1'),inherited(console),has_rel(spatial,held_by),mass(50),volume(50),can_do(eat,t),can_do(examine,t),can_do(touch,t),can_be(touch,t),can_be(examine(spatial),t),class_desc(['kind is both partly corporial and non-corporial','kind is completely non-corporial','kind is normally thinkable','kind is corporial']),inherited(corporial),inherited(thinkable),inherit(corporial,f),inherited(noncorporial),inherited(partly_noncorporial),inherited(character),inherited(player),can_be(switch(off),f),state(powered,t),inherited(humanoid),co([name($self),inherit(console,t),inherit(humanoid,t)])])
player~1@spatial>
% floyd~1: sense_props(see,screendoor,[door_to(kitchen),door_to(garden),state(opened,f),can_be(move,f),can_be(open,t),can_be(close,t),nouns(door),can_be(touch,t),can_be(examine(spatial),t),class_desc(['kind is corporial','kind is normally thinkable']),inherited(thinkable),inherited(corporial),inherited(door),co([door_to(kitchen),door_to(garden),state(opened,f),inherit(door,t)])])
player~1@spatial>