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_0010__came came r_0208_0011__the_r_0208_0012__frost the frost r_0208_0010__came->r_0208_0011__the_r_0208_0012__frost [arg0] 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_0006__and and r_0208_0006__and->r_0208_0010__came [conj2] r_0208_0004__came came r_0208_0006__and->r_0208_0004__came [conj1] 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_0001__Then Then r_0208_0004__came->r_0208_0001__Then [nim] 
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__1_1_1_1_1_1 Then n208_a_wilde_1_1888__1_1_1_2_1_1 the n208_a_wilde_1_1888__1_1_1_2_2_1 snow n208_a_wilde_1_1888__1_1_1_3_1 came n208_a_wilde_1_1888__1_1_2_1 , n208_a_wilde_1_1888__1_1_3_1_1 and n208_a_wilde_1_1888__1_1_3_2_1_1_1 after n208_a_wilde_1_1888__1_1_3_2_1_2_1_1 the n208_a_wilde_1_1888__1_1_3_2_1_2_2_1 snow n208_a_wilde_1_1888__1_1_3_2_2_1 came n208_a_wilde_1_1888__1_1_3_2_3_1_1 the n208_a_wilde_1_1888__1_1_3_2_3_2_1 frost n208_a_wilde_1_1888__1_2_1 . n208_a_wilde_1_1888__1 IP-MAT n208_a_wilde_1_1888__1_1 ILYR n208_a_wilde_1_1888__1->n208_a_wilde_1_1888__1_1 n208_a_wilde_1_1888__1_2 PUNC n208_a_wilde_1_1888__1->n208_a_wilde_1_1888__1_2 n208_a_wilde_1_1888__1_1_1 ILYR n208_a_wilde_1_1888__1_1->n208_a_wilde_1_1888__1_1_1 n208_a_wilde_1_1888__1_1_2 PUNC n208_a_wilde_1_1888__1_1->n208_a_wilde_1_1888__1_1_2 n208_a_wilde_1_1888__1_1_3 CONJP n208_a_wilde_1_1888__1_1->n208_a_wilde_1_1888__1_1_3 n208_a_wilde_1_1888__1_1_1_1 ADVP-NIM n208_a_wilde_1_1888__1_1_1->n208_a_wilde_1_1888__1_1_1_1 n208_a_wilde_1_1888__1_1_1_2 NP-SBJ n208_a_wilde_1_1888__1_1_1->n208_a_wilde_1_1888__1_1_1_2 n208_a_wilde_1_1888__1_1_1_3 VBD;__ n208_a_wilde_1_1888__1_1_1->n208_a_wilde_1_1888__1_1_1_3 n208_a_wilde_1_1888__1_1_1_1_1 ADV n208_a_wilde_1_1888__1_1_1_1->n208_a_wilde_1_1888__1_1_1_1_1 n208_a_wilde_1_1888__1_1_1_1_1->n208_a_wilde_1_1888__1_1_1_1_1_1 n208_a_wilde_1_1888__1_1_1_2_1 D n208_a_wilde_1_1888__1_1_1_2->n208_a_wilde_1_1888__1_1_1_2_1 n208_a_wilde_1_1888__1_1_1_2_2 N n208_a_wilde_1_1888__1_1_1_2->n208_a_wilde_1_1888__1_1_1_2_2 n208_a_wilde_1_1888__1_1_1_2_1->n208_a_wilde_1_1888__1_1_1_2_1_1 n208_a_wilde_1_1888__1_1_1_2_2->n208_a_wilde_1_1888__1_1_1_2_2_1 n208_a_wilde_1_1888__1_1_1_3->n208_a_wilde_1_1888__1_1_1_3_1 n208_a_wilde_1_1888__1_1_2->n208_a_wilde_1_1888__1_1_2_1 n208_a_wilde_1_1888__1_1_3_1 CONJ n208_a_wilde_1_1888__1_1_3->n208_a_wilde_1_1888__1_1_3_1 n208_a_wilde_1_1888__1_1_3_2 ILYR n208_a_wilde_1_1888__1_1_3->n208_a_wilde_1_1888__1_1_3_2 n208_a_wilde_1_1888__1_1_3_1->n208_a_wilde_1_1888__1_1_3_1_1 n208_a_wilde_1_1888__1_1_3_2_1 PP-TPC-NIM n208_a_wilde_1_1888__1_1_3_2->n208_a_wilde_1_1888__1_1_3_2_1 n208_a_wilde_1_1888__1_1_3_2_2 VBD;__ n208_a_wilde_1_1888__1_1_3_2->n208_a_wilde_1_1888__1_1_3_2_2 n208_a_wilde_1_1888__1_1_3_2_3 NP-SBJ n208_a_wilde_1_1888__1_1_3_2->n208_a_wilde_1_1888__1_1_3_2_3 n208_a_wilde_1_1888__1_1_3_2_1_1 P-ROLE n208_a_wilde_1_1888__1_1_3_2_1->n208_a_wilde_1_1888__1_1_3_2_1_1 n208_a_wilde_1_1888__1_1_3_2_1_2 NP n208_a_wilde_1_1888__1_1_3_2_1->n208_a_wilde_1_1888__1_1_3_2_1_2 n208_a_wilde_1_1888__1_1_3_2_1_1->n208_a_wilde_1_1888__1_1_3_2_1_1_1 n208_a_wilde_1_1888__1_1_3_2_1_2_1 D n208_a_wilde_1_1888__1_1_3_2_1_2->n208_a_wilde_1_1888__1_1_3_2_1_2_1 n208_a_wilde_1_1888__1_1_3_2_1_2_2 N n208_a_wilde_1_1888__1_1_3_2_1_2->n208_a_wilde_1_1888__1_1_3_2_1_2_2 n208_a_wilde_1_1888__1_1_3_2_1_2_1->n208_a_wilde_1_1888__1_1_3_2_1_2_1_1 n208_a_wilde_1_1888__1_1_3_2_1_2_2->n208_a_wilde_1_1888__1_1_3_2_1_2_2_1 n208_a_wilde_1_1888__1_1_3_2_2->n208_a_wilde_1_1888__1_1_3_2_2_1 n208_a_wilde_1_1888__1_1_3_2_3_1 D n208_a_wilde_1_1888__1_1_3_2_3->n208_a_wilde_1_1888__1_1_3_2_3_1 n208_a_wilde_1_1888__1_1_3_2_3_2 N n208_a_wilde_1_1888__1_1_3_2_3->n208_a_wilde_1_1888__1_1_3_2_3_2 n208_a_wilde_1_1888__1_1_3_2_3_1->n208_a_wilde_1_1888__1_1_3_2_3_1_1 n208_a_wilde_1_1888__1_1_3_2_3_2->n208_a_wilde_1_1888__1_1_3_2_3_2_1 n208_a_wilde_1_1888__1_2->n208_a_wilde_1_1888__1_2_1 
( (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))