TSPC 78_a_lob

78_a_lob_n01
She had managed to get hold of a Lancia Rapido — just the car for the job: fast and at the same time with a first-class performance over rough going.

( (IP-MAT (NP-SBJ;{GLORIA} (PRO She;{she}))
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (VVN;__ managed;{manage})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;__ get;{get})
                                  (NP-OB1 (N hold;{hold})
                                          (PP (P-ROLE of;{of})
                                              (NP (D a;{a})
                                                  (NPR Lancia;{Lancia})
                                                  (NPR Rapido;{Rapido})
                                                  (PUNC <mdash>)
                                                  (PRN (NP (ADVP (ADV just;{just}))
                                                           (D the;{the})
                                                           (N car;{car})
                                                           (PP (P-ROLE for;{for})
                                                               (NP (D the;{the})
                                                                   (N job;{job})))
                                                           (PUNC :)
                                                           (PRN (FRAG (ILYR (ILYR (ADJP-PRD (ADJ fast;{fast})))
                                                                            (CONJP (CONJ and;{and})
                                                                                   (ILYR (PP-NIM (P-ROLE at;{at})
                                                                                                 (NP (D the;{the})
                                                                                                     (ADJP (ADJ same;{same}))
                                                                                                     (N time;{time})))
                                                                                         (PP-PRD (P-ROLE with;{with})
                                                                                                 (NP (D a;{a})
                                                                                                     (ADJP (ADJ first_<hyphen>_class;{first_class}))
                                                                                                     (N performance;{performance})
                                                                                                     (PP (P-ROLE over;{over})
                                                                                                         (NP (ADJP (ADJ rough;{rough}))
                                                                                                             (N going;{going})))))))))))))))))
          (PUNC .))
  (ID 78_a_lob_n01))

arc(r_0078_0002__had,r_0078_0003__managed,scope).
arc(r_0078_0003__managed,r_0078_0001__She,arg0).
arc(r_0078_0003__managed,r_0078_0005__get,arg1).
arc(r_0078_0005__get,r_0078_0001__She,arg0).
arc(r_0078_0005__get,r_0078_0006__hold,arg1).
arc(r_0078_0006__hold,r_0078_0008__a_r_0078_0009__Lancia_r_0078_0010__Rapido,r_0078_0007__of).
arc(r_0078_0013__the_r_0078_0014__car,r_0078_0012__just,qual).
arc(r_0078_0013__the_r_0078_0014__car,r_0078_0016__the_r_0078_0017__job,r_0078_0015__for).
arc(r_0078_0013__the_r_0078_0014__car,r_0078_0020__and,prn).
arc(r_0078_0020__and,z_0078_5011,conj1).
arc(r_0078_0020__and,z_0078_5019,conj2).
arc(r_0078_0022__the_r_0078_0024__time,r_0078_0023__same,attrib).
arc(r_0078_0026__a_r_0078_0028__performance,r_0078_0027__first__hyphen__class,attrib).
arc(r_0078_0026__a_r_0078_0028__performance,r_0078_0031__going,r_0078_0029__over).
arc(r_0078_0031__going,r_0078_0030__rough,attrib).
arc(z_0078_5011,r_0078_0019__fast,prd).
arc(z_0078_5011,z_0078_5009,arg0).
arc(z_0078_5019,r_0078_0022__the_r_0078_0024__time,r_0078_0021__at__nim).
arc(z_0078_5019,r_0078_0026__a_r_0078_0028__performance,r_0078_0025__with__prd).
arc(z_0078_5019,z_0078_5009,arg0).
arc(z_0078_5022,r_0078_0008__a_r_0078_0009__Lancia_r_0078_0010__Rapido,arg0).
arc(z_0078_5022,r_0078_0013__the_r_0078_0014__car,prd).

fof(formula,axiom,
    ? [R_0078_0001__SHE,R_0078_0008__A_R_0078_0009__LANCIA_R_0078_0010__RAPIDO,R_0078_0006__HOLD,R_0078_0005__GET,R_0078_0002__HAD_R_0078_0003__MANAGED,R_0078_0012__JUST,R_0078_0016__THE_R_0078_0017__JOB,R_0078_0019__FAST,Z_0078_5009,Z_0078_5011,R_0078_0023__SAME,R_0078_0022__THE_R_0078_0024__TIME,R_0078_0027__FIRST__HYPHEN__CLASS,R_0078_0030__ROUGH,R_0078_0031__GOING,R_0078_0026__A_R_0078_0028__PERFORMANCE,Z_0078_5019,R_0078_0020__AND,R_0078_0013__THE_R_0078_0014__CAR,Z_0078_5022] :
      ( r_0078_0001__She(R_0078_0001__SHE)
      & r_0078_0008__a_r_0078_0009__Lancia_r_0078_0010__Rapido(R_0078_0008__A_R_0078_0009__LANCIA_R_0078_0010__RAPIDO)
      & r_0078_0012__just(R_0078_0012__JUST)
      & r_0078_0016__the_r_0078_0017__job(R_0078_0016__THE_R_0078_0017__JOB)
      & r_0078_0019__fast(R_0078_0019__FAST)
      & r_0078_0023__same(R_0078_0023__SAME)
      & r_0078_0027__first__hyphen__class(R_0078_0027__FIRST__HYPHEN__CLASS)
      & r_0078_0030__rough(R_0078_0030__ROUGH)
      & z_0078_5009(Z_0078_5009)
      & z_0078_5022(Z_0078_5022)
      & has_prd(Z_0078_5022,R_0078_0013__THE_R_0078_0014__CAR)
      & r_0078_0013__the_r_0078_0014__car(R_0078_0013__THE_R_0078_0014__CAR)
      & has_prn(R_0078_0013__THE_R_0078_0014__CAR,R_0078_0020__AND)
      & r_0078_0020__and(R_0078_0020__AND)
      & has_conj2(R_0078_0020__AND,Z_0078_5019)
      & z_0078_5019(Z_0078_5019)
      & has_arg0(Z_0078_5019,Z_0078_5009)
      & has_r_0078_0025__with__prd(Z_0078_5019,R_0078_0026__A_R_0078_0028__PERFORMANCE)
      & r_0078_0026__a_r_0078_0028__performance(R_0078_0026__A_R_0078_0028__PERFORMANCE)
      & has_r_0078_0029__over(R_0078_0026__A_R_0078_0028__PERFORMANCE,R_0078_0031__GOING)
      & r_0078_0031__going(R_0078_0031__GOING)
      & has_attrib(R_0078_0031__GOING,R_0078_0030__ROUGH)
      & has_attrib(R_0078_0026__A_R_0078_0028__PERFORMANCE,R_0078_0027__FIRST__HYPHEN__CLASS)
      & has_r_0078_0021__at__nim(Z_0078_5019,R_0078_0022__THE_R_0078_0024__TIME)
      & r_0078_0022__the_r_0078_0024__time(R_0078_0022__THE_R_0078_0024__TIME)
      & has_attrib(R_0078_0022__THE_R_0078_0024__TIME,R_0078_0023__SAME)
      & has_conj1(R_0078_0020__AND,Z_0078_5011)
      & z_0078_5011(Z_0078_5011)
      & has_arg0(Z_0078_5011,Z_0078_5009)
      & has_prd(Z_0078_5011,R_0078_0019__FAST)
      & has_r_0078_0015__for(R_0078_0013__THE_R_0078_0014__CAR,R_0078_0016__THE_R_0078_0017__JOB)
      & has_qual(R_0078_0013__THE_R_0078_0014__CAR,R_0078_0012__JUST)
      & has_arg0(Z_0078_5022,R_0078_0008__A_R_0078_0009__LANCIA_R_0078_0010__RAPIDO)
      & r_0078_0002__had_r_0078_0003__managed(R_0078_0002__HAD_R_0078_0003__MANAGED)
      & has_arg1(R_0078_0002__HAD_R_0078_0003__MANAGED,R_0078_0005__GET)
      & r_0078_0005__get(R_0078_0005__GET)
      & has_arg1(R_0078_0005__GET,R_0078_0006__HOLD)
      & r_0078_0006__hold(R_0078_0006__HOLD)
      & has_r_0078_0007__of(R_0078_0006__HOLD,R_0078_0008__A_R_0078_0009__LANCIA_R_0078_0010__RAPIDO)
      & has_arg0(R_0078_0005__GET,R_0078_0001__SHE)
      & has_arg0(R_0078_0002__HAD_R_0078_0003__MANAGED,R_0078_0001__SHE) ) ).