TSPC 11_a_lob

11_a_lob_a02
Seven commonwealth countries have told Mr Sandys, commonwealth relations Secretary, that they wish to be kept in touch in London.

arc(r_0011_0004__have, r_0011_0005__told, scope).
arc(r_0011_0005__told, r_0011_0001__Seven_r_0011_0002__commonwealth_r_0011_0003__countries, arg0).
arc(r_0011_0005__told, r_0011_0006__Mr_r_0011_0007__Sandys, arg2).
arc(r_0011_0005__told, r_0011_0013__that_r_0011_0015__wish, arg1).
arc(r_0011_0013__that_r_0011_0015__wish, r_0011_0009__commonwealth_r_0011_0010__relations_r_0011_0011__Secretary, arg0).
arc(r_0011_0013__that_r_0011_0015__wish, r_0011_0016__to_r_0011_0017__be, arg1).
arc(r_0011_0016__to_r_0011_0017__be, r_0011_0018__kept, scope).
arc(r_0011_0018__kept, r_0011_0009__commonwealth_r_0011_0010__relations_r_0011_0011__Secretary, arg1).
arc(r_0011_0018__kept, r_0011_0020__touch, r_0011_0019__in_clr53).
arc(r_0011_0018__kept, r_0011_0022__London, r_0011_0021__in_nim59).
arc(r_0011_0018__kept, z_000_11_a_lob_a02_46, arg0).
arc(z_000_11_a_lob_a02_21, r_0011_0006__Mr_r_0011_0007__Sandys, arg0).
arc(z_000_11_a_lob_a02_21, r_0011_0009__commonwealth_r_0011_0010__relations_r_0011_0011__Secretary, prd).

fof(formula,axiom,
    ? [R_0011_0001__SEVEN_R_0011_0002__COMMONWEALTH_R_0011_0003__COUNTRIES,R_0011_0006__MR_R_0011_0007__SANDYS,R_0011_0009__COMMONWEALTH_R_0011_0010__RELATIONS_R_0011_0011__SECRETARY,R_0011_0020__TOUCH,R_0011_0022__LONDON,Z_000_11_A_LOB_A02_46,R_0011_0016__TO_R_0011_0017__BE_R_0011_0018__KEPT,R_0011_0013__THAT_R_0011_0015__WISH,R_0011_0004__HAVE_R_0011_0005__TOLD,Z_000_11_A_LOB_A02_21] :
      ( r_0011_0001__Seven_r_0011_0002__commonwealth_r_0011_0003__countries(R_0011_0001__SEVEN_R_0011_0002__COMMONWEALTH_R_0011_0003__COUNTRIES)
      & r_0011_0006__Mr_r_0011_0007__Sandys(R_0011_0006__MR_R_0011_0007__SANDYS)
      & r_0011_0009__commonwealth_r_0011_0010__relations_r_0011_0011__Secretary(R_0011_0009__COMMONWEALTH_R_0011_0010__RELATIONS_R_0011_0011__SECRETARY)
      & r_0011_0020__touch(R_0011_0020__TOUCH)
      & r_0011_0022__London(R_0011_0022__LONDON)
      & z_000_11_a_lob_a02_46(Z_000_11_A_LOB_A02_46)
      & z_000_11_a_lob_a02_21(Z_000_11_A_LOB_A02_21)
      & has_prd(Z_000_11_A_LOB_A02_21,R_0011_0009__COMMONWEALTH_R_0011_0010__RELATIONS_R_0011_0011__SECRETARY)
      & has_arg0(Z_000_11_A_LOB_A02_21,R_0011_0006__MR_R_0011_0007__SANDYS)
      & r_0011_0004__have_r_0011_0005__told(R_0011_0004__HAVE_R_0011_0005__TOLD)
      & has_arg1(R_0011_0004__HAVE_R_0011_0005__TOLD,R_0011_0013__THAT_R_0011_0015__WISH)
      & r_0011_0013__that_r_0011_0015__wish(R_0011_0013__THAT_R_0011_0015__WISH)
      & has_arg1(R_0011_0013__THAT_R_0011_0015__WISH,R_0011_0016__TO_R_0011_0017__BE_R_0011_0018__KEPT)
      & r_0011_0016__to_r_0011_0017__be_r_0011_0018__kept(R_0011_0016__TO_R_0011_0017__BE_R_0011_0018__KEPT)
      & has_arg0(R_0011_0016__TO_R_0011_0017__BE_R_0011_0018__KEPT,Z_000_11_A_LOB_A02_46)
      & has_r_0011_0021__in_nim59(R_0011_0016__TO_R_0011_0017__BE_R_0011_0018__KEPT,R_0011_0022__LONDON)
      & has_r_0011_0019__in_clr53(R_0011_0016__TO_R_0011_0017__BE_R_0011_0018__KEPT,R_0011_0020__TOUCH)
      & has_arg1(R_0011_0016__TO_R_0011_0017__BE_R_0011_0018__KEPT,R_0011_0009__COMMONWEALTH_R_0011_0010__RELATIONS_R_0011_0011__SECRETARY)
      & has_arg0(R_0011_0013__THAT_R_0011_0015__WISH,R_0011_0009__COMMONWEALTH_R_0011_0010__RELATIONS_R_0011_0011__SECRETARY)
      & has_arg2(R_0011_0004__HAVE_R_0011_0005__TOLD,R_0011_0006__MR_R_0011_0007__SANDYS)
      & has_arg0(R_0011_0004__HAVE_R_0011_0005__TOLD,R_0011_0001__SEVEN_R_0011_0002__COMMONWEALTH_R_0011_0003__COUNTRIES) ) ).

( (IP-MAT (NP-SBJ (NUM Seven;{seven})
                  (N commonwealth;{commonwealth})
                  (NS countries;{country}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (VVN;_Dn.f_ told;{tell})
                      (NP-OB2 (N Mr;{mr})
                              (NPR Sandys;{Sandys})
                              (PUNC ,)
                              (IP-PPL (NP-PRD (N commonwealth;{commonwealth})
                                              (NS relations;{relation})
                                              (N Secretary;{secretary}))))
                      (PUNC ,)
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (NP-SBJ (PRO they;{they}))
                                          (VBP;_Tt_ wish;{wish})
                                          (IP-INF-OB1 (TO to;{to})
                                                      (BE;_cat_VePASS_ be;{be})
                                                      (IP-PPL-CAT (NP-LGS *)
                                                                  (VVN;_Tn.pr_ kept;{keep[in]})
                                                                  (PP-CLR (P-ROLE in;{in})
                                                                          (NP (N touch;{touch})))
                                                                  (PP-NIM (P-ROLE in;{in})
                                                                          (NP (NPR London;{London}))))))))
          (PUNC .))
  (ID 11_a_lob_a02))