TSPC 27_a_wilde_2

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

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

arc(r_0027_0003__invited,r_0027_0001__Then,nim).
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_0008__stay,arg1).
arc(r_0027_0008__stay,r_0027_0002__they,r_0027_0009__with__nim).
arc(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).

fof(formula,axiom,
    ? [R_0027_0001__THEN,R_0027_0002__THEY,R_0027_0004__THE_R_0027_0005__NORTH_R_0027_0006__WIND,R_0027_0008__STAY,R_0027_0003__INVITED,R_0027_0014__CAME,R_0027_0012__AND] :
      ( r_0027_0001__Then(R_0027_0001__THEN)
      & r_0027_0002__they(R_0027_0002__THEY)
      & r_0027_0004__the_r_0027_0005__North_r_0027_0006__Wind(R_0027_0004__THE_R_0027_0005__NORTH_R_0027_0006__WIND)
      & r_0027_0012__and(R_0027_0012__AND)
      & has_conj2(R_0027_0012__AND,R_0027_0014__CAME)
      & r_0027_0014__came(R_0027_0014__CAME)
      & has_arg0(R_0027_0014__CAME,R_0027_0004__THE_R_0027_0005__NORTH_R_0027_0006__WIND)
      & has_conj1(R_0027_0012__AND,R_0027_0003__INVITED)
      & r_0027_0003__invited(R_0027_0003__INVITED)
      & has_arg1(R_0027_0003__INVITED,R_0027_0008__STAY)
      & r_0027_0008__stay(R_0027_0008__STAY)
      & has_arg0(R_0027_0008__STAY,R_0027_0004__THE_R_0027_0005__NORTH_R_0027_0006__WIND)
      & has_r_0027_0009__with__nim(R_0027_0008__STAY,R_0027_0002__THEY)
      & has_arg2(R_0027_0003__INVITED,R_0027_0004__THE_R_0027_0005__NORTH_R_0027_0006__WIND)
      & has_arg0(R_0027_0003__INVITED,R_0027_0002__THEY)
      & has_nim(R_0027_0003__INVITED,R_0027_0001__THEN) ) ).