TSPC 350_a_dick

350_a_dick_1952
It's only designed to combat objects in the sky.

( (IP-MAT (NP-SBJ;{GUN} (PRO It;{it}))
          (BEP;_cat_VePASS_ <apos>s;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (ADVP-NIM (ADV only;{only}))
                      (VVN;_Tn_ designed;{design}))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Tn_ combat;{combat})
                           (NP-OB1 (NS objects;{object})
                                   (PP (P-ROLE in;{in})
                                       (NP (D the;{the})
                                           (N sky;{sky}))))))
          (PUNC .))
  (ID 350_a_dick_1952))

arc(r_0350_0002___apos_s,r_0350_0004__designed,scope).
arc(r_0350_0004__designed,r_0350_0001__It,arg1).
arc(r_0350_0004__designed,r_0350_0003__only,nim).
arc(r_0350_0004__designed,z_0350_5008___star_,arg0).
arc(r_0350_0006__combat,r_0350_0001__It,arg0).
arc(r_0350_0006__combat,r_0350_0007__objects,arg1).
arc(r_0350_0007__objects,r_0350_0009__the_r_0350_0010__sky,r_0350_0008__in).
arc(z_0350_5001,r_0350_0002___apos_s,scope).
arc(z_0350_5001,r_0350_0006__combat,restriction).

fof(formula,axiom,
    ? [R_0350_0001__IT,R_0350_0003__ONLY,Z_0350_5008___STAR_,R_0350_0002___APOS_S_R_0350_0004__DESIGNED,R_0350_0009__THE_R_0350_0010__SKY,R_0350_0007__OBJECTS,R_0350_0006__COMBAT,Z_0350_5001] :
      ( r_0350_0001__It(R_0350_0001__IT)
      & r_0350_0003__only(R_0350_0003__ONLY)
      & r_0350_0009__the_r_0350_0010__sky(R_0350_0009__THE_R_0350_0010__SKY)
      & z_0350_5008___star_(Z_0350_5008___STAR_)
      & z_0350_5001(Z_0350_5001)
      & has_conj1(Z_0350_5001,R_0350_0006__COMBAT)
      & r_0350_0006__combat(R_0350_0006__COMBAT)
      & has_arg1(R_0350_0006__COMBAT,R_0350_0007__OBJECTS)
      & r_0350_0007__objects(R_0350_0007__OBJECTS)
      & has_r_0350_0008__in(R_0350_0007__OBJECTS,R_0350_0009__THE_R_0350_0010__SKY)
      & has_arg0(R_0350_0006__COMBAT,R_0350_0001__IT)
      & has_conj2(Z_0350_5001,R_0350_0002___APOS_S_R_0350_0004__DESIGNED)
      & r_0350_0002___apos_s_r_0350_0004__designed(R_0350_0002___APOS_S_R_0350_0004__DESIGNED)
      & has_arg0(R_0350_0002___APOS_S_R_0350_0004__DESIGNED,Z_0350_5008___STAR_)
      & has_nim(R_0350_0002___APOS_S_R_0350_0004__DESIGNED,R_0350_0003__ONLY)
      & has_arg1(R_0350_0002___APOS_S_R_0350_0004__DESIGNED,R_0350_0001__IT) ) ).