TSPC 83_a_lob

83_a_lob_a02
Mr Macmillan gave top priority to the clash over Northern Rhodesia on his return from Scotland yesterday.

( (IP-MAT (NP-SBJ;{MACMILLAN} (N Mr;{mr})
                              (NPR Macmillan;{Macmillan}))
          (VBD;_Tn.pr_ gave;{give})
          (NP-OB1 (N top;{top})
                  (N priority;{priority}))
          (PP-CLR (P-ROLE to;{to})
                  (NP (D the;{the})
                      (N clash;{clash})
                      (PP (P-ROLE over;{over})
                          (NP (NPR Northern;{Northern})
                              (NPR Rhodesia;{Rhodesia})))))
          (PP-NIM (P-ROLE on;{on})
                  (NP (NP-GEN;{MACMILLAN} (PRO;_genm_ his;{his}))
                      (N return;{return})
                      (PP (P-ROLE from;{from})
                          (NP (NPR Scotland;{Scotland})))))
          (ADVP-NIM (ADV yesterday;{yesterday}))
          (PUNC .))
  (ID 83_a_lob_a02))

arc(r_0083_0003__gave_r_0083_0006__to,r_0083_0001__Mr_r_0083_0002__Macmillan,arg0).
arc(r_0083_0003__gave_r_0083_0006__to,r_0083_0004__top_r_0083_0005__priority,arg1).
arc(r_0083_0003__gave_r_0083_0006__to,r_0083_0007__the_r_0083_0008__clash,arg2).
arc(r_0083_0003__gave_r_0083_0006__to,r_0083_0014__return,r_0083_0012__on__nim).
arc(r_0083_0003__gave_r_0083_0006__to,r_0083_0017__yesterday,nim).
arc(r_0083_0007__the_r_0083_0008__clash,r_0083_0010__Northern_r_0083_0011__Rhodesia,r_0083_0009__over).
arc(r_0083_0014__return,r_0083_0001__Mr_r_0083_0002__Macmillan,gen).
arc(r_0083_0014__return,r_0083_0016__Scotland,r_0083_0015__from).

fof(formula,axiom,
    ? [R_0083_0001__MR_R_0083_0002__MACMILLAN,R_0083_0004__TOP_R_0083_0005__PRIORITY,R_0083_0010__NORTHERN_R_0083_0011__RHODESIA,R_0083_0007__THE_R_0083_0008__CLASH,R_0083_0016__SCOTLAND,R_0083_0014__RETURN,R_0083_0017__YESTERDAY,R_0083_0003__GAVE_R_0083_0006__TO] :
      ( r_0083_0001__Mr_r_0083_0002__Macmillan(R_0083_0001__MR_R_0083_0002__MACMILLAN)
      & r_0083_0004__top_r_0083_0005__priority(R_0083_0004__TOP_R_0083_0005__PRIORITY)
      & r_0083_0010__Northern_r_0083_0011__Rhodesia(R_0083_0010__NORTHERN_R_0083_0011__RHODESIA)
      & r_0083_0016__Scotland(R_0083_0016__SCOTLAND)
      & r_0083_0017__yesterday(R_0083_0017__YESTERDAY)
      & r_0083_0003__gave_r_0083_0006__to(R_0083_0003__GAVE_R_0083_0006__TO)
      & has_nim(R_0083_0003__GAVE_R_0083_0006__TO,R_0083_0017__YESTERDAY)
      & has_r_0083_0012__on__nim(R_0083_0003__GAVE_R_0083_0006__TO,R_0083_0014__RETURN)
      & r_0083_0014__return(R_0083_0014__RETURN)
      & has_r_0083_0015__from(R_0083_0014__RETURN,R_0083_0016__SCOTLAND)
      & has_gen(R_0083_0014__RETURN,R_0083_0001__MR_R_0083_0002__MACMILLAN)
      & has_arg2(R_0083_0003__GAVE_R_0083_0006__TO,R_0083_0007__THE_R_0083_0008__CLASH)
      & r_0083_0007__the_r_0083_0008__clash(R_0083_0007__THE_R_0083_0008__CLASH)
      & has_r_0083_0009__over(R_0083_0007__THE_R_0083_0008__CLASH,R_0083_0010__NORTHERN_R_0083_0011__RHODESIA)
      & has_arg1(R_0083_0003__GAVE_R_0083_0006__TO,R_0083_0004__TOP_R_0083_0005__PRIORITY)
      & has_arg0(R_0083_0003__GAVE_R_0083_0006__TO,R_0083_0001__MR_R_0083_0002__MACMILLAN) ) ).