arc(r_0004_0002__the_r_0004_0003__gun, r_0004_0001__Only, qual5).
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_nim45).
arc(r_0004_0013__wrecked, r_0004_0010__the_r_0004_0011__trespassers, arg0).
arc(r_0004_0013__wrecked, r_0004_0014__that, arg1).
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_0014__THAT,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_0014__that(R_0004_0014__THAT)
              & r_0004_0012__had_r_0004_0013__wrecked(R_0004_0012__HAD_R_0004_0013__WRECKED)
              & has_arg1(R_0004_0012__HAD_R_0004_0013__WRECKED,R_0004_0014__THAT)
              & has_arg0(R_0004_0012__HAD_R_0004_0013__WRECKED,R_0004_0010__THE_R_0004_0011__TRESPASSERS)
              & has_r_0004_0015__for_nim45(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_qual5(R_0004_0002__THE_R_0004_0003__GUN,R_0004_0001__ONLY) ) ).

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