TSPC 94_a_lob

94_a_lob_n02
He's quite capable of telling Sir John to take himself and his business to an unmentionable destination.’

( (IP-MAT (NP-SBJ;{HEWSON} (PRO He;{he}))
          (BEP;_La_ <apos>s;{be})
          (ADJP-PRD (ADVP (ADV quite;{quite}))
                    (ADJ capable;{capable})
                    (PP (P-ROLE of;{of})
                        (IP-PPL (VAG;_Dn.t_ telling;{tell})
                                (NP-OB2;{SIR_JOHN} (N Sir;{sir})
                                                   (NPR John;{John}))
                                (IP-INF-OB1 (TO to;{to})
                                            (VB;_Tn.pr_ take;{take[to]})
                                            (NP-OB1 (NLYR (NLYR;{SIR_JOHN} (PNX himself;{himself}))
                                                          (CONJP (CONJ and;{and})
                                                                 (NLYR (NP-GEN;{SIR_JOHN} (PRO;_genm_ his;{his}))
                                                                       (N business;{business})))))
                                            (PP-CLR (P-ROLE to;{to})
                                                    (NP (D an;{an})
                                                        (ADJP (ADJ unmentionable;{unmentionable}))
                                                        (N destination;{destination})))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 94_a_lob_n02))

arc(r_0094_0002___apos_s,r_0094_0001__He,arg0).
arc(r_0094_0002___apos_s,r_0094_0004__capable,prd).
arc(r_0094_0004__capable,r_0094_0003__quite,qual).
arc(r_0094_0004__capable,r_0094_0006__telling,r_0094_0005__of).
arc(r_0094_0006__telling,r_0094_0007__Sir_r_0094_0008__John,arg2).
arc(r_0094_0006__telling,r_0094_0010__take_r_0094_0015__to,arg1).
arc(r_0094_0006__telling,z_0094_5005,arg0).
arc(r_0094_0010__take_r_0094_0015__to,r_0094_0007__Sir_r_0094_0008__John,arg0).
arc(r_0094_0010__take_r_0094_0015__to,r_0094_0012__and,arg1).
arc(r_0094_0010__take_r_0094_0015__to,r_0094_0016__an_r_0094_0018__destination,arg2).
arc(r_0094_0012__and,r_0094_0007__Sir_r_0094_0008__John,conj1).
arc(r_0094_0012__and,r_0094_0014__business,conj2).
arc(r_0094_0014__business,r_0094_0007__Sir_r_0094_0008__John,gen).
arc(r_0094_0016__an_r_0094_0018__destination,r_0094_0017__unmentionable,attrib).

fof(formula,axiom,
    ? [R_0094_0001__HE,R_0094_0003__QUITE,R_0094_0007__SIR_R_0094_0008__JOHN,R_0094_0014__BUSINESS,R_0094_0012__AND,R_0094_0017__UNMENTIONABLE,R_0094_0016__AN_R_0094_0018__DESTINATION,R_0094_0010__TAKE_R_0094_0015__TO,Z_0094_5005,R_0094_0006__TELLING,R_0094_0004__CAPABLE,R_0094_0002___APOS_S] :
      ( r_0094_0001__He(R_0094_0001__HE)
      & r_0094_0003__quite(R_0094_0003__QUITE)
      & r_0094_0007__Sir_r_0094_0008__John(R_0094_0007__SIR_R_0094_0008__JOHN)
      & r_0094_0017__unmentionable(R_0094_0017__UNMENTIONABLE)
      & z_0094_5005(Z_0094_5005)
      & r_0094_0002___apos_s(R_0094_0002___APOS_S)
      & has_prd(R_0094_0002___APOS_S,R_0094_0004__CAPABLE)
      & r_0094_0004__capable(R_0094_0004__CAPABLE)
      & has_r_0094_0005__of(R_0094_0004__CAPABLE,R_0094_0006__TELLING)
      & r_0094_0006__telling(R_0094_0006__TELLING)
      & has_arg0(R_0094_0006__TELLING,Z_0094_5005)
      & has_arg1(R_0094_0006__TELLING,R_0094_0010__TAKE_R_0094_0015__TO)
      & r_0094_0010__take_r_0094_0015__to(R_0094_0010__TAKE_R_0094_0015__TO)
      & has_arg2(R_0094_0010__TAKE_R_0094_0015__TO,R_0094_0016__AN_R_0094_0018__DESTINATION)
      & r_0094_0016__an_r_0094_0018__destination(R_0094_0016__AN_R_0094_0018__DESTINATION)
      & has_attrib(R_0094_0016__AN_R_0094_0018__DESTINATION,R_0094_0017__UNMENTIONABLE)
      & has_arg1(R_0094_0010__TAKE_R_0094_0015__TO,R_0094_0012__AND)
      & r_0094_0012__and(R_0094_0012__AND)
      & has_conj2(R_0094_0012__AND,R_0094_0014__BUSINESS)
      & r_0094_0014__business(R_0094_0014__BUSINESS)
      & has_gen(R_0094_0014__BUSINESS,R_0094_0007__SIR_R_0094_0008__JOHN)
      & has_conj1(R_0094_0012__AND,R_0094_0007__SIR_R_0094_0008__JOHN)
      & has_arg0(R_0094_0010__TAKE_R_0094_0015__TO,R_0094_0007__SIR_R_0094_0008__JOHN)
      & has_arg2(R_0094_0006__TELLING,R_0094_0007__SIR_R_0094_0008__JOHN)
      & has_qual(R_0094_0004__CAPABLE,R_0094_0003__QUITE)
      & has_arg0(R_0094_0002___APOS_S,R_0094_0001__HE) ) ).