617_a_dick_1952
After a moment a red warning light flashed on down inside its destroyed works.

%3 r_0617_0004__a_r_0617_0006__warning_r_0617_0007__light a warning light r_0617_0005__red red r_0617_0004__a_r_0617_0006__warning_r_0617_0007__light->r_0617_0005__red [attrib] r_0617_0008__flashed_r_0617_0009__on flashed on r_0617_0008__flashed_r_0617_0009__on->r_0617_0004__a_r_0617_0006__warning_r_0617_0007__light [arg0] r_0617_0002__a_r_0617_0003__moment a moment r_0617_0008__flashed_r_0617_0009__on->r_0617_0002__a_r_0617_0003__moment After [nim] r_0617_0014__works works r_0617_0008__flashed_r_0617_0009__on->r_0617_0014__works down inside [nim] r_0617_0012__its its r_0617_0014__works->r_0617_0012__its [gen] r_0617_0013__destroyed destroyed r_0617_0013__destroyed->r_0617_0014__works [arg1] z_000_617_a_dick_1952_34 r_0617_0013__destroyed->z_000_617_a_dick_1952_34 [arg0]
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).



%3 r_0617_0004__a_r_0617_0006__warning_r_0617_0007__light a warning light r_0617_0005__red red r_0617_0004__a_r_0617_0006__warning_r_0617_0007__light->r_0617_0005__red [attrib] r_0617_0008__flashed_r_0617_0009__on flashed on r_0617_0008__flashed_r_0617_0009__on->r_0617_0004__a_r_0617_0006__warning_r_0617_0007__light [arg0] r_0617_0002__a_r_0617_0003__moment a moment r_0617_0008__flashed_r_0617_0009__on->r_0617_0002__a_r_0617_0003__moment After [nim] r_0617_0014__works works r_0617_0008__flashed_r_0617_0009__on->r_0617_0014__works down inside [nim] r_0617_0012__its its r_0617_0014__works->r_0617_0012__its [gen] r_0617_0013__destroyed destroyed r_0617_0013__destroyed->r_0617_0014__works [arg1] z_000_617_a_dick_1952_34 r_0617_0013__destroyed->z_000_617_a_dick_1952_34 [arg0]
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) ) ).



n617_a_dick_1952 n617_a_dick_1952_4 After n617_a_dick_1952_7 a n617_a_dick_1952_9 moment n617_a_dick_1952_12 a n617_a_dick_1952_15 red n617_a_dick_1952_17 warning n617_a_dick_1952_19 light n617_a_dick_1952_21 flashed n617_a_dick_1952_23 on n617_a_dick_1952_26 down n617_a_dick_1952_28 inside n617_a_dick_1952_32 its n617_a_dick_1952_35 * n617_a_dick_1952_37 destroyed n617_a_dick_1952_39 works n617_a_dick_1952_41 . n617_a_dick_1952_1 IP-MAT n617_a_dick_1952_2 PP-NIM n617_a_dick_1952_1->n617_a_dick_1952_2 n617_a_dick_1952_10 NP-SBJ n617_a_dick_1952_1->n617_a_dick_1952_10 n617_a_dick_1952_20 VBD;_phr_Vp_ n617_a_dick_1952_1->n617_a_dick_1952_20 n617_a_dick_1952_22 RP n617_a_dick_1952_1->n617_a_dick_1952_22 n617_a_dick_1952_24 PP-NIM n617_a_dick_1952_1->n617_a_dick_1952_24 n617_a_dick_1952_40 PUNC n617_a_dick_1952_1->n617_a_dick_1952_40 n617_a_dick_1952_3 P-ROLE n617_a_dick_1952_2->n617_a_dick_1952_3 n617_a_dick_1952_5 NP n617_a_dick_1952_2->n617_a_dick_1952_5 n617_a_dick_1952_3->n617_a_dick_1952_4 n617_a_dick_1952_6 D n617_a_dick_1952_5->n617_a_dick_1952_6 n617_a_dick_1952_8 N n617_a_dick_1952_5->n617_a_dick_1952_8 n617_a_dick_1952_6->n617_a_dick_1952_7 n617_a_dick_1952_8->n617_a_dick_1952_9 n617_a_dick_1952_11 D n617_a_dick_1952_10->n617_a_dick_1952_11 n617_a_dick_1952_13 ADJP n617_a_dick_1952_10->n617_a_dick_1952_13 n617_a_dick_1952_16 N n617_a_dick_1952_10->n617_a_dick_1952_16 n617_a_dick_1952_18 N n617_a_dick_1952_10->n617_a_dick_1952_18 n617_a_dick_1952_11->n617_a_dick_1952_12 n617_a_dick_1952_14 ADJ n617_a_dick_1952_13->n617_a_dick_1952_14 n617_a_dick_1952_14->n617_a_dick_1952_15 n617_a_dick_1952_16->n617_a_dick_1952_17 n617_a_dick_1952_18->n617_a_dick_1952_19 n617_a_dick_1952_20->n617_a_dick_1952_21 n617_a_dick_1952_22->n617_a_dick_1952_23 n617_a_dick_1952_25 RP n617_a_dick_1952_24->n617_a_dick_1952_25 n617_a_dick_1952_27 P-ROLE n617_a_dick_1952_24->n617_a_dick_1952_27 n617_a_dick_1952_29 NP n617_a_dick_1952_24->n617_a_dick_1952_29 n617_a_dick_1952_25->n617_a_dick_1952_26 n617_a_dick_1952_27->n617_a_dick_1952_28 n617_a_dick_1952_30 NP-GEN n617_a_dick_1952_29->n617_a_dick_1952_30 n617_a_dick_1952_33 IP-PPL n617_a_dick_1952_29->n617_a_dick_1952_33 n617_a_dick_1952_38 NS n617_a_dick_1952_29->n617_a_dick_1952_38 n617_a_dick_1952_31 PRO;_genm_ n617_a_dick_1952_30->n617_a_dick_1952_31 n617_a_dick_1952_31->n617_a_dick_1952_32 n617_a_dick_1952_34 NP-LGS n617_a_dick_1952_33->n617_a_dick_1952_34 n617_a_dick_1952_36 VVN;_Tn_ n617_a_dick_1952_33->n617_a_dick_1952_36 n617_a_dick_1952_34->n617_a_dick_1952_35 n617_a_dick_1952_36->n617_a_dick_1952_37 n617_a_dick_1952_38->n617_a_dick_1952_39 n617_a_dick_1952_40->n617_a_dick_1952_41
( (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))