es48



                        Zeta,n |- e -> v,Zeta'
      ----------------------------------------------------------
                   Zeta,n |- (spatti e) -> 3,Zeta'