Dig Hole

Time passes for player~1.
player~1@spatial> dig hole
dig hole
[ done_by(DigEvent,'player~1'),
  isa('player~1',tAnimate),
  isa(DigEvent,tAction),
  isa(Surface,surfaceOf(Ground)),
  isa(Tool,tTool),
  normally(can_reach(Tool,Surface)),
  normally(cntrls('player~1',Tool)),
  normally(isa(Ground,tEarthSoil)),
  normally(isa(Tool,deviceDoesFn(Action))),
  occurs(DigEvent,infpl),
  part_of(Surface,Ground),
  post(part_of(Hole,Ground)),
  pre(~(part_of(Hole,Ground))),
  shape_of(DigEvent,Hole),
  textString('player~1',"player~1"),
  textString(DigEvent,"dig"),
  textString(Hole,"hole"),
  ~(pre(exists(Hole))),
  zexistsLeftOver([Surface,Ground,Tool],DigEvent)]