TSPC 617_a_dick

617_a_dick_1952
After a moment a red warning light flashed on down inside its destroyed 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))

arc(r_0617_0004__a_r_0617_0006__warning_r_0617_0007__light,r_0617_0005__red,attrib).
arc(r_0617_0008__flashed_r_0617_0009__on,r_0617_0002__a_r_0617_0003__moment,r_0617_0001__After__nim).
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_0011__inside__nim).
arc(r_0617_0013__destroyed,r_0617_0014__works,inv_arg1).
arc(r_0617_0013__destroyed,z_0617_5005___star_,arg0).
arc(r_0617_0014__works,r_0617_0012__its,gen).

fof(formula,axiom,
    ? [R_0617_0002__A_R_0617_0003__MOMENT,R_0617_0005__RED,R_0617_0004__A_R_0617_0006__WARNING_R_0617_0007__LIGHT,Z_0617_5005___STAR_,R_0617_0013__DESTROYED,R_0617_0012__ITS,R_0617_0014__WORKS,R_0617_0008__FLASHED_R_0617_0009__ON] :
      ( r_0617_0002__a_r_0617_0003__moment(R_0617_0002__A_R_0617_0003__MOMENT)
      & r_0617_0005__red(R_0617_0005__RED)
      & r_0617_0012__its(R_0617_0012__ITS)
      & z_0617_5005___star_(Z_0617_5005___STAR_)
      & r_0617_0008__flashed_r_0617_0009__on(R_0617_0008__FLASHED_R_0617_0009__ON)
      & has_r_0617_0011__inside__nim(R_0617_0008__FLASHED_R_0617_0009__ON,R_0617_0014__WORKS)
      & r_0617_0014__works(R_0617_0014__WORKS)
      & has_gen(R_0617_0014__WORKS,R_0617_0012__ITS)
      & has_inv_arg1(R_0617_0014__WORKS,R_0617_0013__DESTROYED)
      & r_0617_0013__destroyed(R_0617_0013__DESTROYED)
      & has_arg0(R_0617_0013__DESTROYED,Z_0617_5005___STAR_)
      & has_arg0(R_0617_0008__FLASHED_R_0617_0009__ON,R_0617_0004__A_R_0617_0006__WARNING_R_0617_0007__LIGHT)
      & r_0617_0004__a_r_0617_0006__warning_r_0617_0007__light(R_0617_0004__A_R_0617_0006__WARNING_R_0617_0007__LIGHT)
      & has_attrib(R_0617_0004__A_R_0617_0006__WARNING_R_0617_0007__LIGHT,R_0617_0005__RED)
      & has_r_0617_0001__After__nim(R_0617_0008__FLASHED_R_0617_0009__ON,R_0617_0002__A_R_0617_0003__MOMENT) ) ).