Context                Previous, Next                Top


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.

%3 r_0018_0001__The_r_0018_0003__office The office r_0018_0002__foreign foreign r_0018_0001__The_r_0018_0003__office->r_0018_0002__foreign [attrib] r_0018_0004__is is r_0018_0005__represented represented r_0018_0004__is->r_0018_0005__represented [scope] r_0018_0005__represented->r_0018_0001__The_r_0018_0003__office [arg1] r_0018_0007__Sir_r_0018_0008__Roderick_r_0018_0009__Barclay Sir Roderick Barclay r_0018_0005__represented->r_0018_0007__Sir_r_0018_0008__Roderick_r_0018_0009__Barclay [arg0] r_0018_0012__has has r_0018_0016__all_quant all [quant] r_0018_0012__has->r_0018_0016__all_quant [scope] r_0018_0013__taken taken r_0018_0016__all_quant->r_0018_0013__taken [scope] r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges the market exchanges r_0018_0016__all_quant->r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges [restriction] r_0018_0013__taken->r_0018_0007__Sir_r_0018_0008__Roderick_r_0018_0009__Barclay [arg0] r_0018_0014__part part r_0018_0013__taken->r_0018_0014__part [arg1] r_0018_0013__taken->r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges in [nim] r_0018_0018__detailed detailed r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges->r_0018_0018__detailed [attrib] r_0018_0019__common common r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges->r_0018_0019__common [attrib] r_0018_0023__the_r_0018_0025__year the year r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges->r_0018_0023__the_r_0018_0025__year over r_0018_0032__and and r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges->r_0018_0032__and with r_0018_0024__past past r_0018_0023__the_r_0018_0025__year->r_0018_0024__past [attrib] r_0018_0027__the_r_0018_0028__French the French r_0018_0032__and->r_0018_0027__the_r_0018_0028__French [conj1] r_0018_0030__Germans Germans r_0018_0032__and->r_0018_0030__Germans [conj2] r_0018_0033__Italians Italians r_0018_0032__and->r_0018_0033__Italians [conj3] 
arc(r_0018_0001__The_r_0018_0003__office, r_0018_0002__foreign, attrib5).
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, arg0).
arc(r_0018_0012__has, r_0018_0016__all_quant, 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, r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges, r_0018_0015__in_nim42).
arc(r_0018_0016__all_quant, r_0018_0013__taken, scope).
arc(r_0018_0016__all_quant, r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges, restriction).
arc(r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges, r_0018_0018__detailed, attrib47).
arc(r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges, r_0018_0019__common, attrib50).
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, attrib63).
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).


%3 r_0018_0001__The_r_0018_0003__office The office r_0018_0002__foreign foreign r_0018_0001__The_r_0018_0003__office->r_0018_0002__foreign [attrib] r_0018_0004__is_r_0018_0005__represented is represented r_0018_0004__is_r_0018_0005__represented->r_0018_0001__The_r_0018_0003__office [arg1] r_0018_0007__Sir_r_0018_0008__Roderick_r_0018_0009__Barclay Sir Roderick Barclay r_0018_0004__is_r_0018_0005__represented->r_0018_0007__Sir_r_0018_0008__Roderick_r_0018_0009__Barclay [arg0] r_0018_0012__has has r_0018_0016__all_quant all [quant] r_0018_0012__has->r_0018_0016__all_quant [keep_scope] r_0018_0013__taken taken r_0018_0016__all_quant->r_0018_0013__taken [scope] r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges the market exchanges r_0018_0016__all_quant->r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges [restriction] r_0018_0013__taken->r_0018_0007__Sir_r_0018_0008__Roderick_r_0018_0009__Barclay [arg0] r_0018_0014__part part r_0018_0013__taken->r_0018_0014__part [arg1] r_0018_0013__taken->r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges in [nim] r_0018_0018__detailed detailed r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges->r_0018_0018__detailed [attrib] r_0018_0019__common common r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges->r_0018_0019__common [attrib] r_0018_0023__the_r_0018_0025__year the year r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges->r_0018_0023__the_r_0018_0025__year over r_0018_0032__and and r_0018_0017__the_r_0018_0020__market_r_0018_0021__exchanges->r_0018_0032__and with r_0018_0024__past past r_0018_0023__the_r_0018_0025__year->r_0018_0024__past [attrib] r_0018_0027__the_r_0018_0028__French the French r_0018_0032__and->r_0018_0027__the_r_0018_0028__French [conj1] r_0018_0030__Germans Germans r_0018_0032__and->r_0018_0030__Germans [conj2] r_0018_0033__Italians Italians r_0018_0032__and->r_0018_0033__Italians [conj3] 
fof(formula,axiom,
    ? [R_18_4_IS_REPRESENTED,R_18_7_SIR_RODERICK_BARCLAY,R_18_1_THE_OFFICE,R_18_2_FOREIGN] :
      ( sir_Roderick_Barclay(R_18_7_SIR_RODERICK_BARCLAY)
      & foreign(R_18_2_FOREIGN)
      & is_represented(R_18_4_IS_REPRESENTED,R_18_7_SIR_RODERICK_BARCLAY,R_18_1_THE_OFFICE)
      & the_office(R_18_1_THE_OFFICE)
      & attrib5(R_18_1_THE_OFFICE,R_18_2_FOREIGN)
      & ~ ! [R_18_17_THE_MARKET_EXCHANGES,R_18_18_DETAILED,R_18_19_COMMON,R_18_23_THE_YEAR,R_18_24_PAST,R_18_32_AND,R_18_27_THE_FRENCH,R_18_30_GERMANS,R_18_33_ITALIANS] :
            ( ( detailed(R_18_18_DETAILED)
              & common(R_18_19_COMMON)
              & past(R_18_24_PAST)
              & the_French(R_18_27_THE_FRENCH)
              & germans(R_18_30_GERMANS)
              & italians(R_18_33_ITALIANS)
              & the_market_exchanges(R_18_17_THE_MARKET_EXCHANGES)
              & attrib47(R_18_17_THE_MARKET_EXCHANGES,R_18_18_DETAILED)
              & attrib50(R_18_17_THE_MARKET_EXCHANGES,R_18_19_COMMON)
              & over(R_18_17_THE_MARKET_EXCHANGES,R_18_23_THE_YEAR)
              & the_year(R_18_23_THE_YEAR)
              & attrib63(R_18_23_THE_YEAR,R_18_24_PAST)
              & with(R_18_17_THE_MARKET_EXCHANGES,R_18_32_AND)
              & and(R_18_32_AND)
              & conj1(R_18_32_AND,R_18_27_THE_FRENCH)
              & conj2(R_18_32_AND,R_18_30_GERMANS)
              & conj3(R_18_32_AND,R_18_33_ITALIANS) )
           => ? [R_18_13_TAKEN,R_18_14_PART] :
                ( part(R_18_14_PART)
                & taken(R_18_13_TAKEN,R_18_7_SIR_RODERICK_BARCLAY,R_18_14_PART)
                & in_nim42(R_18_13_TAKEN,R_18_17_THE_MARKET_EXCHANGES) ) ) ) ).


n18_a_lob_a02 n18_a_lob_a02_4 The n18_a_lob_a02_7 foreign n18_a_lob_a02_9 office n18_a_lob_a02_11 is n18_a_lob_a02_14 represented n18_a_lob_a02_17 by n18_a_lob_a02_20 Sir n18_a_lob_a02_22 Roderick n18_a_lob_a02_24 Barclay n18_a_lob_a02_26 , n18_a_lob_a02_30 who n18_a_lob_a02_32 has n18_a_lob_a02_35 taken n18_a_lob_a02_38 part n18_a_lob_a02_41 in n18_a_lob_a02_44 all n18_a_lob_a02_46 the n18_a_lob_a02_49 detailed n18_a_lob_a02_52 common n18_a_lob_a02_54 market n18_a_lob_a02_56 exchanges n18_a_lob_a02_59 over n18_a_lob_a02_62 the n18_a_lob_a02_65 past n18_a_lob_a02_67 year n18_a_lob_a02_70 with n18_a_lob_a02_75 the n18_a_lob_a02_77 French n18_a_lob_a02_79 , n18_a_lob_a02_83 Germans n18_a_lob_a02_85 , n18_a_lob_a02_88 and n18_a_lob_a02_91 Italians n18_a_lob_a02_93 . n18_a_lob_a02_1 IP-MAT n18_a_lob_a02_2 NP-SBJ n18_a_lob_a02_1->n18_a_lob_a02_2 n18_a_lob_a02_10 BEP;_cat_VePASS_ n18_a_lob_a02_1->n18_a_lob_a02_10 n18_a_lob_a02_12 IP-PPL-CAT n18_a_lob_a02_1->n18_a_lob_a02_12 n18_a_lob_a02_92 PUNC n18_a_lob_a02_1->n18_a_lob_a02_92 n18_a_lob_a02_3 D n18_a_lob_a02_2->n18_a_lob_a02_3 n18_a_lob_a02_5 ADJP n18_a_lob_a02_2->n18_a_lob_a02_5 n18_a_lob_a02_8 N n18_a_lob_a02_2->n18_a_lob_a02_8 n18_a_lob_a02_3->n18_a_lob_a02_4 n18_a_lob_a02_6 ADJ n18_a_lob_a02_5->n18_a_lob_a02_6 n18_a_lob_a02_6->n18_a_lob_a02_7 n18_a_lob_a02_8->n18_a_lob_a02_9 n18_a_lob_a02_10->n18_a_lob_a02_11 n18_a_lob_a02_13 VVN;_Tn_ n18_a_lob_a02_12->n18_a_lob_a02_13 n18_a_lob_a02_15 PP-LGS n18_a_lob_a02_12->n18_a_lob_a02_15 n18_a_lob_a02_13->n18_a_lob_a02_14 n18_a_lob_a02_16 P-ROLE;_lgs_ n18_a_lob_a02_15->n18_a_lob_a02_16 n18_a_lob_a02_18 NP n18_a_lob_a02_15->n18_a_lob_a02_18 n18_a_lob_a02_16->n18_a_lob_a02_17 n18_a_lob_a02_19 N n18_a_lob_a02_18->n18_a_lob_a02_19 n18_a_lob_a02_21 NPR n18_a_lob_a02_18->n18_a_lob_a02_21 n18_a_lob_a02_23 NPR n18_a_lob_a02_18->n18_a_lob_a02_23 n18_a_lob_a02_25 PUNC n18_a_lob_a02_18->n18_a_lob_a02_25 n18_a_lob_a02_27 IP-REL n18_a_lob_a02_18->n18_a_lob_a02_27 n18_a_lob_a02_19->n18_a_lob_a02_20 n18_a_lob_a02_21->n18_a_lob_a02_22 n18_a_lob_a02_23->n18_a_lob_a02_24 n18_a_lob_a02_25->n18_a_lob_a02_26 n18_a_lob_a02_28 NP-SBJ n18_a_lob_a02_27->n18_a_lob_a02_28 n18_a_lob_a02_31 HVP;_cat_Ve_ n18_a_lob_a02_27->n18_a_lob_a02_31 n18_a_lob_a02_33 IP-PPL-CAT n18_a_lob_a02_27->n18_a_lob_a02_33 n18_a_lob_a02_29 RPRO n18_a_lob_a02_28->n18_a_lob_a02_29 n18_a_lob_a02_29->n18_a_lob_a02_30 n18_a_lob_a02_31->n18_a_lob_a02_32 n18_a_lob_a02_34 VVN;__ n18_a_lob_a02_33->n18_a_lob_a02_34 n18_a_lob_a02_36 NP-OB1 n18_a_lob_a02_33->n18_a_lob_a02_36 n18_a_lob_a02_39 PP-NIM n18_a_lob_a02_33->n18_a_lob_a02_39 n18_a_lob_a02_34->n18_a_lob_a02_35 n18_a_lob_a02_37 N n18_a_lob_a02_36->n18_a_lob_a02_37 n18_a_lob_a02_37->n18_a_lob_a02_38 n18_a_lob_a02_40 P-ROLE n18_a_lob_a02_39->n18_a_lob_a02_40 n18_a_lob_a02_42 NP n18_a_lob_a02_39->n18_a_lob_a02_42 n18_a_lob_a02_40->n18_a_lob_a02_41 n18_a_lob_a02_43 Q;_nphd_ n18_a_lob_a02_42->n18_a_lob_a02_43 n18_a_lob_a02_45 D n18_a_lob_a02_42->n18_a_lob_a02_45 n18_a_lob_a02_47 ADJP n18_a_lob_a02_42->n18_a_lob_a02_47 n18_a_lob_a02_50 ADJP n18_a_lob_a02_42->n18_a_lob_a02_50 n18_a_lob_a02_53 N n18_a_lob_a02_42->n18_a_lob_a02_53 n18_a_lob_a02_55 NS n18_a_lob_a02_42->n18_a_lob_a02_55 n18_a_lob_a02_57 PP n18_a_lob_a02_42->n18_a_lob_a02_57 n18_a_lob_a02_68 PP n18_a_lob_a02_42->n18_a_lob_a02_68 n18_a_lob_a02_43->n18_a_lob_a02_44 n18_a_lob_a02_45->n18_a_lob_a02_46 n18_a_lob_a02_48 ADJ n18_a_lob_a02_47->n18_a_lob_a02_48 n18_a_lob_a02_48->n18_a_lob_a02_49 n18_a_lob_a02_51 ADJ n18_a_lob_a02_50->n18_a_lob_a02_51 n18_a_lob_a02_51->n18_a_lob_a02_52 n18_a_lob_a02_53->n18_a_lob_a02_54 n18_a_lob_a02_55->n18_a_lob_a02_56 n18_a_lob_a02_58 P-ROLE n18_a_lob_a02_57->n18_a_lob_a02_58 n18_a_lob_a02_60 NP n18_a_lob_a02_57->n18_a_lob_a02_60 n18_a_lob_a02_58->n18_a_lob_a02_59 n18_a_lob_a02_61 D n18_a_lob_a02_60->n18_a_lob_a02_61 n18_a_lob_a02_63 ADJP n18_a_lob_a02_60->n18_a_lob_a02_63 n18_a_lob_a02_66 N n18_a_lob_a02_60->n18_a_lob_a02_66 n18_a_lob_a02_61->n18_a_lob_a02_62 n18_a_lob_a02_64 ADJ n18_a_lob_a02_63->n18_a_lob_a02_64 n18_a_lob_a02_64->n18_a_lob_a02_65 n18_a_lob_a02_66->n18_a_lob_a02_67 n18_a_lob_a02_69 P-ROLE n18_a_lob_a02_68->n18_a_lob_a02_69 n18_a_lob_a02_71 NP n18_a_lob_a02_68->n18_a_lob_a02_71 n18_a_lob_a02_69->n18_a_lob_a02_70 n18_a_lob_a02_72 NLYR n18_a_lob_a02_71->n18_a_lob_a02_72 n18_a_lob_a02_73 NLYR n18_a_lob_a02_72->n18_a_lob_a02_73 n18_a_lob_a02_78 PUNC n18_a_lob_a02_72->n18_a_lob_a02_78 n18_a_lob_a02_80 CONJP n18_a_lob_a02_72->n18_a_lob_a02_80 n18_a_lob_a02_84 PUNC n18_a_lob_a02_72->n18_a_lob_a02_84 n18_a_lob_a02_86 CONJP n18_a_lob_a02_72->n18_a_lob_a02_86 n18_a_lob_a02_74 D n18_a_lob_a02_73->n18_a_lob_a02_74 n18_a_lob_a02_76 N n18_a_lob_a02_73->n18_a_lob_a02_76 n18_a_lob_a02_74->n18_a_lob_a02_75 n18_a_lob_a02_76->n18_a_lob_a02_77 n18_a_lob_a02_78->n18_a_lob_a02_79 n18_a_lob_a02_81 NLYR n18_a_lob_a02_80->n18_a_lob_a02_81 n18_a_lob_a02_82 NS n18_a_lob_a02_81->n18_a_lob_a02_82 n18_a_lob_a02_82->n18_a_lob_a02_83 n18_a_lob_a02_84->n18_a_lob_a02_85 n18_a_lob_a02_87 CONJ n18_a_lob_a02_86->n18_a_lob_a02_87 n18_a_lob_a02_89 NLYR n18_a_lob_a02_86->n18_a_lob_a02_89 n18_a_lob_a02_87->n18_a_lob_a02_88 n18_a_lob_a02_90 NS n18_a_lob_a02_89->n18_a_lob_a02_90 n18_a_lob_a02_90->n18_a_lob_a02_91 n18_a_lob_a02_92->n18_a_lob_a02_93 
( (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})
                                                                  (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))