Context                Previous, Next                Top


208_a_wilde_1_1888
Then the snow came, and after the snow came the frost.

%3 r_0208_0004__came came r_0208_0001__Then Then r_0208_0004__came->r_0208_0001__Then [nim] r_0208_0002__the_r_0208_0003__snow the snow r_0208_0004__came->r_0208_0002__the_r_0208_0003__snow [arg0] r_0208_0006__and and r_0208_0006__and->r_0208_0004__came [conj1] r_0208_0010__came came r_0208_0006__and->r_0208_0010__came [conj2] r_0208_0008__the_r_0208_0009__snow the snow r_0208_0010__came->r_0208_0008__the_r_0208_0009__snow after [nim] r_0208_0011__the_r_0208_0012__frost the frost r_0208_0010__came->r_0208_0011__the_r_0208_0012__frost [arg0] 
arc(r_0208_0004__came, r_0208_0001__Then, nim4).
arc(r_0208_0004__came, r_0208_0002__the_r_0208_0003__snow, arg0).
arc(r_0208_0006__and, r_0208_0004__came, conj1).
arc(r_0208_0006__and, r_0208_0010__came, conj2).
arc(r_0208_0010__came, r_0208_0008__the_r_0208_0009__snow, r_0208_0007__after_nim23).
arc(r_0208_0010__came, r_0208_0011__the_r_0208_0012__frost, arg0).


%3 r_0208_0004__came came r_0208_0001__Then Then r_0208_0004__came->r_0208_0001__Then [nim] r_0208_0002__the_r_0208_0003__snow the snow r_0208_0004__came->r_0208_0002__the_r_0208_0003__snow [arg0] r_0208_0006__and and r_0208_0006__and->r_0208_0004__came [conj1] r_0208_0010__came came r_0208_0006__and->r_0208_0010__came [conj2] r_0208_0008__the_r_0208_0009__snow the snow r_0208_0010__came->r_0208_0008__the_r_0208_0009__snow after [nim] r_0208_0011__the_r_0208_0012__frost the frost r_0208_0010__came->r_0208_0011__the_r_0208_0012__frost [arg0] 
fof(formula,axiom,
    ? [R_208_6_AND,R_208_4_CAME,R_208_2_THE_SNOW,R_208_1_THEN,R_208_10_CAME,R_208_11_THE_FROST,R_208_8_THE_SNOW] :
      ( the_snow(R_208_2_THE_SNOW)
      & then(R_208_1_THEN)
      & the_frost(R_208_11_THE_FROST)
      & the_snow(R_208_8_THE_SNOW)
      & and(R_208_6_AND)
      & conj1(R_208_6_AND,R_208_4_CAME)
      & came(R_208_4_CAME,R_208_2_THE_SNOW)
      & nim4(R_208_4_CAME,R_208_1_THEN)
      & conj2(R_208_6_AND,R_208_10_CAME)
      & came(R_208_10_CAME,R_208_11_THE_FROST)
      & after_nim23(R_208_10_CAME,R_208_8_THE_SNOW) ) ).


n208_a_wilde_1_1888 n208_a_wilde_1_1888_6 Then n208_a_wilde_1_1888_9 the n208_a_wilde_1_1888_11 snow n208_a_wilde_1_1888_13 came n208_a_wilde_1_1888_15 , n208_a_wilde_1_1888_18 and n208_a_wilde_1_1888_22 after n208_a_wilde_1_1888_25 the n208_a_wilde_1_1888_27 snow n208_a_wilde_1_1888_29 came n208_a_wilde_1_1888_32 the n208_a_wilde_1_1888_34 frost n208_a_wilde_1_1888_36 . n208_a_wilde_1_1888_1 IP-MAT n208_a_wilde_1_1888_2 ILYR n208_a_wilde_1_1888_1->n208_a_wilde_1_1888_2 n208_a_wilde_1_1888_35 PUNC n208_a_wilde_1_1888_1->n208_a_wilde_1_1888_35 n208_a_wilde_1_1888_3 ILYR n208_a_wilde_1_1888_2->n208_a_wilde_1_1888_3 n208_a_wilde_1_1888_14 PUNC n208_a_wilde_1_1888_2->n208_a_wilde_1_1888_14 n208_a_wilde_1_1888_16 CONJP n208_a_wilde_1_1888_2->n208_a_wilde_1_1888_16 n208_a_wilde_1_1888_4 ADVP-NIM n208_a_wilde_1_1888_3->n208_a_wilde_1_1888_4 n208_a_wilde_1_1888_7 NP-SBJ n208_a_wilde_1_1888_3->n208_a_wilde_1_1888_7 n208_a_wilde_1_1888_12 VBD;__ n208_a_wilde_1_1888_3->n208_a_wilde_1_1888_12 n208_a_wilde_1_1888_5 ADV n208_a_wilde_1_1888_4->n208_a_wilde_1_1888_5 n208_a_wilde_1_1888_5->n208_a_wilde_1_1888_6 n208_a_wilde_1_1888_8 D n208_a_wilde_1_1888_7->n208_a_wilde_1_1888_8 n208_a_wilde_1_1888_10 N n208_a_wilde_1_1888_7->n208_a_wilde_1_1888_10 n208_a_wilde_1_1888_8->n208_a_wilde_1_1888_9 n208_a_wilde_1_1888_10->n208_a_wilde_1_1888_11 n208_a_wilde_1_1888_12->n208_a_wilde_1_1888_13 n208_a_wilde_1_1888_14->n208_a_wilde_1_1888_15 n208_a_wilde_1_1888_17 CONJ n208_a_wilde_1_1888_16->n208_a_wilde_1_1888_17 n208_a_wilde_1_1888_19 ILYR n208_a_wilde_1_1888_16->n208_a_wilde_1_1888_19 n208_a_wilde_1_1888_17->n208_a_wilde_1_1888_18 n208_a_wilde_1_1888_20 PP-TPC-NIM n208_a_wilde_1_1888_19->n208_a_wilde_1_1888_20 n208_a_wilde_1_1888_28 VBD;__ n208_a_wilde_1_1888_19->n208_a_wilde_1_1888_28 n208_a_wilde_1_1888_30 NP-SBJ n208_a_wilde_1_1888_19->n208_a_wilde_1_1888_30 n208_a_wilde_1_1888_21 P-ROLE n208_a_wilde_1_1888_20->n208_a_wilde_1_1888_21 n208_a_wilde_1_1888_23 NP n208_a_wilde_1_1888_20->n208_a_wilde_1_1888_23 n208_a_wilde_1_1888_21->n208_a_wilde_1_1888_22 n208_a_wilde_1_1888_24 D n208_a_wilde_1_1888_23->n208_a_wilde_1_1888_24 n208_a_wilde_1_1888_26 N n208_a_wilde_1_1888_23->n208_a_wilde_1_1888_26 n208_a_wilde_1_1888_24->n208_a_wilde_1_1888_25 n208_a_wilde_1_1888_26->n208_a_wilde_1_1888_27 n208_a_wilde_1_1888_28->n208_a_wilde_1_1888_29 n208_a_wilde_1_1888_31 D n208_a_wilde_1_1888_30->n208_a_wilde_1_1888_31 n208_a_wilde_1_1888_33 N n208_a_wilde_1_1888_30->n208_a_wilde_1_1888_33 n208_a_wilde_1_1888_31->n208_a_wilde_1_1888_32 n208_a_wilde_1_1888_33->n208_a_wilde_1_1888_34 n208_a_wilde_1_1888_35->n208_a_wilde_1_1888_36 
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Then;{then}))
                      (NP-SBJ (D the;{the})
                              (N snow;{snow}))
                      (VBD;__ came;{come}))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-TPC-NIM (P-ROLE after;{after})
                                         (NP (D the;{the})
                                             (N snow;{snow})))
                             (VBD;__ came;{come})
                             (NP-SBJ (D the;{the})
                                     (N frost;{frost})))))
          (PUNC .))
  (ID 208_a_wilde_1_1888))