arc(r_0617_0004__a_r_0617_0006__warning_r_0617_0007__light, r_0617_0005__red, attrib13).
arc(r_0617_0008__flashed_r_0617_0009__on, r_0617_0002__a_r_0617_0003__moment, r_0617_0001__After_nim5).
arc(r_0617_0008__flashed_r_0617_0009__on, r_0617_0004__a_r_0617_0006__warning_r_0617_0007__light, arg0).
arc(r_0617_0008__flashed_r_0617_0009__on, r_0617_0014__works, r_0617_0010__down_r_0617_0011__inside_nim29).
arc(r_0617_0013__destroyed, r_0617_0014__works, arg1).
arc(r_0617_0013__destroyed, z_000_617_a_dick_1952_34, arg0).
arc(r_0617_0014__works, r_0617_0012__its, gen).

fof(formula,axiom,
    ? [R_617_8_FLASHED_ON,R_617_4_A_WARNING_LIGHT,R_617_5_RED,R_617_2_A_MOMENT,R_617_13_DESTROYED,Z_617_A_DICK_1952_34,R_617_14_WORKS,R_617_12_ITS] :
      ( red(R_617_5_RED)
      & a_moment(R_617_2_A_MOMENT)
      & its(R_617_12_ITS)
      & flashed_on(R_617_8_FLASHED_ON,R_617_4_A_WARNING_LIGHT)
      & a_warning_light(R_617_4_A_WARNING_LIGHT)
      & attrib13(R_617_4_A_WARNING_LIGHT,R_617_5_RED)
      & after_nim5(R_617_8_FLASHED_ON,R_617_2_A_MOMENT)
      & down_inside_nim29(R_617_8_FLASHED_ON,R_617_14_WORKS)
      & works(R_617_14_WORKS)
      & gen(R_617_14_WORKS,R_617_12_ITS)
      & destroyed(R_617_13_DESTROYED,Z_617_A_DICK_1952_34,R_617_14_WORKS) ) ).

( (IP-MAT (PP-NIM (P-ROLE After;{after})
                  (NP (D a;{a})
                      (N moment;{moment})))
          (NP-SBJ (D a;{a})
                  (ADJP (ADJ red;{red}))
                  (N warning;{warning})
                  (N light;{light}))
          (VBD;_phr_Vp_ flashed;{flash[on]})
          (RP on;{on})
          (PP-NIM (RP down;{down})
                  (P-ROLE inside;{inside})
                  (NP (NP-GEN;{GUN} (PRO;_genm_ its;{its}))
                      (IP-PPL (NP-LGS *)
                              (VVN;_Tn_ destroyed;{destroy}))
                      (NS works;{work})))
          (PUNC .))
  (ID 617_a_dick_1952))