( (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))

arc(r_0003_0001__Avoid,r_0003_0002__being,arg1).
arc(r_0003_0001__Avoid,z_0003_5002,arg0).
arc(r_0003_0002__being,r_0003_0003__hit,scope).
arc(r_0003_0003__hit,r_0003_0005__the_r_0003_0006__missiles,r_0003_0004__by_arg0).
arc(r_0003_0003__hit,z_0003_5002,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,inv_arg0).
arc(r_0003_0010__saucers,r_0003_0008__hostile,attrib).
arc(r_0003_0012__fire_r_0003_0013__at,r_0003_0010__saucers,arg0).
arc(r_0003_0012__fire_r_0003_0013__at,r_0003_0014__you,arg1).
arc(r_0003_0015__as,r_0003_0012__fire_r_0003_0013__at,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_0009__FLYING,R_0003_0008__HOSTILE,R_0003_0010__SAUCERS,R_0003_0005__THE_R_0003_0006__MISSILES,Z_0003_5002,R_0003_0002__BEING_R_0003_0003__HIT,R_0003_0001__AVOID,R_0003_0014__YOU,R_0003_0012__FIRE_R_0003_0013__AT,R_0003_0017__PASS,R_0003_0015__AS] :
      ( r_0003_0008__hostile(R_0003_0008__HOSTILE)
      & r_0003_0009__flying(R_0003_0009__FLYING)
      & r_0003_0014__you(R_0003_0014__YOU)
      & z_0003_5002(Z_0003_5002)
      & 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_attrib(R_0003_0010__SAUCERS,R_0003_0008__HOSTILE)
      & has_inv_arg0(R_0003_0010__SAUCERS,R_0003_0009__FLYING)
      & has_conj2(R_0003_0015__AS,R_0003_0012__FIRE_R_0003_0013__AT)
      & r_0003_0012__fire_r_0003_0013__at(R_0003_0012__FIRE_R_0003_0013__AT)
      & has_arg1(R_0003_0012__FIRE_R_0003_0013__AT,R_0003_0014__YOU)
      & has_arg0(R_0003_0012__FIRE_R_0003_0013__AT,R_0003_0010__SAUCERS)
      & r_0003_0001__Avoid(R_0003_0001__AVOID)
      & has_arg0(R_0003_0001__AVOID,Z_0003_5002)
      & 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_0003_5002)
      & has_r_0003_0004__by_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) ) ).