1. the_w:World, i:Id, t:. first(<i,t>)  (t':. t'<t  isnull(a(i;t')))
  the_w:World, e:E. first(e)  (t':. t'<time(e)  isnull(a(loc(e);t')))

1

2. the_w : World 3. e : E   first(e)  (t':. t'<time(e)  isnull(a(loc(e);t')))

1 step

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html