arc(r_0003_0001__Avoid, r_0003_0002__being, arg1).
arc(r_0003_0001__Avoid, z_000_3_a_meteors_1, arg0).
arc(r_0003_0002__being, r_0003_0003__hit, scope).
arc(r_0003_0003__hit, r_0003_0005__the_r_0003_0006__missiles, arg0).
arc(r_0003_0003__hit, z_000_3_a_meteors_1, arg1).
arc(r_0003_0005__the_r_0003_0006__missiles, r_0003_0010__saucers, r_0003_0007__from).
arc(r_0003_0009__flying, r_0003_0010__saucers, arg0).
arc(r_0003_0010__saucers, r_0003_0008__hostile, attrib22).
arc(r_0003_0012__fire, r_0003_0010__saucers, arg0).
arc(r_0003_0012__fire, r_0003_0014__you, r_0003_0013__at_clr39).
arc(r_0003_0015__as, r_0003_0012__fire, scope).
arc(r_0003_0015__as, r_0003_0017__pass, restriction).
arc(r_0003_0017__pass, r_0003_0010__saucers, arg0).

fof(formula,axiom,
    ? [R_0003_0008__HOSTILE,R_0003_0010__SAUCERS,R_0003_0005__THE_R_0003_0006__MISSILES,Z_000_3_A_METEORS_1,R_0003_0002__BEING_R_0003_0003__HIT,R_0003_0001__AVOID,R_0003_0009__FLYING,R_0003_0014__YOU,R_0003_0012__FIRE,R_0003_0017__PASS,R_0003_0015__AS] :
      ( r_0003_0008__hostile(R_0003_0008__HOSTILE)
      & r_0003_0014__you(R_0003_0014__YOU)
      & z_000_3_a_meteors_1(Z_000_3_A_METEORS_1)
      & r_0003_0015__as(R_0003_0015__AS)
      & has_conj1(R_0003_0015__AS,R_0003_0017__PASS)
      & r_0003_0017__pass(R_0003_0017__PASS)
      & has_arg0(R_0003_0017__PASS,R_0003_0010__SAUCERS)
      & r_0003_0010__saucers(R_0003_0010__SAUCERS)
      & has_attrib22(R_0003_0010__SAUCERS,R_0003_0008__HOSTILE)
      & has_conj2(R_0003_0015__AS,R_0003_0012__FIRE)
      & r_0003_0012__fire(R_0003_0012__FIRE)
      & has_r_0003_0013__at_clr39(R_0003_0012__FIRE,R_0003_0014__YOU)
      & has_arg0(R_0003_0012__FIRE,R_0003_0010__SAUCERS)
      & r_0003_0009__flying(R_0003_0009__FLYING)
      & has_arg0(R_0003_0009__FLYING,R_0003_0010__SAUCERS)
      & r_0003_0001__Avoid(R_0003_0001__AVOID)
      & has_arg0(R_0003_0001__AVOID,Z_000_3_A_METEORS_1)
      & has_arg1(R_0003_0001__AVOID,R_0003_0002__BEING_R_0003_0003__HIT)
      & r_0003_0002__being_r_0003_0003__hit(R_0003_0002__BEING_R_0003_0003__HIT)
      & has_arg1(R_0003_0002__BEING_R_0003_0003__HIT,Z_000_3_A_METEORS_1)
      & has_arg0(R_0003_0002__BEING_R_0003_0003__HIT,R_0003_0005__THE_R_0003_0006__MISSILES)
      & r_0003_0005__the_r_0003_0006__missiles(R_0003_0005__THE_R_0003_0006__MISSILES)
      & has_r_0003_0007__from(R_0003_0005__THE_R_0003_0006__MISSILES,R_0003_0010__SAUCERS) ) ).

( (IP-IMP (VB;_Tg_ Avoid;{avoid})
          (IP-PPL-OB1 (BAG;_cat_VePASS_ being;{be})
                      (IP-PPL-CAT (VVN;_Tn_ hit;{hit})
                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                          (NP (D the;{the})
                                              (NS missiles;{missile})
                                              (PP (P-ROLE from;{from})
                                                  (NP;{FLYING_SAUCERS} (ADJP (ADJ hostile;{hostile}))
                                                                       (IP-PPL (VAG;_I_ flying;{fly}))
                                                                       (NS saucers;{saucer})
                                                                       (IP-REL (NP-SBJ (RPRO which;{which}))
                                                                               (VBP;_Ipr_ fire;{fire[at]})
                                                                               (PP-CLR (P-ROLE at;{at})
                                                                                       (NP (PRO you;{you})))
                                                                               (PP-SCON (P-CONN as;{as})
                                                                                        (IP-ADV (NP-SBJ;{FLYING_SAUCERS} (PRO they;{they}))
                                                                                                (VBP;_I_ pass;{pass}))))))))))
          (PUNC .))
  (ID 3_a_meteors))