TSPC 545_a_dick

545_a_dick_1952
It can fire into the sky, shoot down anything that flies.

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

arc(r_0545_0002__can,z_0545_5002,scope).
arc(r_0545_0003__fire_r_0545_0004__into,r_0545_0001__It,arg0).
arc(r_0545_0003__fire_r_0545_0004__into,r_0545_0005__the_r_0545_0006__sky,arg1).
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_0012__flies,r_0545_0010__anything,inv_arg0).
arc(z_0545_5002,r_0545_0003__fire_r_0545_0004__into,conj1).
arc(z_0545_5002,r_0545_0008__shoot_r_0545_0009__down,conj2).

fof(formula,axiom,
    ? [R_0545_0001__IT,R_0545_0005__THE_R_0545_0006__SKY,R_0545_0003__FIRE_R_0545_0004__INTO,R_0545_0012__FLIES,R_0545_0010__ANYTHING,R_0545_0008__SHOOT_R_0545_0009__DOWN,Z_0545_5002,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_0012__flies(R_0545_0012__FLIES)
      & r_0545_0002__can(R_0545_0002__CAN)
      & has_keep_scope(R_0545_0002__CAN,Z_0545_5002)
      & z_0545_5002(Z_0545_5002)
      & has_conj2(Z_0545_5002,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)
      & r_0545_0010__anything(R_0545_0010__ANYTHING)
      & has_inv_arg0(R_0545_0010__ANYTHING,R_0545_0012__FLIES)
      & has_arg0(R_0545_0008__SHOOT_R_0545_0009__DOWN,R_0545_0001__IT)
      & has_conj1(Z_0545_5002,R_0545_0003__FIRE_R_0545_0004__INTO)
      & r_0545_0003__fire_r_0545_0004__into(R_0545_0003__FIRE_R_0545_0004__INTO)
      & has_arg1(R_0545_0003__FIRE_R_0545_0004__INTO,R_0545_0005__THE_R_0545_0006__SKY)
      & has_arg0(R_0545_0003__FIRE_R_0545_0004__INTO,R_0545_0001__IT) ) ).