Context                Previous, Next                Top


27_a_wilde_2_1888
Then they invited the North Wind to stay with them, and he came.

%3 r_0027_0003__invited invited r_0027_0001__Then Then r_0027_0003__invited->r_0027_0001__Then [nim] r_0027_0002__they they r_0027_0003__invited->r_0027_0002__they [arg0] r_0027_0004__the_r_0027_0005__North_r_0027_0006__Wind the North Wind r_0027_0003__invited->r_0027_0004__the_r_0027_0005__North_r_0027_0006__Wind [arg2] r_0027_0007__to_r_0027_0008__stay to stay r_0027_0003__invited->r_0027_0007__to_r_0027_0008__stay [arg1] r_0027_0007__to_r_0027_0008__stay->r_0027_0002__they with [nim] r_0027_0007__to_r_0027_0008__stay->r_0027_0004__the_r_0027_0005__North_r_0027_0006__Wind [arg0] r_0027_0012__and and r_0027_0012__and->r_0027_0003__invited [conj1] r_0027_0014__came came r_0027_0012__and->r_0027_0014__came [conj2] r_0027_0014__came->r_0027_0004__the_r_0027_0005__North_r_0027_0006__Wind [arg0] 
arc(r_0027_0003__invited, r_0027_0001__Then, nim4).
arc(r_0027_0003__invited, r_0027_0002__they, arg0).
arc(r_0027_0003__invited, r_0027_0004__the_r_0027_0005__North_r_0027_0006__Wind, arg2).
arc(r_0027_0003__invited, r_0027_0007__to_r_0027_0008__stay, arg1).
arc(r_0027_0007__to_r_0027_0008__stay, r_0027_0002__they, r_0027_0009__with_nim27).
arc(r_0027_0007__to_r_0027_0008__stay, r_0027_0004__the_r_0027_0005__North_r_0027_0006__Wind, arg0).
arc(r_0027_0012__and, r_0027_0003__invited, conj1).
arc(r_0027_0012__and, r_0027_0014__came, conj2).
arc(r_0027_0014__came, r_0027_0004__the_r_0027_0005__North_r_0027_0006__Wind, arg0).


%3 r_0027_0014__came came r_0027_0004__the_r_0027_0005__North_r_0027_0006__Wind the North Wind r_0027_0014__came->r_0027_0004__the_r_0027_0005__North_r_0027_0006__Wind [arg0] r_0027_0012__and and r_0027_0012__and->r_0027_0014__came [conj2] r_0027_0003__invited invited r_0027_0012__and->r_0027_0003__invited [conj1] r_0027_0003__invited->r_0027_0004__the_r_0027_0005__North_r_0027_0006__Wind [arg2] r_0027_0007__to_r_0027_0008__stay to stay r_0027_0003__invited->r_0027_0007__to_r_0027_0008__stay [arg1] r_0027_0002__they they r_0027_0003__invited->r_0027_0002__they [arg0] r_0027_0001__Then Then r_0027_0003__invited->r_0027_0001__Then [nim] r_0027_0007__to_r_0027_0008__stay->r_0027_0004__the_r_0027_0005__North_r_0027_0006__Wind [arg0] r_0027_0007__to_r_0027_0008__stay->r_0027_0002__they with [nim] 
fof(formula,axiom,
    ? [R_27_12_AND,R_27_3_INVITED,R_27_7_TO_STAY,R_27_2_THEY,R_27_1_THEN,R_27_14_CAME,R_27_4_THE_NORTH_WIND] :
      ( they(R_27_2_THEY)
      & then(R_27_1_THEN)
      & the_North_Wind(R_27_4_THE_NORTH_WIND)
      & and(R_27_12_AND)
      & conj1(R_27_12_AND,R_27_3_INVITED)
      & invited(R_27_3_INVITED,R_27_2_THEY,R_27_7_TO_STAY,R_27_4_THE_NORTH_WIND)
      & to_stay(R_27_7_TO_STAY,R_27_4_THE_NORTH_WIND)
      & with_nim27(R_27_7_TO_STAY,R_27_2_THEY)
      & nim4(R_27_3_INVITED,R_27_1_THEN)
      & conj2(R_27_12_AND,R_27_14_CAME)
      & came(R_27_14_CAME,R_27_4_THE_NORTH_WIND) ) ).


n27_a_wilde_2_1888 n27_a_wilde_2_1888__1_1_1_1_1_1 Then n27_a_wilde_2_1888__1_1_1_2_1_1 they n27_a_wilde_2_1888__1_1_1_3_1 invited n27_a_wilde_2_1888__1_1_1_4_1_1 the n27_a_wilde_2_1888__1_1_1_4_2_1 North n27_a_wilde_2_1888__1_1_1_4_3_1 Wind n27_a_wilde_2_1888__1_1_1_5_1_1 to n27_a_wilde_2_1888__1_1_1_5_2_1 stay n27_a_wilde_2_1888__1_1_1_5_3_1_1 with n27_a_wilde_2_1888__1_1_1_5_3_2_1_1 them n27_a_wilde_2_1888__1_1_2_1 , n27_a_wilde_2_1888__1_1_3_1_1 and n27_a_wilde_2_1888__1_1_3_2_1_1_1 he n27_a_wilde_2_1888__1_1_3_2_2_1 came n27_a_wilde_2_1888__1_2_1 . n27_a_wilde_2_1888__1 IP-MAT n27_a_wilde_2_1888__1_1 ILYR n27_a_wilde_2_1888__1->n27_a_wilde_2_1888__1_1 n27_a_wilde_2_1888__1_2 PUNC n27_a_wilde_2_1888__1->n27_a_wilde_2_1888__1_2 n27_a_wilde_2_1888__1_1_1 ILYR n27_a_wilde_2_1888__1_1->n27_a_wilde_2_1888__1_1_1 n27_a_wilde_2_1888__1_1_2 PUNC n27_a_wilde_2_1888__1_1->n27_a_wilde_2_1888__1_1_2 n27_a_wilde_2_1888__1_1_3 CONJP n27_a_wilde_2_1888__1_1->n27_a_wilde_2_1888__1_1_3 n27_a_wilde_2_1888__1_1_1_1 ADVP-NIM n27_a_wilde_2_1888__1_1_1->n27_a_wilde_2_1888__1_1_1_1 n27_a_wilde_2_1888__1_1_1_2 NP-SBJ n27_a_wilde_2_1888__1_1_1->n27_a_wilde_2_1888__1_1_1_2 n27_a_wilde_2_1888__1_1_1_3 VBD;_Dn.t_ n27_a_wilde_2_1888__1_1_1->n27_a_wilde_2_1888__1_1_1_3 n27_a_wilde_2_1888__1_1_1_4 NP-OB2 n27_a_wilde_2_1888__1_1_1->n27_a_wilde_2_1888__1_1_1_4 n27_a_wilde_2_1888__1_1_1_5 IP-INF-OB1 n27_a_wilde_2_1888__1_1_1->n27_a_wilde_2_1888__1_1_1_5 n27_a_wilde_2_1888__1_1_1_1_1 ADV n27_a_wilde_2_1888__1_1_1_1->n27_a_wilde_2_1888__1_1_1_1_1 n27_a_wilde_2_1888__1_1_1_1_1->n27_a_wilde_2_1888__1_1_1_1_1_1 n27_a_wilde_2_1888__1_1_1_2_1 PRO n27_a_wilde_2_1888__1_1_1_2->n27_a_wilde_2_1888__1_1_1_2_1 n27_a_wilde_2_1888__1_1_1_2_1->n27_a_wilde_2_1888__1_1_1_2_1_1 n27_a_wilde_2_1888__1_1_1_3->n27_a_wilde_2_1888__1_1_1_3_1 n27_a_wilde_2_1888__1_1_1_4_1 D n27_a_wilde_2_1888__1_1_1_4->n27_a_wilde_2_1888__1_1_1_4_1 n27_a_wilde_2_1888__1_1_1_4_2 N n27_a_wilde_2_1888__1_1_1_4->n27_a_wilde_2_1888__1_1_1_4_2 n27_a_wilde_2_1888__1_1_1_4_3 N n27_a_wilde_2_1888__1_1_1_4->n27_a_wilde_2_1888__1_1_1_4_3 n27_a_wilde_2_1888__1_1_1_4_1->n27_a_wilde_2_1888__1_1_1_4_1_1 n27_a_wilde_2_1888__1_1_1_4_2->n27_a_wilde_2_1888__1_1_1_4_2_1 n27_a_wilde_2_1888__1_1_1_4_3->n27_a_wilde_2_1888__1_1_1_4_3_1 n27_a_wilde_2_1888__1_1_1_5_1 TO n27_a_wilde_2_1888__1_1_1_5->n27_a_wilde_2_1888__1_1_1_5_1 n27_a_wilde_2_1888__1_1_1_5_2 VB;__ n27_a_wilde_2_1888__1_1_1_5->n27_a_wilde_2_1888__1_1_1_5_2 n27_a_wilde_2_1888__1_1_1_5_3 PP-NIM n27_a_wilde_2_1888__1_1_1_5->n27_a_wilde_2_1888__1_1_1_5_3 n27_a_wilde_2_1888__1_1_1_5_1->n27_a_wilde_2_1888__1_1_1_5_1_1 n27_a_wilde_2_1888__1_1_1_5_2->n27_a_wilde_2_1888__1_1_1_5_2_1 n27_a_wilde_2_1888__1_1_1_5_3_1 P-ROLE n27_a_wilde_2_1888__1_1_1_5_3->n27_a_wilde_2_1888__1_1_1_5_3_1 n27_a_wilde_2_1888__1_1_1_5_3_2 NP n27_a_wilde_2_1888__1_1_1_5_3->n27_a_wilde_2_1888__1_1_1_5_3_2 n27_a_wilde_2_1888__1_1_1_5_3_1->n27_a_wilde_2_1888__1_1_1_5_3_1_1 n27_a_wilde_2_1888__1_1_1_5_3_2_1 PRO n27_a_wilde_2_1888__1_1_1_5_3_2->n27_a_wilde_2_1888__1_1_1_5_3_2_1 n27_a_wilde_2_1888__1_1_1_5_3_2_1->n27_a_wilde_2_1888__1_1_1_5_3_2_1_1 n27_a_wilde_2_1888__1_1_2->n27_a_wilde_2_1888__1_1_2_1 n27_a_wilde_2_1888__1_1_3_1 CONJ n27_a_wilde_2_1888__1_1_3->n27_a_wilde_2_1888__1_1_3_1 n27_a_wilde_2_1888__1_1_3_2 ILYR n27_a_wilde_2_1888__1_1_3->n27_a_wilde_2_1888__1_1_3_2 n27_a_wilde_2_1888__1_1_3_1->n27_a_wilde_2_1888__1_1_3_1_1 n27_a_wilde_2_1888__1_1_3_2_1 NP-SBJ n27_a_wilde_2_1888__1_1_3_2->n27_a_wilde_2_1888__1_1_3_2_1 n27_a_wilde_2_1888__1_1_3_2_2 VBD;__ n27_a_wilde_2_1888__1_1_3_2->n27_a_wilde_2_1888__1_1_3_2_2 n27_a_wilde_2_1888__1_1_3_2_1_1 PRO n27_a_wilde_2_1888__1_1_3_2_1->n27_a_wilde_2_1888__1_1_3_2_1_1 n27_a_wilde_2_1888__1_1_3_2_1_1->n27_a_wilde_2_1888__1_1_3_2_1_1_1 n27_a_wilde_2_1888__1_1_3_2_2->n27_a_wilde_2_1888__1_1_3_2_2_1 n27_a_wilde_2_1888__1_2->n27_a_wilde_2_1888__1_2_1 
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Then;{then}))
                      (NP-SBJ;{SNOW_FROST} (PRO they;{they}))
                      (VBD;_Dn.t_ invited;{invite})
                      (NP-OB2;{NORTH_WIND} (D the;{the})
                                           (N North;{north})
                                           (N Wind;{wind}))
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;__ stay;{stay})
                                  (PP-NIM (P-ROLE with;{with})
                                          (NP;{SNOW_FROST} (PRO them;{they})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{NORTH_WIND} (PRO he;{he}))
                             (VBD;__ came;{come}))))
          (PUNC .))
  (ID 27_a_wilde_2_1888))