TSPC 118_a_lob

118_a_lob_n02
To her great relief they arrived at the cluster of little houses where Hubert had been living to find the old man stowing in leisurely fashion his few possessions into a ramshackle and incredibly ancient car, surrounded by innumerable friends and relatives.

( (IP-MAT (PP-NIM (P-ROLE To;{to})
                  (NP (NP-GEN;{BERYL} (PRO;_genm_ her;{her}))
                      (ADJP (ADJ great;{great}))
                      (N relief;{relief})))
          (NP-SBJ;{BERYL+PIERS} (PRO they;{they}))
          (VBD;__ arrived;{arrive})
          (PP-NIM (P-ROLE at;{at})
                  (NP (D the;{the})
                      (N cluster;{cluster})
                      (PP (P-ROLE of;{of})
                          (NP (ADJP (ADJ little;{little}))
                              (NS houses;{house})
                              (IP-REL (ADVP-134 (RADV where;{where}))
                                      (NP-SBJ;{HUBERT} (NPR Hubert;{Hubert}))
                                      (HVD;_cat_Ve_ had;{have})
                                      (IP-PPL-CAT (BEN;_cat_Vg_ been;{be})
                                                  (IP-PPL-CAT (ADVP-NIM *ICH*-134)
                                                              (VAG;__ living;{live}))))))))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Cn.g_ find;{find})
                           (NP-OB1;{HUBERT} (D the;{the})
                                            (ADJP (ADJ old;{old}))
                                            (N man;{man}))
                           (IP-PPL-PRD (VAG;__ stowing;{stow})
                                       (PP-NIM (P-ROLE in;{in})
                                               (NP (ADJP (ADJ leisurely;{leisurely}))
                                                   (N fashion;{fashion})))
                                       (NP-OB1 (NP-GEN;{HUBERT} (PRO;_genm_ his;{his}))
                                               (ADJP (ADJ few;{few}))
                                               (NS possessions;{possession}))
                                       (PP-NIM (P-ROLE into;{into})
                                               (NP (D a;{a})
                                                   (ADJP (AJLYR (AJLYR (ADJ ramshackle;{ramshackle}))
                                                                (CONJP (CONJ and;{and})
                                                                       (AJLYR (ADVP (ADV incredibly;{incredibly}))
                                                                              (ADJ ancient;{ancient})))))
                                                   (N car;{car})))
                                       (PUNC ,)
                                       (PP-SCON (IP-PPL (VVN;__ surrounded;{surround})
                                                        (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                (NP;{PEOPLE} (ADJP (ADJ innumerable;{innumerable}))
                                                                             (NLYR (NLYR (NS friends;{friend}))
                                                                                   (CONJP (CONJ and;{and})
                                                                                          (NLYR (NS relatives;{relative})))))))))))
          (PUNC .))
  (ID 118_a_lob_n02))

arc(r_0118_0004__relief,r_0118_0002__her,gen).
arc(r_0118_0004__relief,r_0118_0003__great,attrib).
arc(r_0118_0006__arrived,r_0118_0004__relief,r_0118_0001__To__nim).
arc(r_0118_0006__arrived,r_0118_0005__they,arg0).
arc(r_0118_0006__arrived,r_0118_0008__the_r_0118_0009__cluster,r_0118_0007__at__nim).
arc(r_0118_0008__the_r_0118_0009__cluster,r_0118_0012__houses,r_0118_0010__of).
arc(r_0118_0012__houses,r_0118_0011__little,attrib).
arc(r_0118_0015__had,r_0118_0016__been,scope).
arc(r_0118_0016__been,r_0118_0017__living,scope).
arc(r_0118_0017__living,r_0118_0012__houses,nim).
arc(r_0118_0017__living,r_0118_0014__Hubert,arg0).
arc(r_0118_0019__find,r_0118_0005__they,arg0).
arc(r_0118_0019__find,r_0118_0020__the_r_0118_0022__man,arg1).
arc(r_0118_0019__find,z_0118_5013,prd).
arc(r_0118_0020__the_r_0118_0022__man,r_0118_0021__old,attrib).
arc(r_0118_0023__stowing,r_0118_0026__fashion,r_0118_0024__in__nim).
arc(r_0118_0023__stowing,r_0118_0029__possessions,arg1).
arc(r_0118_0023__stowing,r_0118_0031__a_r_0118_0036__car,r_0118_0030__into__nim).
arc(r_0118_0023__stowing,z_0118_5009,arg0).
arc(r_0118_0026__fashion,r_0118_0025__leisurely,attrib).
arc(r_0118_0029__possessions,r_0118_0014__Hubert,gen).
arc(r_0118_0029__possessions,r_0118_0028__few,attrib).
arc(r_0118_0031__a_r_0118_0036__car,r_0118_0033__and,attrib).
arc(r_0118_0033__and,r_0118_0032__ramshackle,conj1).
arc(r_0118_0033__and,r_0118_0035__ancient,conj2).
arc(r_0118_0035__ancient,r_0118_0034__incredibly,qual).
arc(r_0118_0038__surrounded,r_0118_0029__possessions,arg1).
arc(r_0118_0038__surrounded,r_0118_0042__and,r_0118_0039__by_arg0).
arc(r_0118_0042__and,r_0118_0040__innumerable,attrib).
arc(r_0118_0042__and,r_0118_0041__friends,conj1).
arc(r_0118_0042__and,r_0118_0043__relatives,conj2).
arc(z_0118_5003,r_0118_0006__arrived,scope).
arc(z_0118_5003,r_0118_0019__find,restriction).
arc(z_0118_5013,r_0118_0023__stowing,scope).
arc(z_0118_5013,r_0118_0038__surrounded,restriction).

fof(formula,axiom,
    ? [R_0118_0011__LITTLE,R_0118_0012__HOUSES,R_0118_0014__HUBERT,R_0118_0015__HAD_R_0118_0016__BEEN_R_0118_0017__LIVING,R_0118_0002__HER,R_0118_0003__GREAT,R_0118_0004__RELIEF,R_0118_0005__THEY,R_0118_0008__THE_R_0118_0009__CLUSTER,R_0118_0006__ARRIVED,R_0118_0021__OLD,R_0118_0020__THE_R_0118_0022__MAN,R_0118_0025__LEISURELY,R_0118_0026__FASHION,R_0118_0028__FEW,R_0118_0029__POSSESSIONS,R_0118_0032__RAMSHACKLE,R_0118_0034__INCREDIBLY,R_0118_0035__ANCIENT,R_0118_0033__AND,R_0118_0031__A_R_0118_0036__CAR,Z_0118_5009,R_0118_0023__STOWING,R_0118_0040__INNUMERABLE,R_0118_0041__FRIENDS,R_0118_0043__RELATIVES,R_0118_0042__AND,R_0118_0038__SURROUNDED,Z_0118_5013,R_0118_0019__FIND,Z_0118_5003] :
      ( r_0118_0002__her(R_0118_0002__HER)
      & r_0118_0003__great(R_0118_0003__GREAT)
      & r_0118_0005__they(R_0118_0005__THEY)
      & r_0118_0011__little(R_0118_0011__LITTLE)
      & r_0118_0014__Hubert(R_0118_0014__HUBERT)
      & r_0118_0021__old(R_0118_0021__OLD)
      & r_0118_0025__leisurely(R_0118_0025__LEISURELY)
      & r_0118_0028__few(R_0118_0028__FEW)
      & r_0118_0032__ramshackle(R_0118_0032__RAMSHACKLE)
      & r_0118_0034__incredibly(R_0118_0034__INCREDIBLY)
      & r_0118_0040__innumerable(R_0118_0040__INNUMERABLE)
      & r_0118_0041__friends(R_0118_0041__FRIENDS)
      & r_0118_0043__relatives(R_0118_0043__RELATIVES)
      & z_0118_5009(Z_0118_5009)
      & z_0118_5003(Z_0118_5003)
      & has_conj1(Z_0118_5003,R_0118_0019__FIND)
      & r_0118_0019__find(R_0118_0019__FIND)
      & has_prd(R_0118_0019__FIND,Z_0118_5013)
      & z_0118_5013(Z_0118_5013)
      & has_conj1(Z_0118_5013,R_0118_0038__SURROUNDED)
      & r_0118_0038__surrounded(R_0118_0038__SURROUNDED)
      & has_r_0118_0039__by_arg0(R_0118_0038__SURROUNDED,R_0118_0042__AND)
      & r_0118_0042__and(R_0118_0042__AND)
      & has_conj2(R_0118_0042__AND,R_0118_0043__RELATIVES)
      & has_conj1(R_0118_0042__AND,R_0118_0041__FRIENDS)
      & has_attrib(R_0118_0042__AND,R_0118_0040__INNUMERABLE)
      & has_arg1(R_0118_0038__SURROUNDED,R_0118_0029__POSSESSIONS)
      & r_0118_0029__possessions(R_0118_0029__POSSESSIONS)
      & has_attrib(R_0118_0029__POSSESSIONS,R_0118_0028__FEW)
      & has_gen(R_0118_0029__POSSESSIONS,R_0118_0014__HUBERT)
      & has_conj2(Z_0118_5013,R_0118_0023__STOWING)
      & r_0118_0023__stowing(R_0118_0023__STOWING)
      & has_arg0(R_0118_0023__STOWING,Z_0118_5009)
      & has_r_0118_0030__into__nim(R_0118_0023__STOWING,R_0118_0031__A_R_0118_0036__CAR)
      & r_0118_0031__a_r_0118_0036__car(R_0118_0031__A_R_0118_0036__CAR)
      & has_attrib(R_0118_0031__A_R_0118_0036__CAR,R_0118_0033__AND)
      & r_0118_0033__and(R_0118_0033__AND)
      & has_conj2(R_0118_0033__AND,R_0118_0035__ANCIENT)
      & r_0118_0035__ancient(R_0118_0035__ANCIENT)
      & has_qual(R_0118_0035__ANCIENT,R_0118_0034__INCREDIBLY)
      & has_conj1(R_0118_0033__AND,R_0118_0032__RAMSHACKLE)
      & has_arg1(R_0118_0023__STOWING,R_0118_0029__POSSESSIONS)
      & has_r_0118_0024__in__nim(R_0118_0023__STOWING,R_0118_0026__FASHION)
      & r_0118_0026__fashion(R_0118_0026__FASHION)
      & has_attrib(R_0118_0026__FASHION,R_0118_0025__LEISURELY)
      & has_arg1(R_0118_0019__FIND,R_0118_0020__THE_R_0118_0022__MAN)
      & r_0118_0020__the_r_0118_0022__man(R_0118_0020__THE_R_0118_0022__MAN)
      & has_attrib(R_0118_0020__THE_R_0118_0022__MAN,R_0118_0021__OLD)
      & has_arg0(R_0118_0019__FIND,R_0118_0005__THEY)
      & has_conj2(Z_0118_5003,R_0118_0006__ARRIVED)
      & r_0118_0006__arrived(R_0118_0006__ARRIVED)
      & has_r_0118_0007__at__nim(R_0118_0006__ARRIVED,R_0118_0008__THE_R_0118_0009__CLUSTER)
      & r_0118_0008__the_r_0118_0009__cluster(R_0118_0008__THE_R_0118_0009__CLUSTER)
      & has_r_0118_0010__of(R_0118_0008__THE_R_0118_0009__CLUSTER,R_0118_0012__HOUSES)
      & r_0118_0012__houses(R_0118_0012__HOUSES)
      & has_attrib(R_0118_0012__HOUSES,R_0118_0011__LITTLE)
      & has_arg0(R_0118_0006__ARRIVED,R_0118_0005__THEY)
      & has_r_0118_0001__To__nim(R_0118_0006__ARRIVED,R_0118_0004__RELIEF)
      & r_0118_0004__relief(R_0118_0004__RELIEF)
      & has_attrib(R_0118_0004__RELIEF,R_0118_0003__GREAT)
      & has_gen(R_0118_0004__RELIEF,R_0118_0002__HER)
      & r_0118_0015__had_r_0118_0016__been_r_0118_0017__living(R_0118_0015__HAD_R_0118_0016__BEEN_R_0118_0017__LIVING)
      & has_arg0(R_0118_0015__HAD_R_0118_0016__BEEN_R_0118_0017__LIVING,R_0118_0014__HUBERT)
      & has_nim(R_0118_0015__HAD_R_0118_0016__BEEN_R_0118_0017__LIVING,R_0118_0012__HOUSES) ) ).