TSPC 569_a_dick

569_a_dick_1952
The gun was smashed, the great weapon destroyed.

( (IP-MAT (NP-SBJ (D The;{the})
                  (N gun;{gun}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ smashed;{smash}))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (NP-SBJ (D the;{the})
                                    (ADJP (ADJ great;{great}))
                                    (N weapon;{weapon}))
                            (NP-LGS *)
                            (VVN;_Tn_ destroyed;{destroy})))
          (PUNC .))
  (ID 569_a_dick_1952))

arc(r_0569_0003__was,r_0569_0004__smashed,scope).
arc(r_0569_0004__smashed,r_0569_0001__The_r_0569_0002__gun,arg1).
arc(r_0569_0004__smashed,z_0569_5009___star_,arg0).
arc(r_0569_0006__the_r_0569_0008__weapon,r_0569_0007__great,attrib).
arc(r_0569_0009__destroyed,r_0569_0006__the_r_0569_0008__weapon,arg1).
arc(r_0569_0009__destroyed,z_0569_5006___star_,arg0).
arc(z_0569_5002,r_0569_0003__was,scope).
arc(z_0569_5002,r_0569_0009__destroyed,restriction).

fof(formula,axiom,
    ? [R_0569_0001__THE_R_0569_0002__GUN,Z_0569_5009___STAR_,R_0569_0003__WAS_R_0569_0004__SMASHED,R_0569_0007__GREAT,R_0569_0006__THE_R_0569_0008__WEAPON,Z_0569_5006___STAR_,R_0569_0009__DESTROYED,Z_0569_5002] :
      ( r_0569_0001__The_r_0569_0002__gun(R_0569_0001__THE_R_0569_0002__GUN)
      & r_0569_0007__great(R_0569_0007__GREAT)
      & z_0569_5006___star_(Z_0569_5006___STAR_)
      & z_0569_5009___star_(Z_0569_5009___STAR_)
      & z_0569_5002(Z_0569_5002)
      & has_conj1(Z_0569_5002,R_0569_0009__DESTROYED)
      & r_0569_0009__destroyed(R_0569_0009__DESTROYED)
      & has_arg0(R_0569_0009__DESTROYED,Z_0569_5006___STAR_)
      & has_arg1(R_0569_0009__DESTROYED,R_0569_0006__THE_R_0569_0008__WEAPON)
      & r_0569_0006__the_r_0569_0008__weapon(R_0569_0006__THE_R_0569_0008__WEAPON)
      & has_attrib(R_0569_0006__THE_R_0569_0008__WEAPON,R_0569_0007__GREAT)
      & has_conj2(Z_0569_5002,R_0569_0003__WAS_R_0569_0004__SMASHED)
      & r_0569_0003__was_r_0569_0004__smashed(R_0569_0003__WAS_R_0569_0004__SMASHED)
      & has_arg0(R_0569_0003__WAS_R_0569_0004__SMASHED,Z_0569_5009___STAR_)
      & has_arg1(R_0569_0003__WAS_R_0569_0004__SMASHED,R_0569_0001__THE_R_0569_0002__GUN) ) ).