Context                Previous, Next                Top


24_a_wilde_1_1888
Then, when the autumn came they all flew away.

%3 r_0024_0003__when when r_0024_0006__came came r_0024_0003__when->r_0024_0006__came [restriction] r_0024_0009__flew flew r_0024_0003__when->r_0024_0009__flew [scope] r_0024_0004__the_r_0024_0005__autumn the autumn r_0024_0006__came->r_0024_0004__the_r_0024_0005__autumn [arg0] r_0024_0001__Then Then r_0024_0009__flew->r_0024_0001__Then [nim] r_0024_0007__they they r_0024_0009__flew->r_0024_0007__they [arg0] r_0024_0008__all all r_0024_0009__flew->r_0024_0008__all [nim] r_0024_0010__away away r_0024_0009__flew->r_0024_0010__away [nim] 
arc(r_0024_0003__when, r_0024_0006__came, restriction).
arc(r_0024_0003__when, r_0024_0009__flew, scope).
arc(r_0024_0006__came, r_0024_0004__the_r_0024_0005__autumn, arg0).
arc(r_0024_0009__flew, r_0024_0001__Then, nim2).
arc(r_0024_0009__flew, r_0024_0007__they, arg0).
arc(r_0024_0009__flew, r_0024_0008__all, nim21).
arc(r_0024_0009__flew, r_0024_0010__away, nim26).


%3 r_0024_0009__flew flew r_0024_0010__away away r_0024_0009__flew->r_0024_0010__away [nim] r_0024_0008__all all r_0024_0009__flew->r_0024_0008__all [nim] r_0024_0007__they they r_0024_0009__flew->r_0024_0007__they [arg0] r_0024_0001__Then Then r_0024_0009__flew->r_0024_0001__Then [nim] r_0024_0006__came came r_0024_0004__the_r_0024_0005__autumn the autumn r_0024_0006__came->r_0024_0004__the_r_0024_0005__autumn [arg0] r_0024_0003__when when r_0024_0003__when->r_0024_0009__flew [scope] r_0024_0003__when->r_0024_0006__came [restriction] 
fof(formula,axiom,
    ! [R_24_6_CAME,R_24_4_THE_AUTUMN] :
      ( ( the_autumn(R_24_4_THE_AUTUMN)
        & came(R_24_6_CAME,R_24_4_THE_AUTUMN) )
     => ? [R_24_9_FLEW,R_24_7_THEY,R_24_1_THEN,R_24_8_ALL,R_24_10_AWAY] :
          ( they(R_24_7_THEY)
          & then(R_24_1_THEN)
          & all(R_24_8_ALL)
          & away(R_24_10_AWAY)
          & flew(R_24_9_FLEW,R_24_7_THEY)
          & nim2(R_24_9_FLEW,R_24_1_THEN)
          & nim21(R_24_9_FLEW,R_24_8_ALL)
          & nim26(R_24_9_FLEW,R_24_10_AWAY) ) ) ).


n24_a_wilde_1_1888 n24_a_wilde_1_1888__1_1_1_1 Then n24_a_wilde_1_1888__1_2_1 , n24_a_wilde_1_1888__1_3_1_1 when n24_a_wilde_1_1888__1_3_2_1_1_1 the n24_a_wilde_1_1888__1_3_2_1_2_1 autumn n24_a_wilde_1_1888__1_3_2_2_1 came n24_a_wilde_1_1888__1_4_1_1 they n24_a_wilde_1_1888__1_5_1_1 all n24_a_wilde_1_1888__1_6_1 flew n24_a_wilde_1_1888__1_7_1_1 away n24_a_wilde_1_1888__1_8_1 . n24_a_wilde_1_1888__1 IP-MAT n24_a_wilde_1_1888__1_1 ADVP-NIM n24_a_wilde_1_1888__1->n24_a_wilde_1_1888__1_1 n24_a_wilde_1_1888__1_2 PUNC n24_a_wilde_1_1888__1->n24_a_wilde_1_1888__1_2 n24_a_wilde_1_1888__1_3 PP-SCON n24_a_wilde_1_1888__1->n24_a_wilde_1_1888__1_3 n24_a_wilde_1_1888__1_4 NP-SBJ n24_a_wilde_1_1888__1->n24_a_wilde_1_1888__1_4 n24_a_wilde_1_1888__1_5 ADVP-NIM n24_a_wilde_1_1888__1->n24_a_wilde_1_1888__1_5 n24_a_wilde_1_1888__1_6 VBD;_Ip_ n24_a_wilde_1_1888__1->n24_a_wilde_1_1888__1_6 n24_a_wilde_1_1888__1_7 ADVP-NIM n24_a_wilde_1_1888__1->n24_a_wilde_1_1888__1_7 n24_a_wilde_1_1888__1_8 PUNC n24_a_wilde_1_1888__1->n24_a_wilde_1_1888__1_8 n24_a_wilde_1_1888__1_1_1 ADV n24_a_wilde_1_1888__1_1->n24_a_wilde_1_1888__1_1_1 n24_a_wilde_1_1888__1_1_1->n24_a_wilde_1_1888__1_1_1_1 n24_a_wilde_1_1888__1_2->n24_a_wilde_1_1888__1_2_1 n24_a_wilde_1_1888__1_3_1 P-CONN n24_a_wilde_1_1888__1_3->n24_a_wilde_1_1888__1_3_1 n24_a_wilde_1_1888__1_3_2 IP-ADV n24_a_wilde_1_1888__1_3->n24_a_wilde_1_1888__1_3_2 n24_a_wilde_1_1888__1_3_1->n24_a_wilde_1_1888__1_3_1_1 n24_a_wilde_1_1888__1_3_2_1 NP-SBJ n24_a_wilde_1_1888__1_3_2->n24_a_wilde_1_1888__1_3_2_1 n24_a_wilde_1_1888__1_3_2_2 VBD;_I_ n24_a_wilde_1_1888__1_3_2->n24_a_wilde_1_1888__1_3_2_2 n24_a_wilde_1_1888__1_3_2_1_1 D n24_a_wilde_1_1888__1_3_2_1->n24_a_wilde_1_1888__1_3_2_1_1 n24_a_wilde_1_1888__1_3_2_1_2 N n24_a_wilde_1_1888__1_3_2_1->n24_a_wilde_1_1888__1_3_2_1_2 n24_a_wilde_1_1888__1_3_2_1_1->n24_a_wilde_1_1888__1_3_2_1_1_1 n24_a_wilde_1_1888__1_3_2_1_2->n24_a_wilde_1_1888__1_3_2_1_2_1 n24_a_wilde_1_1888__1_3_2_2->n24_a_wilde_1_1888__1_3_2_2_1 n24_a_wilde_1_1888__1_4_1 PRO n24_a_wilde_1_1888__1_4->n24_a_wilde_1_1888__1_4_1 n24_a_wilde_1_1888__1_4_1->n24_a_wilde_1_1888__1_4_1_1 n24_a_wilde_1_1888__1_5_1 ADV n24_a_wilde_1_1888__1_5->n24_a_wilde_1_1888__1_5_1 n24_a_wilde_1_1888__1_5_1->n24_a_wilde_1_1888__1_5_1_1 n24_a_wilde_1_1888__1_6->n24_a_wilde_1_1888__1_6_1 n24_a_wilde_1_1888__1_7_1 RP n24_a_wilde_1_1888__1_7->n24_a_wilde_1_1888__1_7_1 n24_a_wilde_1_1888__1_7_1->n24_a_wilde_1_1888__1_7_1_1 n24_a_wilde_1_1888__1_8->n24_a_wilde_1_1888__1_8_1 
( (IP-MAT (ADVP-NIM (ADV Then;{then}))
          (PUNC ,)
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (N autumn;{autumn}))
                           (VBD;_I_ came;{come})))
          (NP-SBJ;{OTHERS} (PRO they;{they}))
          (ADVP-NIM (ADV all;{all}))
          (VBD;_Ip_ flew;{fly[away]})
          (ADVP-NIM (RP away;{away}))
          (PUNC .))
  (ID 24_a_wilde_1_1888))