TSPC 43_a_lob

43_a_lob_a02
At 9.40 Mr Edusei, Minister of transport and probably the toughest man in Mr Nkrumah's team, drove up to the Kingsway stores and faced the demonstrators, most of them shopgirls in overalls.

( (IP-MAT (PP-NIM (P-ROLE At;{at})
                  (NP (NUM 9<dot>40)))
          (NP-SBJ;{EDUSEI} (N Mr;{mr})
                           (NPR Edusei;{Edusei})
                           (PUNC ,)
                           (PRN (NP (NLYR (NLYR (N Minister;{minister})
                                                (PP (P-ROLE of;{of})
                                                    (NP (N transport;{transport}))))
                                          (CONJP (CONJ and;{and})
                                                 (NLYR (ADVP (ADV probably;{probably}))
                                                       (D the;{the})
                                                       (ADJP (ADJS toughest;{tough}))
                                                       (N man;{man})
                                                       (PP (P-ROLE in;{in})
                                                           (NP (NP-GEN (N Mr;{mr})
                                                                       (NPR Nkrumah;{Nkrumah})
                                                                       (GENM <apos>s))
                                                               (N team;{team})))))))))
          (PUNC ,)
          (ILYR (ILYR (VBD;__ drove;{drive})
                      (RP up;{up})
                      (PP-NIM (P-ROLE to;{to})
                              (NP (D the;{the})
                                  (NPR Kingsway;{Kingsway})
                                  (NS stores;{store}))))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Tn_ faced;{face})
                             (NP-OB1;{DEMONSTRATORS} (D the;{the})
                                                     (NS demonstrators;{demonstrator})
                                                     (PUNC ,)
                                                     (PRN (IP-MAT (NP-SBJ (Q;_nphd_ most;{most})
                                                                          (PP (P-ROLE of;{of})
                                                                              (NP (PRO them;{they}))))
                                                                  (NP-PRD (NS shopgirls;{shopgirls})
                                                                          (PP (P-ROLE in;{in})
                                                                              (NP (NS overalls;{overall}))))))))))
          (PUNC .))
  (ID 43_a_lob_a02))

arc(r_0043_0006__Minister,r_0043_0008__transport,r_0043_0007__of).
arc(r_0043_0009__and,r_0043_0006__Minister,conj1).
arc(r_0043_0009__and,r_0043_0011__the_r_0043_0013__man,conj2).
arc(r_0043_0011__the_r_0043_0013__man,r_0043_0010__probably,qual).
arc(r_0043_0011__the_r_0043_0013__man,r_0043_0012__toughest,attrib).
arc(r_0043_0011__the_r_0043_0013__man,r_0043_0018__team,r_0043_0014__in).
arc(r_0043_0018__team,r_0043_0015__Mr_r_0043_0016__Nkrumah,gen).
arc(r_0043_0020__drove_r_0043_0021__up,r_0043_0002__9_dot_40,r_0043_0001__At__nim).
arc(r_0043_0020__drove_r_0043_0021__up,r_0043_0003__Mr_r_0043_0004__Edusei,arg0).
arc(r_0043_0020__drove_r_0043_0021__up,r_0043_0023__the_r_0043_0024__Kingsway_r_0043_0025__stores,r_0043_0022__to__nim).
arc(r_0043_0026__and,r_0043_0020__drove_r_0043_0021__up,conj1).
arc(r_0043_0026__and,r_0043_0027__faced,conj2).
arc(r_0043_0027__faced,r_0043_0002__9_dot_40,r_0043_0001__At__nim).
arc(r_0043_0027__faced,r_0043_0003__Mr_r_0043_0004__Edusei,arg0).
arc(r_0043_0027__faced,r_0043_0028__the_r_0043_0029__demonstrators,arg1).
arc(r_0043_0028__the_r_0043_0029__demonstrators,r_0043_0031__most__quant,prn).
arc(r_0043_0031__most__quant,z_0043_5017,restriction).
arc(r_0043_0031__most__quant,z_0043_5020,scope).
arc(r_0043_0034__shopgirls,r_0043_0036__overalls,r_0043_0035__in).
arc(z_0043_5009,r_0043_0003__Mr_r_0043_0004__Edusei,arg0).
arc(z_0043_5009,r_0043_0009__and,prd).
arc(z_0043_5017,r_0043_0033__them,r_0043_0032__of).
arc(z_0043_5020,r_0043_0034__shopgirls,prd).
arc(z_0043_5020,z_0043_5017,arg0).

fof(formula,axiom,
    ? [R_0043_0002__9_DOT_40,R_0043_0003__MR_R_0043_0004__EDUSEI,R_0043_0023__THE_R_0043_0024__KINGSWAY_R_0043_0025__STORES,R_0043_0020__DROVE_R_0043_0021__UP,R_0043_0028__THE_R_0043_0029__DEMONSTRATORS,R_0043_0027__FACED,R_0043_0026__AND,R_0043_0008__TRANSPORT,R_0043_0006__MINISTER,R_0043_0010__PROBABLY,R_0043_0012__TOUGHEST,R_0043_0015__MR_R_0043_0016__NKRUMAH,R_0043_0018__TEAM,R_0043_0011__THE_R_0043_0013__MAN,R_0043_0009__AND,Z_0043_5009] :
      ( r_0043_0002__9_dot_40(R_0043_0002__9_DOT_40)
      & r_0043_0003__Mr_r_0043_0004__Edusei(R_0043_0003__MR_R_0043_0004__EDUSEI)
      & r_0043_0008__transport(R_0043_0008__TRANSPORT)
      & r_0043_0010__probably(R_0043_0010__PROBABLY)
      & r_0043_0012__toughest(R_0043_0012__TOUGHEST)
      & r_0043_0015__Mr_r_0043_0016__Nkrumah(R_0043_0015__MR_R_0043_0016__NKRUMAH)
      & r_0043_0023__the_r_0043_0024__Kingsway_r_0043_0025__stores(R_0043_0023__THE_R_0043_0024__KINGSWAY_R_0043_0025__STORES)
      & z_0043_5009(Z_0043_5009)
      & has_prd(Z_0043_5009,R_0043_0009__AND)
      & r_0043_0009__and(R_0043_0009__AND)
      & has_conj2(R_0043_0009__AND,R_0043_0011__THE_R_0043_0013__MAN)
      & r_0043_0011__the_r_0043_0013__man(R_0043_0011__THE_R_0043_0013__MAN)
      & has_r_0043_0014__in(R_0043_0011__THE_R_0043_0013__MAN,R_0043_0018__TEAM)
      & r_0043_0018__team(R_0043_0018__TEAM)
      & has_gen(R_0043_0018__TEAM,R_0043_0015__MR_R_0043_0016__NKRUMAH)
      & has_attrib(R_0043_0011__THE_R_0043_0013__MAN,R_0043_0012__TOUGHEST)
      & has_qual(R_0043_0011__THE_R_0043_0013__MAN,R_0043_0010__PROBABLY)
      & has_conj1(R_0043_0009__AND,R_0043_0006__MINISTER)
      & r_0043_0006__Minister(R_0043_0006__MINISTER)
      & has_r_0043_0007__of(R_0043_0006__MINISTER,R_0043_0008__TRANSPORT)
      & has_arg0(Z_0043_5009,R_0043_0003__MR_R_0043_0004__EDUSEI)
      & r_0043_0026__and(R_0043_0026__AND)
      & has_conj2(R_0043_0026__AND,R_0043_0027__FACED)
      & r_0043_0027__faced(R_0043_0027__FACED)
      & has_arg1(R_0043_0027__FACED,R_0043_0028__THE_R_0043_0029__DEMONSTRATORS)
      & r_0043_0028__the_r_0043_0029__demonstrators(R_0043_0028__THE_R_0043_0029__DEMONSTRATORS)
      & ! [Z_0043_5017,R_0043_0033__THEM] :
          ( ( r_0043_0033__them(R_0043_0033__THEM)
            & z_0043_5017(Z_0043_5017)
            & has_r_0043_0032__of(Z_0043_5017,R_0043_0033__THEM) )
         => ? [R_0043_0036__OVERALLS,R_0043_0034__SHOPGIRLS,Z_0043_5020] :
              ( r_0043_0036__overalls(R_0043_0036__OVERALLS)
              & z_0043_5020(Z_0043_5020)
              & has_arg0(Z_0043_5020,Z_0043_5017)
              & has_prd(Z_0043_5020,R_0043_0034__SHOPGIRLS)
              & r_0043_0034__shopgirls(R_0043_0034__SHOPGIRLS)
              & has_r_0043_0035__in(R_0043_0034__SHOPGIRLS,R_0043_0036__OVERALLS) ) )
      & has_arg0(R_0043_0027__FACED,R_0043_0003__MR_R_0043_0004__EDUSEI)
      & has_r_0043_0001__At__nim(R_0043_0027__FACED,R_0043_0002__9_DOT_40)
      & has_conj1(R_0043_0026__AND,R_0043_0020__DROVE_R_0043_0021__UP)
      & r_0043_0020__drove_r_0043_0021__up(R_0043_0020__DROVE_R_0043_0021__UP)
      & has_r_0043_0022__to__nim(R_0043_0020__DROVE_R_0043_0021__UP,R_0043_0023__THE_R_0043_0024__KINGSWAY_R_0043_0025__STORES)
      & has_arg0(R_0043_0020__DROVE_R_0043_0021__UP,R_0043_0003__MR_R_0043_0004__EDUSEI)
      & has_r_0043_0001__At__nim(R_0043_0020__DROVE_R_0043_0021__UP,R_0043_0002__9_DOT_40) ) ).