TSPC 8_a_lob

8_a_lob_n02
He told her nonchalantly, as he led the way to his own veranda, that he had taken the liberty of asking Jack — as a representative of the Vallin family — to come over and make the presentation in her stead.

( (IP-MAT (NP-SBJ;{PIERS} (PRO He;{he}))
          (VBD;_Dn.f_ told;{tell})
          (NP-OB2;{BERYL} (PRO her;{her}))
          (ADVP-NIM (ADV nonchalantly;{nonchalantly}))
          (PUNC ,)
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ;{PIERS} (PRO he;{he}))
                           (VBD;_Tn_ led;{lead})
                           (NP-OB1 (D the;{the})
                                   (N way;{way})
                                   (PP (P-ROLE to;{to})
                                       (NP (NP-GEN (NP-GEN;{PIERS} (PRO;_genm_ his;{his}))
                                                   (ADJP (ADJ own;{own})))
                                           (N veranda;{veranda}))))))
          (PUNC ,)
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ;{PIERS} (PRO he;{he}))
                              (HVD;_cat_Ve_ had;{have})
                              (IP-PPL-CAT (VVN;_Tn_ taken;{take})
                                          (NP-OB1 (D the;{the})
                                                  (N liberty;{liberty})
                                                  (PP (P-ROLE of;{of})
                                                      (IP-PPL (VAG;_Dn.t_ asking;{ask})
                                                              (NP-OB2;{JACK} (NPR Jack;{Jack})
                                                                             (PUNC <mdash>)
                                                                             (PP (P-ROLE as;{as})
                                                                                 (NP (D a;{a})
                                                                                     (N representative;{representative})
                                                                                     (PP (P-ROLE of;{of})
                                                                                         (NP (D the;{the})
                                                                                             (NPR Vallin;{Vallin})
                                                                                             (N family;{family})))))
                                                                             (PUNC <mdash>))
                                                              (IP-INF-OB1 (TO to;{to})
                                                                          (ILYR (ILYR (VB;_I_ come;{come})
                                                                                      (ADVP-NIM (RP over;{over})))
                                                                                (CONJP (CONJ and;{and})
                                                                                       (ILYR (VB;_Tn_ make;{make})
                                                                                             (NP-OB1 (D the;{the})
                                                                                                     (N presentation;{presentation}))
                                                                                             (PP-NIM (P-ROLE in;{in})
                                                                                                     (NP (NP-GEN;{BERYL} (PRO;_genm_ her;{her}))
                                                                                                         (N stead;{stead})))))))))))))
          (PUNC .))
  (ID 8_a_lob_n02))

arc(r_0008_0002__told,r_0008_0001__He,arg0).
arc(r_0008_0002__told,r_0008_0003__her,arg2).
arc(r_0008_0002__told,r_0008_0004__nonchalantly,nim).
arc(r_0008_0002__told,r_0008_0018__had,arg1).
arc(r_0008_0006__as,r_0008_0002__told,scope).
arc(r_0008_0006__as,r_0008_0008__led,restriction).
arc(r_0008_0008__led,r_0008_0001__He,arg0).
arc(r_0008_0008__led,r_0008_0009__the_r_0008_0010__way,arg1).
arc(r_0008_0009__the_r_0008_0010__way,r_0008_0014__veranda,r_0008_0011__to).
arc(r_0008_0014__veranda,z_0008_5028,gen).
arc(r_0008_0018__had,r_0008_0019__taken,scope).
arc(r_0008_0019__taken,r_0008_0001__He,arg0).
arc(r_0008_0019__taken,r_0008_0020__the_r_0008_0021__liberty,arg1).
arc(r_0008_0020__the_r_0008_0021__liberty,r_0008_0023__asking,r_0008_0022__of).
arc(r_0008_0023__asking,r_0008_0024__Jack,arg2).
arc(r_0008_0023__asking,r_0008_0037__and,arg1).
arc(r_0008_0023__asking,z_0008_5007,arg0).
arc(r_0008_0024__Jack,r_0008_0027__a_r_0008_0028__representative,r_0008_0026__as).
arc(r_0008_0027__a_r_0008_0028__representative,r_0008_0030__the_r_0008_0031__Vallin_r_0008_0032__family,r_0008_0029__of).
arc(r_0008_0035__come,r_0008_0024__Jack,arg0).
arc(r_0008_0035__come,r_0008_0036__over,nim).
arc(r_0008_0037__and,r_0008_0035__come,conj1).
arc(r_0008_0037__and,r_0008_0038__make,conj2).
arc(r_0008_0038__make,r_0008_0024__Jack,arg0).
arc(r_0008_0038__make,r_0008_0039__the_r_0008_0040__presentation,arg1).
arc(r_0008_0038__make,r_0008_0043__stead,r_0008_0041__in__nim).
arc(r_0008_0043__stead,r_0008_0003__her,gen).
arc(z_0008_5028,r_0008_0001__He,gen).
arc(z_0008_5028,r_0008_0013__own,attrib).

fof(formula,axiom,
    ? [R_0008_0001__HE,R_0008_0003__HER,R_0008_0004__NONCHALANTLY,R_0008_0030__THE_R_0008_0031__VALLIN_R_0008_0032__FAMILY,R_0008_0027__A_R_0008_0028__REPRESENTATIVE,R_0008_0024__JACK,R_0008_0036__OVER,R_0008_0035__COME,R_0008_0039__THE_R_0008_0040__PRESENTATION,R_0008_0043__STEAD,R_0008_0038__MAKE,R_0008_0037__AND,Z_0008_5007,R_0008_0023__ASKING,R_0008_0020__THE_R_0008_0021__LIBERTY,R_0008_0018__HAD_R_0008_0019__TAKEN,R_0008_0002__TOLD,R_0008_0013__OWN,Z_0008_5028,R_0008_0014__VERANDA,R_0008_0009__THE_R_0008_0010__WAY,R_0008_0008__LED,R_0008_0006__AS] :
      ( r_0008_0001__He(R_0008_0001__HE)
      & r_0008_0003__her(R_0008_0003__HER)
      & r_0008_0004__nonchalantly(R_0008_0004__NONCHALANTLY)
      & r_0008_0013__own(R_0008_0013__OWN)
      & r_0008_0030__the_r_0008_0031__Vallin_r_0008_0032__family(R_0008_0030__THE_R_0008_0031__VALLIN_R_0008_0032__FAMILY)
      & r_0008_0036__over(R_0008_0036__OVER)
      & r_0008_0039__the_r_0008_0040__presentation(R_0008_0039__THE_R_0008_0040__PRESENTATION)
      & z_0008_5007(Z_0008_5007)
      & r_0008_0006__as(R_0008_0006__AS)
      & has_conj1(R_0008_0006__AS,R_0008_0008__LED)
      & r_0008_0008__led(R_0008_0008__LED)
      & has_arg1(R_0008_0008__LED,R_0008_0009__THE_R_0008_0010__WAY)
      & r_0008_0009__the_r_0008_0010__way(R_0008_0009__THE_R_0008_0010__WAY)
      & has_r_0008_0011__to(R_0008_0009__THE_R_0008_0010__WAY,R_0008_0014__VERANDA)
      & r_0008_0014__veranda(R_0008_0014__VERANDA)
      & has_gen(R_0008_0014__VERANDA,Z_0008_5028)
      & z_0008_5028(Z_0008_5028)
      & has_attrib(Z_0008_5028,R_0008_0013__OWN)
      & has_gen(Z_0008_5028,R_0008_0001__HE)
      & has_arg0(R_0008_0008__LED,R_0008_0001__HE)
      & has_conj2(R_0008_0006__AS,R_0008_0002__TOLD)
      & r_0008_0002__told(R_0008_0002__TOLD)
      & has_arg1(R_0008_0002__TOLD,R_0008_0018__HAD_R_0008_0019__TAKEN)
      & r_0008_0018__had_r_0008_0019__taken(R_0008_0018__HAD_R_0008_0019__TAKEN)
      & has_arg1(R_0008_0018__HAD_R_0008_0019__TAKEN,R_0008_0020__THE_R_0008_0021__LIBERTY)
      & r_0008_0020__the_r_0008_0021__liberty(R_0008_0020__THE_R_0008_0021__LIBERTY)
      & has_r_0008_0022__of(R_0008_0020__THE_R_0008_0021__LIBERTY,R_0008_0023__ASKING)
      & r_0008_0023__asking(R_0008_0023__ASKING)
      & has_arg0(R_0008_0023__ASKING,Z_0008_5007)
      & has_arg1(R_0008_0023__ASKING,R_0008_0037__AND)
      & r_0008_0037__and(R_0008_0037__AND)
      & has_conj2(R_0008_0037__AND,R_0008_0038__MAKE)
      & r_0008_0038__make(R_0008_0038__MAKE)
      & has_r_0008_0041__in__nim(R_0008_0038__MAKE,R_0008_0043__STEAD)
      & r_0008_0043__stead(R_0008_0043__STEAD)
      & has_gen(R_0008_0043__STEAD,R_0008_0003__HER)
      & has_arg1(R_0008_0038__MAKE,R_0008_0039__THE_R_0008_0040__PRESENTATION)
      & has_arg0(R_0008_0038__MAKE,R_0008_0024__JACK)
      & r_0008_0024__Jack(R_0008_0024__JACK)
      & has_r_0008_0026__as(R_0008_0024__JACK,R_0008_0027__A_R_0008_0028__REPRESENTATIVE)
      & r_0008_0027__a_r_0008_0028__representative(R_0008_0027__A_R_0008_0028__REPRESENTATIVE)
      & has_r_0008_0029__of(R_0008_0027__A_R_0008_0028__REPRESENTATIVE,R_0008_0030__THE_R_0008_0031__VALLIN_R_0008_0032__FAMILY)
      & has_conj1(R_0008_0037__AND,R_0008_0035__COME)
      & r_0008_0035__come(R_0008_0035__COME)
      & has_nim(R_0008_0035__COME,R_0008_0036__OVER)
      & has_arg0(R_0008_0035__COME,R_0008_0024__JACK)
      & has_arg2(R_0008_0023__ASKING,R_0008_0024__JACK)
      & has_arg0(R_0008_0018__HAD_R_0008_0019__TAKEN,R_0008_0001__HE)
      & has_nim(R_0008_0002__TOLD,R_0008_0004__NONCHALANTLY)
      & has_arg2(R_0008_0002__TOLD,R_0008_0003__HER)
      & has_arg0(R_0008_0002__TOLD,R_0008_0001__HE) ) ).