TSPC 15_a_lob

15_a_lob_a02
Sir Pierson Dixon has a wide reputation as a skilful backstage negotiator since his days as Britain's chief UN delegate.

( (IP-MAT (NP-SBJ;{DIXON} (N Sir;{sir})
                          (NPR Pierson;{Pierson})
                          (NPR Dixon;{Dixon}))
          (HVP;_Tn_ has;{have})
          (NP-OB1 (D a;{a})
                  (ADJP (ADJ wide;{wide}))
                  (N reputation;{reputation})
                  (PP (P-ROLE as;{as})
                      (NP (D a;{a})
                          (ADJP (ADJ skilful;{skilful}))
                          (N backstage;{backstage})
                          (N negotiator;{negotiator})
                          (PP (P-ROLE since;{since})
                              (NP (NP-GEN;{DIXON} (PRO;_genm_ his;{his}))
                                  (NS days;{day})
                                  (PP (P-ROLE as;{as})
                                      (NP (NP-GEN (NPR Britain;{Britain})
                                                  (GENM <apos>s))
                                          (ADJP (ADJ chief;{chief}))
                                          (NPR UN;{UN})
                                          (N delegate;{delegate}))))))))
          (PUNC .))
  (ID 15_a_lob_a02))

arc(r_0015_0004__has,r_0015_0001__Sir_r_0015_0002__Pierson_r_0015_0003__Dixon,arg0).
arc(r_0015_0004__has,r_0015_0005__a_r_0015_0007__reputation,arg1).
arc(r_0015_0005__a_r_0015_0007__reputation,r_0015_0006__wide,attrib).
arc(r_0015_0005__a_r_0015_0007__reputation,r_0015_0009__a_r_0015_0011__backstage_r_0015_0012__negotiator,r_0015_0008__as).
arc(r_0015_0009__a_r_0015_0011__backstage_r_0015_0012__negotiator,r_0015_0010__skilful,attrib).
arc(r_0015_0009__a_r_0015_0011__backstage_r_0015_0012__negotiator,r_0015_0015__days,r_0015_0013__since).
arc(r_0015_0015__days,r_0015_0001__Sir_r_0015_0002__Pierson_r_0015_0003__Dixon,gen).
arc(r_0015_0015__days,r_0015_0020__UN_r_0015_0021__delegate,r_0015_0016__as).
arc(r_0015_0020__UN_r_0015_0021__delegate,r_0015_0017__Britain,gen).
arc(r_0015_0020__UN_r_0015_0021__delegate,r_0015_0019__chief,attrib).

fof(formula,axiom,
    ? [R_0015_0001__SIR_R_0015_0002__PIERSON_R_0015_0003__DIXON,R_0015_0006__WIDE,R_0015_0010__SKILFUL,R_0015_0017__BRITAIN,R_0015_0019__CHIEF,R_0015_0020__UN_R_0015_0021__DELEGATE,R_0015_0015__DAYS,R_0015_0009__A_R_0015_0011__BACKSTAGE_R_0015_0012__NEGOTIATOR,R_0015_0005__A_R_0015_0007__REPUTATION,R_0015_0004__HAS] :
      ( r_0015_0001__Sir_r_0015_0002__Pierson_r_0015_0003__Dixon(R_0015_0001__SIR_R_0015_0002__PIERSON_R_0015_0003__DIXON)
      & r_0015_0006__wide(R_0015_0006__WIDE)
      & r_0015_0010__skilful(R_0015_0010__SKILFUL)
      & r_0015_0017__Britain(R_0015_0017__BRITAIN)
      & r_0015_0019__chief(R_0015_0019__CHIEF)
      & r_0015_0004__has(R_0015_0004__HAS)
      & has_arg1(R_0015_0004__HAS,R_0015_0005__A_R_0015_0007__REPUTATION)
      & r_0015_0005__a_r_0015_0007__reputation(R_0015_0005__A_R_0015_0007__REPUTATION)
      & has_r_0015_0008__as(R_0015_0005__A_R_0015_0007__REPUTATION,R_0015_0009__A_R_0015_0011__BACKSTAGE_R_0015_0012__NEGOTIATOR)
      & r_0015_0009__a_r_0015_0011__backstage_r_0015_0012__negotiator(R_0015_0009__A_R_0015_0011__BACKSTAGE_R_0015_0012__NEGOTIATOR)
      & has_r_0015_0013__since(R_0015_0009__A_R_0015_0011__BACKSTAGE_R_0015_0012__NEGOTIATOR,R_0015_0015__DAYS)
      & r_0015_0015__days(R_0015_0015__DAYS)
      & has_r_0015_0016__as(R_0015_0015__DAYS,R_0015_0020__UN_R_0015_0021__DELEGATE)
      & r_0015_0020__UN_r_0015_0021__delegate(R_0015_0020__UN_R_0015_0021__DELEGATE)
      & has_attrib(R_0015_0020__UN_R_0015_0021__DELEGATE,R_0015_0019__CHIEF)
      & has_gen(R_0015_0020__UN_R_0015_0021__DELEGATE,R_0015_0017__BRITAIN)
      & has_gen(R_0015_0015__DAYS,R_0015_0001__SIR_R_0015_0002__PIERSON_R_0015_0003__DIXON)
      & has_attrib(R_0015_0009__A_R_0015_0011__BACKSTAGE_R_0015_0012__NEGOTIATOR,R_0015_0010__SKILFUL)
      & has_attrib(R_0015_0005__A_R_0015_0007__REPUTATION,R_0015_0006__WIDE)
      & has_arg0(R_0015_0004__HAS,R_0015_0001__SIR_R_0015_0002__PIERSON_R_0015_0003__DIXON) ) ).