Context                Previous, Next                Top


454_a_dick_1952
Then they went on, flashing the light ahead of them.

%3 r_0454_0003__went_r_0454_0004__on went on r_0454_0001__Then Then r_0454_0003__went_r_0454_0004__on->r_0454_0001__Then [nim] r_0454_0002__they they r_0454_0003__went_r_0454_0004__on->r_0454_0002__they [arg0] r_0454_0006__flashing flashing r_0454_0006__flashing->r_0454_0002__they [arg0] r_0454_0006__flashing->r_0454_0002__they ahead of [nim] r_0454_0007__the_r_0454_0008__light the light r_0454_0006__flashing->r_0454_0007__the_r_0454_0008__light [arg1] z_000_454_a_dick_1952_14 z_000_454_a_dick_1952_14->r_0454_0003__went_r_0454_0004__on [scope] z_000_454_a_dick_1952_14->r_0454_0006__flashing [restriction] 
arc(r_0454_0003__went_r_0454_0004__on, r_0454_0001__Then, nim2).
arc(r_0454_0003__went_r_0454_0004__on, r_0454_0002__they, arg0).
arc(r_0454_0006__flashing, r_0454_0002__they, arg0).
arc(r_0454_0006__flashing, r_0454_0002__they, r_0454_0009__ahead_of_nim26).
arc(r_0454_0006__flashing, r_0454_0007__the_r_0454_0008__light, arg1).
arc(z_000_454_a_dick_1952_14, r_0454_0003__went_r_0454_0004__on, scope).
arc(z_000_454_a_dick_1952_14, r_0454_0006__flashing, restriction).


%3 z_000_454_a_dick_1952_14 r_0454_0006__flashing flashing z_000_454_a_dick_1952_14->r_0454_0006__flashing [conj1] r_0454_0003__went_r_0454_0004__on went on z_000_454_a_dick_1952_14->r_0454_0003__went_r_0454_0004__on [conj2] r_0454_0007__the_r_0454_0008__light the light r_0454_0006__flashing->r_0454_0007__the_r_0454_0008__light [arg1] r_0454_0002__they they r_0454_0006__flashing->r_0454_0002__they ahead of [nim] r_0454_0006__flashing->r_0454_0002__they [arg0] r_0454_0003__went_r_0454_0004__on->r_0454_0002__they [arg0] r_0454_0001__Then Then r_0454_0003__went_r_0454_0004__on->r_0454_0001__Then [nim] 
fof(formula,axiom,
    ? [R_0454_0001__THEN,R_0454_0002__THEY,R_0454_0003__WENT_R_0454_0004__ON,R_0454_0007__THE_R_0454_0008__LIGHT,R_0454_0006__FLASHING,Z_000_454_A_DICK_1952_14] :
      ( r_0454_0001__Then(R_0454_0001__THEN)
      & r_0454_0002__they(R_0454_0002__THEY)
      & r_0454_0007__the_r_0454_0008__light(R_0454_0007__THE_R_0454_0008__LIGHT)
      & z_000_454_a_dick_1952_14(Z_000_454_A_DICK_1952_14)
      & has_conj1(Z_000_454_A_DICK_1952_14,R_0454_0006__FLASHING)
      & r_0454_0006__flashing(R_0454_0006__FLASHING)
      & has_arg1(R_0454_0006__FLASHING,R_0454_0007__THE_R_0454_0008__LIGHT)
      & has_r_0454_0009__ahead_of_nim26(R_0454_0006__FLASHING,R_0454_0002__THEY)
      & has_arg0(R_0454_0006__FLASHING,R_0454_0002__THEY)
      & has_conj2(Z_000_454_A_DICK_1952_14,R_0454_0003__WENT_R_0454_0004__ON)
      & r_0454_0003__went_r_0454_0004__on(R_0454_0003__WENT_R_0454_0004__ON)
      & has_arg0(R_0454_0003__WENT_R_0454_0004__ON,R_0454_0002__THEY)
      & has_nim2(R_0454_0003__WENT_R_0454_0004__ON,R_0454_0001__THEN) ) ).


n454_a_dick_1952 n454_a_dick_1952__1_1_1_1 Then n454_a_dick_1952__1_2_1_1 they n454_a_dick_1952__1_3_1 went n454_a_dick_1952__1_4_1 on n454_a_dick_1952__1_5_1 , n454_a_dick_1952__1_6_1_1_1 flashing n454_a_dick_1952__1_6_1_2_1_1 the n454_a_dick_1952__1_6_1_2_2_1 light n454_a_dick_1952__1_6_1_3_1_1 ahead_of n454_a_dick_1952__1_6_1_3_2_1_1 them n454_a_dick_1952__1_7_1 . n454_a_dick_1952__1 IP-MAT n454_a_dick_1952__1_1 ADVP-NIM n454_a_dick_1952__1->n454_a_dick_1952__1_1 n454_a_dick_1952__1_2 NP-SBJ n454_a_dick_1952__1->n454_a_dick_1952__1_2 n454_a_dick_1952__1_3 VBD;_Ip_ n454_a_dick_1952__1->n454_a_dick_1952__1_3 n454_a_dick_1952__1_4 RP n454_a_dick_1952__1->n454_a_dick_1952__1_4 n454_a_dick_1952__1_5 PUNC n454_a_dick_1952__1->n454_a_dick_1952__1_5 n454_a_dick_1952__1_6 PP-SCON n454_a_dick_1952__1->n454_a_dick_1952__1_6 n454_a_dick_1952__1_7 PUNC n454_a_dick_1952__1->n454_a_dick_1952__1_7 n454_a_dick_1952__1_1_1 ADV n454_a_dick_1952__1_1->n454_a_dick_1952__1_1_1 n454_a_dick_1952__1_1_1->n454_a_dick_1952__1_1_1_1 n454_a_dick_1952__1_2_1 PRO n454_a_dick_1952__1_2->n454_a_dick_1952__1_2_1 n454_a_dick_1952__1_2_1->n454_a_dick_1952__1_2_1_1 n454_a_dick_1952__1_3->n454_a_dick_1952__1_3_1 n454_a_dick_1952__1_4->n454_a_dick_1952__1_4_1 n454_a_dick_1952__1_5->n454_a_dick_1952__1_5_1 n454_a_dick_1952__1_6_1 IP-PPL n454_a_dick_1952__1_6->n454_a_dick_1952__1_6_1 n454_a_dick_1952__1_6_1_1 VAG;_Tn_ n454_a_dick_1952__1_6_1->n454_a_dick_1952__1_6_1_1 n454_a_dick_1952__1_6_1_2 NP-OB1 n454_a_dick_1952__1_6_1->n454_a_dick_1952__1_6_1_2 n454_a_dick_1952__1_6_1_3 PP-NIM n454_a_dick_1952__1_6_1->n454_a_dick_1952__1_6_1_3 n454_a_dick_1952__1_6_1_1->n454_a_dick_1952__1_6_1_1_1 n454_a_dick_1952__1_6_1_2_1 D n454_a_dick_1952__1_6_1_2->n454_a_dick_1952__1_6_1_2_1 n454_a_dick_1952__1_6_1_2_2 N n454_a_dick_1952__1_6_1_2->n454_a_dick_1952__1_6_1_2_2 n454_a_dick_1952__1_6_1_2_1->n454_a_dick_1952__1_6_1_2_1_1 n454_a_dick_1952__1_6_1_2_2->n454_a_dick_1952__1_6_1_2_2_1 n454_a_dick_1952__1_6_1_3_1 P-ROLE n454_a_dick_1952__1_6_1_3->n454_a_dick_1952__1_6_1_3_1 n454_a_dick_1952__1_6_1_3_2 NP n454_a_dick_1952__1_6_1_3->n454_a_dick_1952__1_6_1_3_2 n454_a_dick_1952__1_6_1_3_1->n454_a_dick_1952__1_6_1_3_1_1 n454_a_dick_1952__1_6_1_3_2_1 PRO n454_a_dick_1952__1_6_1_3_2->n454_a_dick_1952__1_6_1_3_2_1 n454_a_dick_1952__1_6_1_3_2_1->n454_a_dick_1952__1_6_1_3_2_1_1 n454_a_dick_1952__1_7->n454_a_dick_1952__1_7_1 
( (IP-MAT (ADVP-NIM (ADV Then;{then}))
          (NP-SBJ;{DORLE_NASHA_TANCE} (PRO they;{they}))
          (VBD;_Ip_ went;{go[on]})
          (RP on;{on})
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tn_ flashing;{flash})
                           (NP-OB1 (D the;{the})
                                   (N light;{light}))
                           (PP-NIM (P-ROLE ahead_of;{ahead_of})
                                   (NP;{DORLE_NASHA_TANCE} (PRO them;{they})))))
          (PUNC .))
  (ID 454_a_dick_1952))