TSPC 4_a_lob

4_a_lob_a02
Mr Macmillan has picked a strong ‘brains trust’ team to negotiate terms for joining the common market.

arc(r_0004_0003__has, z_000_4_a_lob_a02_28, scope).
arc(r_0004_0004__picked, r_0004_0001__Mr_r_0004_0002__Macmillan, arg0).
arc(r_0004_0004__picked, r_0004_0005__a_r_0004_0008__brains_r_0004_0009__trust_r_0004_0011__team, arg1).
arc(r_0004_0005__a_r_0004_0008__brains_r_0004_0009__trust_r_0004_0011__team, r_0004_0006__strong, attrib15).
arc(r_0004_0012__to_r_0004_0013__negotiate, r_0004_0001__Mr_r_0004_0002__Macmillan, arg0).
arc(r_0004_0012__to_r_0004_0013__negotiate, r_0004_0014__terms, arg1).
arc(r_0004_0014__terms, r_0004_0016__joining, r_0004_0015__for).
arc(r_0004_0016__joining, r_0004_0017__the_r_0004_0019__market, arg1).
arc(r_0004_0016__joining, z_000_4_a_lob_a02_40, arg0).
arc(r_0004_0017__the_r_0004_0019__market, r_0004_0018__common, attrib46).
arc(z_000_4_a_lob_a02_28, r_0004_0004__picked, scope).
arc(z_000_4_a_lob_a02_28, r_0004_0012__to_r_0004_0013__negotiate, restriction).

fof(formula,axiom,
    ~ ? [Z_4_A_LOB_A02_28,R_4_12_TO_NEGOTIATE,R_4_14_TERMS,R_4_16_JOINING,Z_4_A_LOB_A02_40,R_4_17_THE_MARKET,R_4_18_COMMON,R_4_4_PICKED,R_4_1_MR_MACMILLAN,R_4_5_A_BRAINS_TRUST_TEAM,R_4_6_STRONG] :
        ( common(R_4_18_COMMON)
        & mr_Macmillan(R_4_1_MR_MACMILLAN)
        & strong(R_4_6_STRONG)
        & z_4_a_lob_a02_28(Z_4_A_LOB_A02_28)
        & conj1(Z_4_A_LOB_A02_28,R_4_12_TO_NEGOTIATE)
        & to_negotiate(R_4_12_TO_NEGOTIATE,R_4_1_MR_MACMILLAN,R_4_14_TERMS)
        & terms(R_4_14_TERMS)
        & for(R_4_14_TERMS,R_4_16_JOINING)
        & joining(R_4_16_JOINING,Z_4_A_LOB_A02_40,R_4_17_THE_MARKET)
        & the_market(R_4_17_THE_MARKET)
        & attrib46(R_4_17_THE_MARKET,R_4_18_COMMON)
        & conj2(Z_4_A_LOB_A02_28,R_4_4_PICKED)
        & picked(R_4_4_PICKED,R_4_1_MR_MACMILLAN,R_4_5_A_BRAINS_TRUST_TEAM)
        & a_brains_trust_team(R_4_5_A_BRAINS_TRUST_TEAM)
        & attrib15(R_4_5_A_BRAINS_TRUST_TEAM,R_4_6_STRONG) ) ).

( (IP-MAT (NP-SBJ;{MACMILLAN} (N Mr;{mr})
                              (NPR Macmillan;{Macmillan}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;_Tn_ picked;{pick})
                      (NP-OB1 (D a;{a})
                              (ADJP (ADJ strong;{strong}))
                              (PULQ <lquo>)
                              (NS brains;{brain})
                              (N trust;{trust})
                              (PURQ <rquo>)
                              (N team;{team}))
                      (PP-SCON (IP-INF (TO to;{to})
                                       (VB;_Tn_ negotiate;{negotiate})
                                       (NP-OB1 (NS terms;{term})
                                               (PP (P-ROLE for;{for})
                                                   (IP-PPL (VAG;_Tn_ joining;{join})
                                                           (NP-OB1 (D the;{the})
                                                                   (ADJP (ADJ common;{common}))
                                                                   (N market;{market}))))))))
          (PUNC .))
  (ID 4_a_lob_a02))