TSPC 18_a_lob

18_a_lob_a02
The foreign office is represented by Sir Roderick Barclay, who has taken part in all the detailed common market exchanges over the past year with the French, Germans, and Italians.

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ foreign;{foreign}))
                  (N office;{office}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (VVN;_Tn_ represented;{represent})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (N Sir;{sir})
                                  (NPR Roderick;{Roderick})
                                  (NPR Barclay;{Barclay})
                                  (PUNC ,)
                                  (IP-REL (NP-SBJ (RPRO who;{who}))
                                          (HVP;_cat_Ve_ has;{have})
                                          (IP-PPL-CAT (VVN;__ taken;{take})
                                                      (NP-OB1 (N part;{part}))
                                                      (PP-NIM (P-ROLE in;{in})
                                                              (NP (Q;_nphd_ all;{all})
                                                                  (NLYR (D the;{the})
                                                                        (ADJP (ADJ detailed;{detailed}))
                                                                        (ADJP (ADJ common;{common}))
                                                                        (N market;{market})
                                                                        (NS exchanges;{exchange})
                                                                        (PP (P-ROLE over;{over})
                                                                            (NP (D the;{the})
                                                                                (ADJP (ADJ past;{past}))
                                                                                (N year;{year})))
                                                                        (PP (P-ROLE with;{with})
                                                                            (NP (NLYR (NLYR (D the;{the})
                                                                                            (N French;{french}))
                                                                                      (PUNC ,)
                                                                                      (CONJP (NLYR (NS Germans;{german})))
                                                                                      (PUNC ,)
                                                                                      (CONJP (CONJ and;{and})
                                                                                             (NLYR (NS Italians;{italian}))))))))))))))
          (PUNC .))
  (ID 18_a_lob_a02))

arc(r_0018_0001__The_r_0018_0003__office,r_0018_0002__foreign,attrib).
arc(r_0018_0004__is,r_0018_0005__represented,scope).
arc(r_0018_0005__represented,r_0018_0001__The_r_0018_0003__office,arg1).
arc(r_0018_0005__represented,r_0018_0007__Sir_r_0018_0008__Roderick_r_0018_0009__Barclay,r_0018_0006__by_arg0).
arc(r_0018_0012__has,r_0018_0013__taken,scope).
arc(r_0018_0013__taken,r_0018_0007__Sir_r_0018_0008__Roderick_r_0018_0009__Barclay,arg0).
arc(r_0018_0013__taken,r_0018_0014__part,arg1).
arc(r_0018_0013__taken,z_0018_5014,r_0018_0015__in__nim).
arc(r_0018_0016__all__quant,r_0018_0012__has,scope).
arc(r_0018_0016__all__quant,z_0018_5014,restriction).
arc(r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges,r_0018_0018__detailed,attrib).
arc(r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges,r_0018_0019__common,attrib).
arc(r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges,r_0018_0023__the_r_0018_0025__year,r_0018_0022__over).
arc(r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges,r_0018_0032__and,r_0018_0026__with).
arc(r_0018_0023__the_r_0018_0025__year,r_0018_0024__past,attrib).
arc(r_0018_0032__and,r_0018_0027__the_r_0018_0028__French,conj1).
arc(r_0018_0032__and,r_0018_0030__Germans,conj2).
arc(r_0018_0032__and,r_0018_0033__Italians,conj3).
arc(z_0018_5014,r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges,nim).

fof(formula,axiom,
    ? [R_0018_0002__FOREIGN,R_0018_0001__THE_R_0018_0003__OFFICE,R_0018_0007__SIR_R_0018_0008__RODERICK_R_0018_0009__BARCLAY,R_0018_0004__IS_R_0018_0005__REPRESENTED] :
      ( r_0018_0002__foreign(R_0018_0002__FOREIGN)
      & r_0018_0007__Sir_r_0018_0008__Roderick_r_0018_0009__Barclay(R_0018_0007__SIR_R_0018_0008__RODERICK_R_0018_0009__BARCLAY)
      & ! [Z_0018_5014,R_0018_0018__DETAILED,R_0018_0019__COMMON,R_0018_0024__PAST,R_0018_0023__THE_R_0018_0025__YEAR,R_0018_0027__THE_R_0018_0028__FRENCH,R_0018_0030__GERMANS,R_0018_0033__ITALIANS,R_0018_0032__AND,R_0018_0017__THE_R_0018_0020__MARKET_R_0018_0021__EXCHANGES] :
          ( ( r_0018_0018__detailed(R_0018_0018__DETAILED)
            & r_0018_0019__common(R_0018_0019__COMMON)
            & r_0018_0024__past(R_0018_0024__PAST)
            & r_0018_0027__the_r_0018_0028__French(R_0018_0027__THE_R_0018_0028__FRENCH)
            & r_0018_0030__Germans(R_0018_0030__GERMANS)
            & r_0018_0033__Italians(R_0018_0033__ITALIANS)
            & z_0018_5014(Z_0018_5014)
            & has_nim(Z_0018_5014,R_0018_0017__THE_R_0018_0020__MARKET_R_0018_0021__EXCHANGES)
            & r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges(R_0018_0017__THE_R_0018_0020__MARKET_R_0018_0021__EXCHANGES)
            & has_r_0018_0026__with(R_0018_0017__THE_R_0018_0020__MARKET_R_0018_0021__EXCHANGES,R_0018_0032__AND)
            & r_0018_0032__and(R_0018_0032__AND)
            & has_conj3(R_0018_0032__AND,R_0018_0033__ITALIANS)
            & has_conj2(R_0018_0032__AND,R_0018_0030__GERMANS)
            & has_conj1(R_0018_0032__AND,R_0018_0027__THE_R_0018_0028__FRENCH)
            & has_r_0018_0022__over(R_0018_0017__THE_R_0018_0020__MARKET_R_0018_0021__EXCHANGES,R_0018_0023__THE_R_0018_0025__YEAR)
            & r_0018_0023__the_r_0018_0025__year(R_0018_0023__THE_R_0018_0025__YEAR)
            & has_attrib(R_0018_0023__THE_R_0018_0025__YEAR,R_0018_0024__PAST)
            & has_attrib(R_0018_0017__THE_R_0018_0020__MARKET_R_0018_0021__EXCHANGES,R_0018_0019__COMMON)
            & has_attrib(R_0018_0017__THE_R_0018_0020__MARKET_R_0018_0021__EXCHANGES,R_0018_0018__DETAILED) )
         => ? [R_0018_0014__PART,R_0018_0012__HAS_R_0018_0013__TAKEN] :
              ( r_0018_0014__part(R_0018_0014__PART)
              & r_0018_0012__has_r_0018_0013__taken(R_0018_0012__HAS_R_0018_0013__TAKEN)
              & has_r_0018_0015__in__nim(R_0018_0012__HAS_R_0018_0013__TAKEN,Z_0018_5014)
              & has_arg1(R_0018_0012__HAS_R_0018_0013__TAKEN,R_0018_0014__PART)
              & has_arg0(R_0018_0012__HAS_R_0018_0013__TAKEN,R_0018_0007__SIR_R_0018_0008__RODERICK_R_0018_0009__BARCLAY) ) )
      & r_0018_0004__is_r_0018_0005__represented(R_0018_0004__IS_R_0018_0005__REPRESENTED)
      & has_r_0018_0006__by_arg0(R_0018_0004__IS_R_0018_0005__REPRESENTED,R_0018_0007__SIR_R_0018_0008__RODERICK_R_0018_0009__BARCLAY)
      & has_arg1(R_0018_0004__IS_R_0018_0005__REPRESENTED,R_0018_0001__THE_R_0018_0003__OFFICE)
      & r_0018_0001__The_r_0018_0003__office(R_0018_0001__THE_R_0018_0003__OFFICE)
      & has_attrib(R_0018_0001__THE_R_0018_0003__OFFICE,R_0018_0002__FOREIGN) ) ).