TSPC 16_a_lob

16_a_lob_a01
Sir Roy's united federal party is boycotting the London talks on the protectorate's future.

( (IP-MAT (NP-SBJ (NP-GEN (N Sir;{sir})
                          (NPR Roy;{Roy})
                          (GENM <apos>s))
                  (ADJP (ADJ united;{united}))
                  (ADJP (ADJ federal;{federal}))
                  (N party;{party}))
          (BEP;_cat_Vg_ is;{be})
          (IP-PPL-CAT (VAG;_Tn_ boycotting;{boycott})
                      (NP-OB1 (D the;{the})
                              (NPR London;{London})
                              (NS talks;{talk})
                              (PP (P-ROLE on;{on})
                                  (NP (NP-GEN (D the;{the})
                                              (N protectorate;{protectorate})
                                              (GENM <apos>s))
                                      (N future;{future})))))
          (PUNC .))
  (ID 16_a_lob_a01))

arc(r_0016_0006__party,r_0016_0001__Sir_r_0016_0002__Roy,gen).
arc(r_0016_0006__party,r_0016_0004__united,attrib).
arc(r_0016_0006__party,r_0016_0005__federal,attrib).
arc(r_0016_0007__is,r_0016_0008__boycotting,scope).
arc(r_0016_0008__boycotting,r_0016_0006__party,arg0).
arc(r_0016_0008__boycotting,r_0016_0009__the_r_0016_0010__London_r_0016_0011__talks,arg1).
arc(r_0016_0009__the_r_0016_0010__London_r_0016_0011__talks,r_0016_0016__future,r_0016_0012__on).
arc(r_0016_0016__future,r_0016_0013__the_r_0016_0014__protectorate,gen).

fof(formula,axiom,
    ? [R_0016_0001__SIR_R_0016_0002__ROY,R_0016_0004__UNITED,R_0016_0005__FEDERAL,R_0016_0006__PARTY,R_0016_0013__THE_R_0016_0014__PROTECTORATE,R_0016_0016__FUTURE,R_0016_0009__THE_R_0016_0010__LONDON_R_0016_0011__TALKS,R_0016_0007__IS_R_0016_0008__BOYCOTTING] :
      ( r_0016_0001__Sir_r_0016_0002__Roy(R_0016_0001__SIR_R_0016_0002__ROY)
      & r_0016_0004__united(R_0016_0004__UNITED)
      & r_0016_0005__federal(R_0016_0005__FEDERAL)
      & r_0016_0013__the_r_0016_0014__protectorate(R_0016_0013__THE_R_0016_0014__PROTECTORATE)
      & r_0016_0007__is_r_0016_0008__boycotting(R_0016_0007__IS_R_0016_0008__BOYCOTTING)
      & has_arg1(R_0016_0007__IS_R_0016_0008__BOYCOTTING,R_0016_0009__THE_R_0016_0010__LONDON_R_0016_0011__TALKS)
      & r_0016_0009__the_r_0016_0010__London_r_0016_0011__talks(R_0016_0009__THE_R_0016_0010__LONDON_R_0016_0011__TALKS)
      & has_r_0016_0012__on(R_0016_0009__THE_R_0016_0010__LONDON_R_0016_0011__TALKS,R_0016_0016__FUTURE)
      & r_0016_0016__future(R_0016_0016__FUTURE)
      & has_gen(R_0016_0016__FUTURE,R_0016_0013__THE_R_0016_0014__PROTECTORATE)
      & has_arg0(R_0016_0007__IS_R_0016_0008__BOYCOTTING,R_0016_0006__PARTY)
      & r_0016_0006__party(R_0016_0006__PARTY)
      & has_attrib(R_0016_0006__PARTY,R_0016_0005__FEDERAL)
      & has_attrib(R_0016_0006__PARTY,R_0016_0004__UNITED)
      & has_gen(R_0016_0006__PARTY,R_0016_0001__SIR_R_0016_0002__ROY) ) ).