Context                Previous, Next                Top


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

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))


%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] 
arc(r_0208_0004__came,r_0208_0001__Then,nim).
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__nim).
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_0208_0001__THEN,R_0208_0002__THE_R_0208_0003__SNOW,R_0208_0004__CAME,R_0208_0008__THE_R_0208_0009__SNOW,R_0208_0011__THE_R_0208_0012__FROST,R_0208_0010__CAME,R_0208_0006__AND] :
      ( r_0208_0001__Then(R_0208_0001__THEN)
      & r_0208_0002__the_r_0208_0003__snow(R_0208_0002__THE_R_0208_0003__SNOW)
      & r_0208_0008__the_r_0208_0009__snow(R_0208_0008__THE_R_0208_0009__SNOW)
      & r_0208_0011__the_r_0208_0012__frost(R_0208_0011__THE_R_0208_0012__FROST)
      & r_0208_0006__and(R_0208_0006__AND)
      & has_conj2(R_0208_0006__AND,R_0208_0010__CAME)
      & r_0208_0010__came(R_0208_0010__CAME)
      & has_arg0(R_0208_0010__CAME,R_0208_0011__THE_R_0208_0012__FROST)
      & has_r_0208_0007__after__nim(R_0208_0010__CAME,R_0208_0008__THE_R_0208_0009__SNOW)
      & has_conj1(R_0208_0006__AND,R_0208_0004__CAME)
      & r_0208_0004__came(R_0208_0004__CAME)
      & has_arg0(R_0208_0004__CAME,R_0208_0002__THE_R_0208_0003__SNOW)
      & has_nim(R_0208_0004__CAME,R_0208_0001__THEN) ) ).