TSPC 20_a_lob

20_a_lob_a02
They will accompany Mr Heath next month when he goes to Brussels, headquarters of the common market commission, or wherever the six decide negotiations should be held.

arc(r_0020_0002__will, r_0020_0003__accompany, scope).
arc(r_0020_0003__accompany, r_0020_0001__They, arg0).
arc(r_0020_0003__accompany, r_0020_0004__Mr_r_0020_0005__Heath, arg1).
arc(r_0020_0003__accompany, r_0020_0007__month, nim15).
arc(r_0020_0007__month, r_0020_0006__next, attrib16).
arc(r_0020_0010__goes, r_0020_0007__month, nim22).
arc(r_0020_0010__goes, r_0020_0009__he, arg0).
arc(r_0020_0010__goes, r_0020_0021__or, r_0020_0011__to_clr33).
arc(r_0020_0014__headquarters, r_0020_0016__the_r_0020_0018__market_r_0020_0019__commission, r_0020_0015__of).
arc(r_0020_0016__the_r_0020_0018__market_r_0020_0019__commission, r_0020_0017__common, attrib50).
arc(r_0020_0021__or, r_0020_0012__Brussels, conj1).
arc(r_0020_0021__or, z_000_20_a_lob_a02_62, conj2).
arc(r_0020_0025__decide, r_0020_0023__the_r_0020_0024__six, arg0).
arc(r_0020_0025__decide, r_0020_0027__should, arg1).
arc(r_0020_0027__should, r_0020_0028__be, scope).
arc(r_0020_0028__be, r_0020_0029__held, scope).
arc(r_0020_0029__held, r_0020_0026__negotiations, arg1).
arc(r_0020_0029__held, z_000_20_a_lob_a02_62, nim87).
arc(r_0020_0029__held, z_000_20_a_lob_a02_85, arg0).
arc(z_000_20_a_lob_a02_40, r_0020_0012__Brussels, arg0).
arc(z_000_20_a_lob_a02_40, r_0020_0014__headquarters, prd).

fof(formula,axiom,
    ? [R_0020_0001__THEY,R_0020_0004__MR_R_0020_0005__HEATH,R_0020_0006__NEXT,R_0020_0007__MONTH,R_0020_0002__WILL_R_0020_0003__ACCOMPANY,R_0020_0009__HE,R_0020_0012__BRUSSELS,Z_000_20_A_LOB_A02_62,R_0020_0021__OR,R_0020_0010__GOES,R_0020_0023__THE_R_0020_0024__SIX,R_0020_0026__NEGOTIATIONS,Z_000_20_A_LOB_A02_85,R_0020_0027__SHOULD_R_0020_0028__BE_R_0020_0029__HELD,R_0020_0025__DECIDE,R_0020_0017__COMMON,R_0020_0016__THE_R_0020_0018__MARKET_R_0020_0019__COMMISSION,R_0020_0014__HEADQUARTERS,Z_000_20_A_LOB_A02_40] :
      ( r_0020_0001__They(R_0020_0001__THEY)
      & r_0020_0004__Mr_r_0020_0005__Heath(R_0020_0004__MR_R_0020_0005__HEATH)
      & r_0020_0006__next(R_0020_0006__NEXT)
      & r_0020_0009__he(R_0020_0009__HE)
      & r_0020_0012__Brussels(R_0020_0012__BRUSSELS)
      & r_0020_0017__common(R_0020_0017__COMMON)
      & r_0020_0023__the_r_0020_0024__six(R_0020_0023__THE_R_0020_0024__SIX)
      & r_0020_0026__negotiations(R_0020_0026__NEGOTIATIONS)
      & z_000_20_a_lob_a02_62(Z_000_20_A_LOB_A02_62)
      & z_000_20_a_lob_a02_85(Z_000_20_A_LOB_A02_85)
      & z_000_20_a_lob_a02_40(Z_000_20_A_LOB_A02_40)
      & has_prd(Z_000_20_A_LOB_A02_40,R_0020_0014__HEADQUARTERS)
      & r_0020_0014__headquarters(R_0020_0014__HEADQUARTERS)
      & has_r_0020_0015__of(R_0020_0014__HEADQUARTERS,R_0020_0016__THE_R_0020_0018__MARKET_R_0020_0019__COMMISSION)
      & r_0020_0016__the_r_0020_0018__market_r_0020_0019__commission(R_0020_0016__THE_R_0020_0018__MARKET_R_0020_0019__COMMISSION)
      & has_attrib50(R_0020_0016__THE_R_0020_0018__MARKET_R_0020_0019__COMMISSION,R_0020_0017__COMMON)
      & has_arg0(Z_000_20_A_LOB_A02_40,R_0020_0012__BRUSSELS)
      & r_0020_0025__decide(R_0020_0025__DECIDE)
      & has_arg1(R_0020_0025__DECIDE,R_0020_0027__SHOULD_R_0020_0028__BE_R_0020_0029__HELD)
      & r_0020_0027__should_r_0020_0028__be_r_0020_0029__held(R_0020_0027__SHOULD_R_0020_0028__BE_R_0020_0029__HELD)
      & has_arg0(R_0020_0027__SHOULD_R_0020_0028__BE_R_0020_0029__HELD,Z_000_20_A_LOB_A02_85)
      & has_nim87(R_0020_0027__SHOULD_R_0020_0028__BE_R_0020_0029__HELD,Z_000_20_A_LOB_A02_62)
      & has_arg1(R_0020_0027__SHOULD_R_0020_0028__BE_R_0020_0029__HELD,R_0020_0026__NEGOTIATIONS)
      & has_arg0(R_0020_0025__DECIDE,R_0020_0023__THE_R_0020_0024__SIX)
      & r_0020_0010__goes(R_0020_0010__GOES)
      & has_r_0020_0011__to_clr33(R_0020_0010__GOES,R_0020_0021__OR)
      & r_0020_0021__or(R_0020_0021__OR)
      & has_conj2(R_0020_0021__OR,Z_000_20_A_LOB_A02_62)
      & has_conj1(R_0020_0021__OR,R_0020_0012__BRUSSELS)
      & has_arg0(R_0020_0010__GOES,R_0020_0009__HE)
      & has_nim22(R_0020_0010__GOES,R_0020_0007__MONTH)
      & r_0020_0007__month(R_0020_0007__MONTH)
      & has_attrib16(R_0020_0007__MONTH,R_0020_0006__NEXT)
      & r_0020_0002__will_r_0020_0003__accompany(R_0020_0002__WILL_R_0020_0003__ACCOMPANY)
      & has_nim15(R_0020_0002__WILL_R_0020_0003__ACCOMPANY,R_0020_0007__MONTH)
      & has_arg1(R_0020_0002__WILL_R_0020_0003__ACCOMPANY,R_0020_0004__MR_R_0020_0005__HEATH)
      & has_arg0(R_0020_0002__WILL_R_0020_0003__ACCOMPANY,R_0020_0001__THEY) ) ).

( (IP-MAT (NP-SBJ (PRO They;{they}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_Tn_ accompany;{accompany})
                      (NP-OB1;{HEATH} (N Mr;{mr})
                                      (NPR Heath;{Heath}))
                      (NP-NIM (ADJP (ADJ next;{next}))
                              (N month;{month})
                              (IP-REL (ADVP-NIM (RADV when;{when}))
                                      (NP-SBJ;{HEATH} (PRO he;{he}))
                                      (VBP;_Ipr_ goes;{go[to]})
                                      (PP-CLR (P-ROLE to;{to})
                                              (NP (NLYR (NLYR (NPR Brussels;{Brussels})
                                                              (PUNC ,)
                                                              (IP-PPL (NP-PRD (N headquarters;{headquarters})
                                                                              (PP (P-ROLE of;{of})
                                                                                  (NP (D the;{the})
                                                                                      (ADJP (ADJ common;{common}))
                                                                                      (N market;{market})
                                                                                      (N commission;{commission}))))))
                                                        (PUNC ,)
                                                        (CONJP (CONJ or;{or})
                                                               (NLYR (IP-REL (ADVP-165 (RADV wherever;{wherever}))
                                                                             (NP-SBJ (D the;{the})
                                                                                     (NUM six;{six}))
                                                                             (VBP;_Tf_ decide;{decide})
                                                                             (CP-THT-OB1 (IP-SUB (NP-SBJ (NS negotiations;{negotiation}))
                                                                                                 (MD;_cat_Vi_ should;{shall})
                                                                                                 (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                                                                             (IP-PPL-CAT (NP-LGS *)
                                                                                                                         (ADVP-NIM *ICH*-165)
                                                                                                                         (VVN;_Tn_ held;{hold}))))))))))))))
          (PUNC .))
  (ID 20_a_lob_a02))