arc(r_0002_0001__Steer, r_0002_0003__laser_r_0002_0005__ship, arg1).
arc(r_0002_0001__Steer, r_0002_0007__a_r_0002_0008__hail, r_0002_0006__through_clr17).
arc(r_0002_0001__Steer, z_000_2_a_meteors_1, arg0).
arc(r_0002_0003__laser_r_0002_0005__ship, r_0002_0002__your, gen).
arc(r_0002_0007__a_r_0002_0008__hail, r_0002_0010__meteors, r_0002_0009__of).
arc(r_0002_0011__smashing, r_0002_0010__meteors, arg1).
arc(r_0002_0011__smashing, r_0002_0015__laser_r_0002_0016__bolts, r_0002_0013__with_nim38).
arc(r_0002_0011__smashing, z_000_2_a_meteors_1, arg0).
arc(r_0002_0015__laser_r_0002_0016__bolts, r_0002_0002__your, gen).
arc(r_0002_0017__as, r_0002_0011__smashing, scope).
arc(r_0002_0017__as, r_0002_0023__all_quant, restriction).
arc(r_0002_0019__hurtle, r_0002_0002__your, r_0002_0020__towards_clr58).
arc(r_0002_0019__hurtle, r_0002_0010__meteors, arg0).
arc(r_0002_0019__hurtle, r_0002_0024__sides, r_0002_0022__on_nim64).
arc(r_0002_0023__all_quant, r_0002_0019__hurtle, scope).
arc(r_0002_0023__all_quant, r_0002_0024__sides, restriction).
arc(z_000_2_a_meteors_28, r_0002_0001__Steer, scope).
arc(z_000_2_a_meteors_28, r_0002_0017__as, restriction).

fof(formula,axiom,
    ? [Z_2_A_METEORS_28,R_2_17_AS,R_2_11_SMASHING,R_2_15_LASER_BOLTS,R_2_1_STEER,Z_2_A_METEORS_1,R_2_3_LASER_SHIP,R_2_2_YOUR,R_2_7_A_HAIL,R_2_10_METEORS] :
      ( your(R_2_2_YOUR)
      & meteors(R_2_10_METEORS)
      & z_2_a_meteors_28(Z_2_A_METEORS_28)
      & conj1(Z_2_A_METEORS_28,R_2_17_AS)
      & ! [R_2_24_SIDES] :
          ( sides(R_2_24_SIDES)
         => ? [R_2_19_HURTLE] :
              ( hurtle(R_2_19_HURTLE,R_2_10_METEORS)
              & towards_clr58(R_2_19_HURTLE,R_2_2_YOUR)
              & on_nim64(R_2_19_HURTLE,R_2_24_SIDES) ) )
      & conj1(CONJ1)
      & as(R_2_17_AS)
      & conj2(R_2_17_AS,R_2_11_SMASHING)
      & smashing(R_2_11_SMASHING,Z_2_A_METEORS_1,R_2_10_METEORS)
      & with_nim38(R_2_11_SMASHING,R_2_15_LASER_BOLTS)
      & laser_bolts(R_2_15_LASER_BOLTS)
      & gen(R_2_15_LASER_BOLTS,R_2_2_YOUR)
      & conj2(Z_2_A_METEORS_28,R_2_1_STEER)
      & steer(R_2_1_STEER,Z_2_A_METEORS_1,R_2_3_LASER_SHIP)
      & laser_ship(R_2_3_LASER_SHIP)
      & gen(R_2_3_LASER_SHIP,R_2_2_YOUR)
      & through_clr17(R_2_1_STEER,R_2_7_A_HAIL)
      & a_hail(R_2_7_A_HAIL)
      & of(R_2_7_A_HAIL,R_2_10_METEORS) ) ).

( (IP-IMP (VB;_Tn.pr_ Steer;{steer[through]})
          (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                  (N laser;{laser})
                  (PUNC <hyphen>)
                  (N ship;{ship}))
          (PP-CLR (P-ROLE through;{through})
                  (NP (D a;{a})
                      (N hail;{hail})
                      (PP (P-ROLE of;{of})
                          (NP;{METEORS} (NS meteors;{meteor})))))
          (PP-SCON (IP-PPL2 (VAG;_Tn_ smashing;{smash})
                            (NP-OB1;{METEORS} (PRO them;{they}))
                            (PP-NIM (P-ROLE with;{with})
                                    (NP (NP-GEN (PRO;_genm_ your;{your}))
                                        (N laser;{laser})
                                        (NS bolts;{bolt})))
                            (PP-SCON (P-CONN as;{as})
                                     (IP-ADV (NP-SBJ;{METEORS} (PRO they;{they}))
                                             (VBP;_Ipr_ hurtle;{hurtle[towards]})
                                             (PP-CLR (P-ROLE towards;{towards})
                                                     (NP (PRO you;{you})))
                                             (PP-NIM (P-ROLE on;{on})
                                                     (NP (Q all;{all})
                                                         (NS sides;{side})))))))
          (PUNC .))
  (ID 2_a_meteors))