TSPC 4_a_dick

4_a_dick_1952
Only the gun showed signs of life... and the trespassers had wrecked that for all time.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{GUN} (ADVP (ADV Only;{only}))
                                    (D the;{the})
                                    (N gun;{gun}))
                      (VBD;_Tn_ showed;{show})
                      (NP-OB1 (NS signs;{sign})
                              (PP (P-ROLE of;{of})
                                  (NP (N life;{life})))))
                (PUNC ...)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{TRESPASSERS} (D the;{the})
                                                   (NS trespassers;{trespasser}))
                             (HVD;_cat_Ve_ had;{have})
                             (IP-PPL-CAT (VVN;_Tn_ wrecked;{wreck})
                                         (NP-OB1;{GUN} (D;_nphd_ that;{that})))
                             (PP-NIM (P-ROLE for;{for})
                                     (NP (Q all;{all})
                                         (N time;{time}))))))
          (PUNC .))
  (ID 4_a_dick_1952))

arc(r_0004_0002__the_r_0004_0003__gun,r_0004_0001__Only,qual).
arc(r_0004_0004__showed,r_0004_0002__the_r_0004_0003__gun,arg0).
arc(r_0004_0004__showed,r_0004_0005__signs,arg1).
arc(r_0004_0005__signs,r_0004_0007__life,r_0004_0006__of).
arc(r_0004_0009__and,r_0004_0004__showed,conj1).
arc(r_0004_0009__and,r_0004_0016__all__quant,conj2).
arc(r_0004_0012__had,r_0004_0013__wrecked,scope).
arc(r_0004_0012__had,r_0004_0017__time,r_0004_0015__for__nim).
arc(r_0004_0013__wrecked,r_0004_0002__the_r_0004_0003__gun,arg1).
arc(r_0004_0013__wrecked,r_0004_0010__the_r_0004_0011__trespassers,arg0).
arc(r_0004_0016__all__quant,r_0004_0012__had,scope).
arc(r_0004_0016__all__quant,r_0004_0017__time,restriction).

fof(formula,axiom,
    ? [R_0004_0001__ONLY,R_0004_0002__THE_R_0004_0003__GUN,R_0004_0007__LIFE,R_0004_0005__SIGNS,R_0004_0004__SHOWED,R_0004_0009__AND] :
      ( r_0004_0001__Only(R_0004_0001__ONLY)
      & r_0004_0007__life(R_0004_0007__LIFE)
      & r_0004_0009__and(R_0004_0009__AND)
      & ! [R_0004_0017__TIME] :
          ( r_0004_0017__time(R_0004_0017__TIME)
         => ? [R_0004_0010__THE_R_0004_0011__TRESPASSERS,R_0004_0012__HAD_R_0004_0013__WRECKED] :
              ( r_0004_0010__the_r_0004_0011__trespassers(R_0004_0010__THE_R_0004_0011__TRESPASSERS)
              & r_0004_0012__had_r_0004_0013__wrecked(R_0004_0012__HAD_R_0004_0013__WRECKED)
              & has_arg0(R_0004_0012__HAD_R_0004_0013__WRECKED,R_0004_0010__THE_R_0004_0011__TRESPASSERS)
              & has_arg1(R_0004_0012__HAD_R_0004_0013__WRECKED,R_0004_0002__THE_R_0004_0003__GUN)
              & has_r_0004_0015__for__nim(R_0004_0012__HAD_R_0004_0013__WRECKED,R_0004_0017__TIME) ) )
      & has_conj1(R_0004_0009__AND,R_0004_0004__SHOWED)
      & r_0004_0004__showed(R_0004_0004__SHOWED)
      & has_arg1(R_0004_0004__SHOWED,R_0004_0005__SIGNS)
      & r_0004_0005__signs(R_0004_0005__SIGNS)
      & has_r_0004_0006__of(R_0004_0005__SIGNS,R_0004_0007__LIFE)
      & has_arg0(R_0004_0004__SHOWED,R_0004_0002__THE_R_0004_0003__GUN)
      & r_0004_0002__the_r_0004_0003__gun(R_0004_0002__THE_R_0004_0003__GUN)
      & has_qual(R_0004_0002__THE_R_0004_0003__GUN,R_0004_0001__ONLY) ) ).