arc(r_0545_0002__can, z_000_545_a_dick_1952_8, scope).
arc(r_0545_0003__fire, r_0545_0001__It, arg0).
arc(r_0545_0003__fire, r_0545_0005__the_r_0545_0006__sky, r_0545_0004__into_clr15).
arc(r_0545_0008__shoot_r_0545_0009__down, r_0545_0001__It, arg0).
arc(r_0545_0008__shoot_r_0545_0009__down, r_0545_0010__anything, arg1).
arc(r_0545_0011__that_r_0545_0012__flies, r_0545_0010__anything, arg0).
arc(z_000_545_a_dick_1952_8, r_0545_0003__fire, conj1).
arc(z_000_545_a_dick_1952_8, r_0545_0008__shoot_r_0545_0009__down, conj2).

fof(formula,axiom,
    ? [R_0545_0010__ANYTHING,R_0545_0011__THAT_R_0545_0012__FLIES,R_0545_0001__IT,R_0545_0005__THE_R_0545_0006__SKY,R_0545_0003__FIRE,R_0545_0008__SHOOT_R_0545_0009__DOWN,Z_000_545_A_DICK_1952_8,R_0545_0002__CAN] :
      ( r_0545_0001__It(R_0545_0001__IT)
      & r_0545_0005__the_r_0545_0006__sky(R_0545_0005__THE_R_0545_0006__SKY)
      & r_0545_0010__anything(R_0545_0010__ANYTHING)
      & r_0545_0002__can(R_0545_0002__CAN)
      & has_keep_scope(R_0545_0002__CAN,Z_000_545_A_DICK_1952_8)
      & z_000_545_a_dick_1952_8(Z_000_545_A_DICK_1952_8)
      & has_conj2(Z_000_545_A_DICK_1952_8,R_0545_0008__SHOOT_R_0545_0009__DOWN)
      & r_0545_0008__shoot_r_0545_0009__down(R_0545_0008__SHOOT_R_0545_0009__DOWN)
      & has_arg1(R_0545_0008__SHOOT_R_0545_0009__DOWN,R_0545_0010__ANYTHING)
      & has_arg0(R_0545_0008__SHOOT_R_0545_0009__DOWN,R_0545_0001__IT)
      & has_conj1(Z_000_545_A_DICK_1952_8,R_0545_0003__FIRE)
      & r_0545_0003__fire(R_0545_0003__FIRE)
      & has_r_0545_0004__into_clr15(R_0545_0003__FIRE,R_0545_0005__THE_R_0545_0006__SKY)
      & has_arg0(R_0545_0003__FIRE,R_0545_0001__IT)
      & r_0545_0011__that_r_0545_0012__flies(R_0545_0011__THAT_R_0545_0012__FLIES)
      & has_arg0(R_0545_0011__THAT_R_0545_0012__FLIES,R_0545_0010__ANYTHING) ) ).

( (IP-MAT (NP-SBJ;{GUN} (PRO It;{it}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (ILYR (ILYR (VB;_Ipr_ fire;{fire[into]})
                                  (PP-CLR (P-ROLE into;{into})
                                          (NP (D the;{the})
                                              (N sky;{sky}))))
                            (PUNC ,)
                            (CONJP (ILYR (VB;_phr_Vn<=>p_ shoot;{shoot})
                                         (RP down;{down})
                                         (NP-OB1 (D;_nphd_ anything;{anything})
                                                 (IP-REL (C that;{that})
                                                         (NP-SBJ *T*)
                                                         (VBP;_I_ flies;{fly})))))))
          (PUNC .))
  (ID 545_a_dick_1952))