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_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]
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_6 Then n27_a_wilde_2_1888_9 they n27_a_wilde_2_1888_11 invited n27_a_wilde_2_1888_14 the n27_a_wilde_2_1888_16 North n27_a_wilde_2_1888_18 Wind n27_a_wilde_2_1888_21 to n27_a_wilde_2_1888_23 stay n27_a_wilde_2_1888_26 with n27_a_wilde_2_1888_29 them n27_a_wilde_2_1888_31 , n27_a_wilde_2_1888_34 and n27_a_wilde_2_1888_38 he n27_a_wilde_2_1888_40 came n27_a_wilde_2_1888_42 . n27_a_wilde_2_1888_1 IP-MAT n27_a_wilde_2_1888_2 ILYR n27_a_wilde_2_1888_1->n27_a_wilde_2_1888_2 n27_a_wilde_2_1888_41 PUNC n27_a_wilde_2_1888_1->n27_a_wilde_2_1888_41 n27_a_wilde_2_1888_3 ILYR n27_a_wilde_2_1888_2->n27_a_wilde_2_1888_3 n27_a_wilde_2_1888_30 PUNC n27_a_wilde_2_1888_2->n27_a_wilde_2_1888_30 n27_a_wilde_2_1888_32 CONJP n27_a_wilde_2_1888_2->n27_a_wilde_2_1888_32 n27_a_wilde_2_1888_4 ADVP-NIM n27_a_wilde_2_1888_3->n27_a_wilde_2_1888_4 n27_a_wilde_2_1888_7 NP-SBJ n27_a_wilde_2_1888_3->n27_a_wilde_2_1888_7 n27_a_wilde_2_1888_10 VBD;_Dn.t_ n27_a_wilde_2_1888_3->n27_a_wilde_2_1888_10 n27_a_wilde_2_1888_12 NP-OB2 n27_a_wilde_2_1888_3->n27_a_wilde_2_1888_12 n27_a_wilde_2_1888_19 IP-INF-OB1 n27_a_wilde_2_1888_3->n27_a_wilde_2_1888_19 n27_a_wilde_2_1888_5 ADV n27_a_wilde_2_1888_4->n27_a_wilde_2_1888_5 n27_a_wilde_2_1888_5->n27_a_wilde_2_1888_6 n27_a_wilde_2_1888_8 PRO n27_a_wilde_2_1888_7->n27_a_wilde_2_1888_8 n27_a_wilde_2_1888_8->n27_a_wilde_2_1888_9 n27_a_wilde_2_1888_10->n27_a_wilde_2_1888_11 n27_a_wilde_2_1888_13 D n27_a_wilde_2_1888_12->n27_a_wilde_2_1888_13 n27_a_wilde_2_1888_15 N n27_a_wilde_2_1888_12->n27_a_wilde_2_1888_15 n27_a_wilde_2_1888_17 N n27_a_wilde_2_1888_12->n27_a_wilde_2_1888_17 n27_a_wilde_2_1888_13->n27_a_wilde_2_1888_14 n27_a_wilde_2_1888_15->n27_a_wilde_2_1888_16 n27_a_wilde_2_1888_17->n27_a_wilde_2_1888_18 n27_a_wilde_2_1888_20 TO n27_a_wilde_2_1888_19->n27_a_wilde_2_1888_20 n27_a_wilde_2_1888_22 VB;__ n27_a_wilde_2_1888_19->n27_a_wilde_2_1888_22 n27_a_wilde_2_1888_24 PP-NIM n27_a_wilde_2_1888_19->n27_a_wilde_2_1888_24 n27_a_wilde_2_1888_20->n27_a_wilde_2_1888_21 n27_a_wilde_2_1888_22->n27_a_wilde_2_1888_23 n27_a_wilde_2_1888_25 P-ROLE n27_a_wilde_2_1888_24->n27_a_wilde_2_1888_25 n27_a_wilde_2_1888_27 NP n27_a_wilde_2_1888_24->n27_a_wilde_2_1888_27 n27_a_wilde_2_1888_25->n27_a_wilde_2_1888_26 n27_a_wilde_2_1888_28 PRO n27_a_wilde_2_1888_27->n27_a_wilde_2_1888_28 n27_a_wilde_2_1888_28->n27_a_wilde_2_1888_29 n27_a_wilde_2_1888_30->n27_a_wilde_2_1888_31 n27_a_wilde_2_1888_33 CONJ n27_a_wilde_2_1888_32->n27_a_wilde_2_1888_33 n27_a_wilde_2_1888_35 ILYR n27_a_wilde_2_1888_32->n27_a_wilde_2_1888_35 n27_a_wilde_2_1888_33->n27_a_wilde_2_1888_34 n27_a_wilde_2_1888_36 NP-SBJ n27_a_wilde_2_1888_35->n27_a_wilde_2_1888_36 n27_a_wilde_2_1888_39 VBD;__ n27_a_wilde_2_1888_35->n27_a_wilde_2_1888_39 n27_a_wilde_2_1888_37 PRO n27_a_wilde_2_1888_36->n27_a_wilde_2_1888_37 n27_a_wilde_2_1888_37->n27_a_wilde_2_1888_38 n27_a_wilde_2_1888_39->n27_a_wilde_2_1888_40 n27_a_wilde_2_1888_41->n27_a_wilde_2_1888_42
( (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))