( (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))

arc(r_0004_0003__has,z_0004_5004,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,attrib).
arc(r_0004_0013__negotiate,r_0004_0005__a_r_0004_0008__brains_r_0004_0009__trust_r_0004_0011__team,arg0).
arc(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_0004_5009,arg0).
arc(r_0004_0017__the_r_0004_0019__market,r_0004_0018__common,attrib).
arc(z_0004_5004,r_0004_0004__picked,scope).
arc(z_0004_5004,r_0004_0013__negotiate,restriction).

fof(formula,axiom,
    ? [R_0004_0001__MR_R_0004_0002__MACMILLAN,R_0004_0006__STRONG,R_0004_0005__A_R_0004_0008__BRAINS_R_0004_0009__TRUST_R_0004_0011__TEAM,R_0004_0004__PICKED,R_0004_0018__COMMON,R_0004_0017__THE_R_0004_0019__MARKET,Z_0004_5009,R_0004_0016__JOINING,R_0004_0014__TERMS,R_0004_0013__NEGOTIATE,Z_0004_5004,R_0004_0003__HAS] :
      ( r_0004_0001__Mr_r_0004_0002__Macmillan(R_0004_0001__MR_R_0004_0002__MACMILLAN)
      & r_0004_0006__strong(R_0004_0006__STRONG)
      & r_0004_0018__common(R_0004_0018__COMMON)
      & z_0004_5009(Z_0004_5009)
      & r_0004_0003__has(R_0004_0003__HAS)
      & has_keep_scope(R_0004_0003__HAS,Z_0004_5004)
      & z_0004_5004(Z_0004_5004)
      & has_conj1(Z_0004_5004,R_0004_0013__NEGOTIATE)
      & r_0004_0013__negotiate(R_0004_0013__NEGOTIATE)
      & has_arg1(R_0004_0013__NEGOTIATE,R_0004_0014__TERMS)
      & r_0004_0014__terms(R_0004_0014__TERMS)
      & has_r_0004_0015__for(R_0004_0014__TERMS,R_0004_0016__JOINING)
      & r_0004_0016__joining(R_0004_0016__JOINING)
      & has_arg0(R_0004_0016__JOINING,Z_0004_5009)
      & has_arg1(R_0004_0016__JOINING,R_0004_0017__THE_R_0004_0019__MARKET)
      & r_0004_0017__the_r_0004_0019__market(R_0004_0017__THE_R_0004_0019__MARKET)
      & has_attrib(R_0004_0017__THE_R_0004_0019__MARKET,R_0004_0018__COMMON)
      & has_arg0(R_0004_0013__NEGOTIATE,R_0004_0005__A_R_0004_0008__BRAINS_R_0004_0009__TRUST_R_0004_0011__TEAM)
      & r_0004_0005__a_r_0004_0008__brains_r_0004_0009__trust_r_0004_0011__team(R_0004_0005__A_R_0004_0008__BRAINS_R_0004_0009__TRUST_R_0004_0011__TEAM)
      & has_attrib(R_0004_0005__A_R_0004_0008__BRAINS_R_0004_0009__TRUST_R_0004_0011__TEAM,R_0004_0006__STRONG)
      & has_conj2(Z_0004_5004,R_0004_0004__PICKED)
      & r_0004_0004__picked(R_0004_0004__PICKED)
      & has_arg1(R_0004_0004__PICKED,R_0004_0005__A_R_0004_0008__BRAINS_R_0004_0009__TRUST_R_0004_0011__TEAM)
      & has_arg0(R_0004_0004__PICKED,R_0004_0001__MR_R_0004_0002__MACMILLAN) ) ).