TSPC 21_a_lob

21_a_lob_a01
Yesterday Sir Roy's chief aide, Mr Julius Greenfield, telephoned his chief a report on his talks with Mr Macmillan at Chequers.

( (IP-MAT (ADVP-NIM (ADV Yesterday;{yesterday}))
          (NP-SBJ (NP-GEN;{ROY} (N Sir;{sir})
                                (NPR Roy;{Roy})
                                (GENM <apos>s))
                  (ADJP (ADJ chief;{chief}))
                  (N aide;{aide})
                  (PUNC ,)
                  (PRN (NP;{GREENFIELD} (N Mr;{mr})
                                        (NPR Julius;{Julius})
                                        (NPR Greenfield;{Greenfield}))))
          (PUNC ,)
          (VBD;_Dn.n_ telephoned;{telephone})
          (NP-OB2 (NP-GEN;{GREENFIELD} (PRO;_genm_ his;{his}))
                  (N chief;{chief}))
          (NP-OB1 (D a;{a})
                  (N report;{report})
                  (PP (P-ROLE on;{on})
                      (NP (NP-GEN;{GREENFIELD} (PRO;_genm_ his;{his}))
                          (NS talks;{talk})
                          (PP (P-ROLE with;{with})
                              (NP;{MACMILLAN} (N Mr;{mr})
                                              (NPR Macmillan;{Macmillan})))
                          (PP (P-ROLE at;{at})
                              (NP (NPR Chequers;{Chequers}))))))
          (PUNC .))
  (ID 21_a_lob_a01))

arc(r_0021_0006__aide,r_0021_0002__Sir_r_0021_0003__Roy,gen).
arc(r_0021_0006__aide,r_0021_0005__chief,attrib).
arc(r_0021_0012__telephoned,r_0021_0001__Yesterday,nim).
arc(r_0021_0012__telephoned,r_0021_0006__aide,arg0).
arc(r_0021_0012__telephoned,r_0021_0014__chief,arg2).
arc(r_0021_0012__telephoned,r_0021_0015__a_r_0021_0016__report,arg1).
arc(r_0021_0014__chief,r_0021_0008__Mr_r_0021_0009__Julius_r_0021_0010__Greenfield,gen).
arc(r_0021_0015__a_r_0021_0016__report,r_0021_0019__talks,r_0021_0017__on).
arc(r_0021_0019__talks,r_0021_0008__Mr_r_0021_0009__Julius_r_0021_0010__Greenfield,gen).
arc(r_0021_0019__talks,r_0021_0021__Mr_r_0021_0022__Macmillan,r_0021_0020__with).
arc(r_0021_0019__talks,r_0021_0024__Chequers,r_0021_0023__at).
arc(z_0021_5004,r_0021_0006__aide,arg0).
arc(z_0021_5004,r_0021_0008__Mr_r_0021_0009__Julius_r_0021_0010__Greenfield,prd).

fof(formula,axiom,
    ? [R_0021_0001__YESTERDAY,R_0021_0002__SIR_R_0021_0003__ROY,R_0021_0005__CHIEF,R_0021_0006__AIDE,R_0021_0008__MR_R_0021_0009__JULIUS_R_0021_0010__GREENFIELD,R_0021_0014__CHIEF,R_0021_0021__MR_R_0021_0022__MACMILLAN,R_0021_0024__CHEQUERS,R_0021_0019__TALKS,R_0021_0015__A_R_0021_0016__REPORT,R_0021_0012__TELEPHONED,Z_0021_5004] :
      ( r_0021_0001__Yesterday(R_0021_0001__YESTERDAY)
      & r_0021_0002__Sir_r_0021_0003__Roy(R_0021_0002__SIR_R_0021_0003__ROY)
      & r_0021_0005__chief(R_0021_0005__CHIEF)
      & r_0021_0008__Mr_r_0021_0009__Julius_r_0021_0010__Greenfield(R_0021_0008__MR_R_0021_0009__JULIUS_R_0021_0010__GREENFIELD)
      & r_0021_0021__Mr_r_0021_0022__Macmillan(R_0021_0021__MR_R_0021_0022__MACMILLAN)
      & r_0021_0024__Chequers(R_0021_0024__CHEQUERS)
      & z_0021_5004(Z_0021_5004)
      & has_prd(Z_0021_5004,R_0021_0008__MR_R_0021_0009__JULIUS_R_0021_0010__GREENFIELD)
      & has_arg0(Z_0021_5004,R_0021_0006__AIDE)
      & r_0021_0006__aide(R_0021_0006__AIDE)
      & has_attrib(R_0021_0006__AIDE,R_0021_0005__CHIEF)
      & has_gen(R_0021_0006__AIDE,R_0021_0002__SIR_R_0021_0003__ROY)
      & r_0021_0012__telephoned(R_0021_0012__TELEPHONED)
      & has_arg1(R_0021_0012__TELEPHONED,R_0021_0015__A_R_0021_0016__REPORT)
      & r_0021_0015__a_r_0021_0016__report(R_0021_0015__A_R_0021_0016__REPORT)
      & has_r_0021_0017__on(R_0021_0015__A_R_0021_0016__REPORT,R_0021_0019__TALKS)
      & r_0021_0019__talks(R_0021_0019__TALKS)
      & has_r_0021_0023__at(R_0021_0019__TALKS,R_0021_0024__CHEQUERS)
      & has_r_0021_0020__with(R_0021_0019__TALKS,R_0021_0021__MR_R_0021_0022__MACMILLAN)
      & has_gen(R_0021_0019__TALKS,R_0021_0008__MR_R_0021_0009__JULIUS_R_0021_0010__GREENFIELD)
      & has_arg2(R_0021_0012__TELEPHONED,R_0021_0014__CHIEF)
      & r_0021_0014__chief(R_0021_0014__CHIEF)
      & has_gen(R_0021_0014__CHIEF,R_0021_0008__MR_R_0021_0009__JULIUS_R_0021_0010__GREENFIELD)
      & has_arg0(R_0021_0012__TELEPHONED,R_0021_0006__AIDE)
      & has_nim(R_0021_0012__TELEPHONED,R_0021_0001__YESTERDAY) ) ).