TSPC 22_a_hardy

22_a_hardy_1883
The guests had arrived before the rain began to fall, and they were all now assembled in the chief or living room of the dwelling.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{GUESTS} (D The;{the})
                                       (NS guests;{guest}))
                      (HVD;_cat_Ve_ had;{have})
                      (IP-PPL-CAT (VVN;_I_ arrived;{arrive}))
                      (PP-SCON (P-CONN before;{before})
                               (IP-ADV (NP-SBJ (D the;{the})
                                               (N rain;{rain}))
                                       (VBD;_cat_Vt_ began;{begin})
                                       (IP-INF-CAT (TO to;{to})
                                                   (VB;_I_ fall;{fall})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{GUESTS} (PRO they;{they}))
                             (BED;_cat_VePASS_ were;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (ADVP-NIM (ADV all;{all}))
                                         (ADVP-NIM (ADV now;{now}))
                                         (VVN;_Tn_ assembled;{assemble})
                                         (PP-NIM (P-ROLE in;{in})
                                                 (NP (D the;{the})
                                                     (ADJP (AJLYR (AJLYR (ADJ chief;{chief}))
                                                                  (CONJP (CONJ or;{or})
                                                                         (AJLYR (ADJ living;{living})))))
                                                     (N room;{room})
                                                     (PP (P-ROLE of;{of})
                                                         (NP (D the;{the})
                                                             (N dwelling;{dwelling})))))))))
          (PUNC .))
  (ID 22_a_hardy_1883))

arc(r_0022_0003__had,r_0022_0004__arrived,scope).
arc(r_0022_0004__arrived,r_0022_0001__The_r_0022_0002__guests,arg0).
arc(r_0022_0005__before,r_0022_0003__had,scope).
arc(r_0022_0005__before,r_0022_0008__began,restriction).
arc(r_0022_0008__began,r_0022_0010__fall,scope).
arc(r_0022_0010__fall,r_0022_0006__the_r_0022_0007__rain,arg0).
arc(r_0022_0012__and,r_0022_0005__before,conj1).
arc(r_0022_0012__and,r_0022_0014__were,conj2).
arc(r_0022_0014__were,r_0022_0017__assembled,scope).
arc(r_0022_0017__assembled,r_0022_0001__The_r_0022_0002__guests,arg1).
arc(r_0022_0017__assembled,r_0022_0015__all,nim).
arc(r_0022_0017__assembled,r_0022_0016__now,nim).
arc(r_0022_0017__assembled,r_0022_0019__the_r_0022_0023__room,r_0022_0018__in__nim).
arc(r_0022_0017__assembled,z_0022_5019___star_,arg0).
arc(r_0022_0019__the_r_0022_0023__room,r_0022_0021__or,attrib).
arc(r_0022_0019__the_r_0022_0023__room,r_0022_0025__the_r_0022_0026__dwelling,r_0022_0024__of).
arc(r_0022_0021__or,r_0022_0020__chief,conj1).
arc(r_0022_0021__or,r_0022_0022__living,conj2).

fof(formula,axiom,
    ? [R_0022_0001__THE_R_0022_0002__GUESTS,R_0022_0003__HAD_R_0022_0004__ARRIVED,R_0022_0006__THE_R_0022_0007__RAIN,R_0022_0008__BEGAN_R_0022_0010__FALL,R_0022_0005__BEFORE,R_0022_0015__ALL,R_0022_0016__NOW,R_0022_0020__CHIEF,R_0022_0022__LIVING,R_0022_0021__OR,R_0022_0025__THE_R_0022_0026__DWELLING,R_0022_0019__THE_R_0022_0023__ROOM,Z_0022_5019___STAR_,R_0022_0014__WERE_R_0022_0017__ASSEMBLED,R_0022_0012__AND] :
      ( r_0022_0001__The_r_0022_0002__guests(R_0022_0001__THE_R_0022_0002__GUESTS)
      & r_0022_0006__the_r_0022_0007__rain(R_0022_0006__THE_R_0022_0007__RAIN)
      & r_0022_0015__all(R_0022_0015__ALL)
      & r_0022_0016__now(R_0022_0016__NOW)
      & r_0022_0020__chief(R_0022_0020__CHIEF)
      & r_0022_0022__living(R_0022_0022__LIVING)
      & r_0022_0025__the_r_0022_0026__dwelling(R_0022_0025__THE_R_0022_0026__DWELLING)
      & z_0022_5019___star_(Z_0022_5019___STAR_)
      & r_0022_0012__and(R_0022_0012__AND)
      & has_conj2(R_0022_0012__AND,R_0022_0014__WERE_R_0022_0017__ASSEMBLED)
      & r_0022_0014__were_r_0022_0017__assembled(R_0022_0014__WERE_R_0022_0017__ASSEMBLED)
      & has_arg0(R_0022_0014__WERE_R_0022_0017__ASSEMBLED,Z_0022_5019___STAR_)
      & has_r_0022_0018__in__nim(R_0022_0014__WERE_R_0022_0017__ASSEMBLED,R_0022_0019__THE_R_0022_0023__ROOM)
      & r_0022_0019__the_r_0022_0023__room(R_0022_0019__THE_R_0022_0023__ROOM)
      & has_r_0022_0024__of(R_0022_0019__THE_R_0022_0023__ROOM,R_0022_0025__THE_R_0022_0026__DWELLING)
      & has_attrib(R_0022_0019__THE_R_0022_0023__ROOM,R_0022_0021__OR)
      & r_0022_0021__or(R_0022_0021__OR)
      & has_conj2(R_0022_0021__OR,R_0022_0022__LIVING)
      & has_conj1(R_0022_0021__OR,R_0022_0020__CHIEF)
      & has_nim(R_0022_0014__WERE_R_0022_0017__ASSEMBLED,R_0022_0016__NOW)
      & has_nim(R_0022_0014__WERE_R_0022_0017__ASSEMBLED,R_0022_0015__ALL)
      & has_arg1(R_0022_0014__WERE_R_0022_0017__ASSEMBLED,R_0022_0001__THE_R_0022_0002__GUESTS)
      & has_conj1(R_0022_0012__AND,R_0022_0005__BEFORE)
      & r_0022_0005__before(R_0022_0005__BEFORE)
      & has_conj1(R_0022_0005__BEFORE,R_0022_0008__BEGAN_R_0022_0010__FALL)
      & r_0022_0008__began_r_0022_0010__fall(R_0022_0008__BEGAN_R_0022_0010__FALL)
      & has_arg0(R_0022_0008__BEGAN_R_0022_0010__FALL,R_0022_0006__THE_R_0022_0007__RAIN)
      & has_conj2(R_0022_0005__BEFORE,R_0022_0003__HAD_R_0022_0004__ARRIVED)
      & r_0022_0003__had_r_0022_0004__arrived(R_0022_0003__HAD_R_0022_0004__ARRIVED)
      & has_arg0(R_0022_0003__HAD_R_0022_0004__ARRIVED,R_0022_0001__THE_R_0022_0002__GUESTS) ) ).