TSPC 26_a_lob

26_a_lob_a02
Now we have the strikes and demonstrations in Ghana coinciding with the meeting of the commonwealth economic consultative council — the first to be held in Africa.

arc(r_0026_0003__have, r_0026_0001__Now, nim2).
arc(r_0026_0003__have, r_0026_0002__we, arg0).
arc(r_0026_0003__have, r_0026_0006__and, arg1).
arc(r_0026_0006__and, r_0026_0005__strikes, conj1).
arc(r_0026_0006__and, r_0026_0007__demonstrations, conj2).
arc(r_0026_0006__and, r_0026_0009__Ghana, r_0026_0008__in).
arc(r_0026_0010__coinciding, r_0026_0006__and, arg0).
arc(r_0026_0010__coinciding, r_0026_0012__the_r_0026_0013__meeting, r_0026_0011__with_clr35).
arc(r_0026_0012__the_r_0026_0013__meeting, r_0026_0015__the_r_0026_0018__consultative_r_0026_0019__council, r_0026_0014__of).
arc(r_0026_0015__the_r_0026_0018__consultative_r_0026_0019__council, r_0026_0016__commonwealth, attrib46).
arc(r_0026_0015__the_r_0026_0018__consultative_r_0026_0019__council, r_0026_0017__economic, attrib49).
arc(r_0026_0023__to_r_0026_0024__be, r_0026_0025__held, scope).
arc(r_0026_0025__held, r_0026_0021__the_r_0026_0022__first, arg1).
arc(r_0026_0025__held, r_0026_0027__Africa, r_0026_0026__in_nim79).
arc(r_0026_0025__held, z_000_26_a_lob_a02_72, arg0).
arc(z_000_26_a_lob_a02_58, r_0026_0015__the_r_0026_0018__consultative_r_0026_0019__council, arg0).
arc(z_000_26_a_lob_a02_58, r_0026_0021__the_r_0026_0022__first, prd).

fof(formula,axiom,
    ? [R_0026_0001__NOW,R_0026_0002__WE,R_0026_0005__STRIKES,R_0026_0007__DEMONSTRATIONS,R_0026_0009__GHANA,R_0026_0006__AND,R_0026_0003__HAVE,R_0026_0016__COMMONWEALTH,R_0026_0017__ECONOMIC,R_0026_0015__THE_R_0026_0018__CONSULTATIVE_R_0026_0019__COUNCIL,R_0026_0012__THE_R_0026_0013__MEETING,R_0026_0010__COINCIDING,R_0026_0021__THE_R_0026_0022__FIRST,R_0026_0027__AFRICA,Z_000_26_A_LOB_A02_72,R_0026_0023__TO_R_0026_0024__BE_R_0026_0025__HELD,Z_000_26_A_LOB_A02_58] :
      ( r_0026_0001__Now(R_0026_0001__NOW)
      & r_0026_0002__we(R_0026_0002__WE)
      & r_0026_0005__strikes(R_0026_0005__STRIKES)
      & r_0026_0007__demonstrations(R_0026_0007__DEMONSTRATIONS)
      & r_0026_0009__Ghana(R_0026_0009__GHANA)
      & r_0026_0016__commonwealth(R_0026_0016__COMMONWEALTH)
      & r_0026_0017__economic(R_0026_0017__ECONOMIC)
      & r_0026_0021__the_r_0026_0022__first(R_0026_0021__THE_R_0026_0022__FIRST)
      & r_0026_0027__Africa(R_0026_0027__AFRICA)
      & z_000_26_a_lob_a02_72(Z_000_26_A_LOB_A02_72)
      & z_000_26_a_lob_a02_58(Z_000_26_A_LOB_A02_58)
      & has_prd(Z_000_26_A_LOB_A02_58,R_0026_0021__THE_R_0026_0022__FIRST)
      & has_arg0(Z_000_26_A_LOB_A02_58,R_0026_0015__THE_R_0026_0018__CONSULTATIVE_R_0026_0019__COUNCIL)
      & r_0026_0015__the_r_0026_0018__consultative_r_0026_0019__council(R_0026_0015__THE_R_0026_0018__CONSULTATIVE_R_0026_0019__COUNCIL)
      & has_attrib49(R_0026_0015__THE_R_0026_0018__CONSULTATIVE_R_0026_0019__COUNCIL,R_0026_0017__ECONOMIC)
      & has_attrib46(R_0026_0015__THE_R_0026_0018__CONSULTATIVE_R_0026_0019__COUNCIL,R_0026_0016__COMMONWEALTH)
      & r_0026_0023__to_r_0026_0024__be_r_0026_0025__held(R_0026_0023__TO_R_0026_0024__BE_R_0026_0025__HELD)
      & has_arg0(R_0026_0023__TO_R_0026_0024__BE_R_0026_0025__HELD,Z_000_26_A_LOB_A02_72)
      & has_r_0026_0026__in_nim79(R_0026_0023__TO_R_0026_0024__BE_R_0026_0025__HELD,R_0026_0027__AFRICA)
      & has_arg1(R_0026_0023__TO_R_0026_0024__BE_R_0026_0025__HELD,R_0026_0021__THE_R_0026_0022__FIRST)
      & r_0026_0010__coinciding(R_0026_0010__COINCIDING)
      & has_r_0026_0011__with_clr35(R_0026_0010__COINCIDING,R_0026_0012__THE_R_0026_0013__MEETING)
      & r_0026_0012__the_r_0026_0013__meeting(R_0026_0012__THE_R_0026_0013__MEETING)
      & has_r_0026_0014__of(R_0026_0012__THE_R_0026_0013__MEETING,R_0026_0015__THE_R_0026_0018__CONSULTATIVE_R_0026_0019__COUNCIL)
      & has_arg0(R_0026_0010__COINCIDING,R_0026_0006__AND)
      & r_0026_0006__and(R_0026_0006__AND)
      & has_r_0026_0008__in(R_0026_0006__AND,R_0026_0009__GHANA)
      & has_conj2(R_0026_0006__AND,R_0026_0007__DEMONSTRATIONS)
      & has_conj1(R_0026_0006__AND,R_0026_0005__STRIKES)
      & r_0026_0003__have(R_0026_0003__HAVE)
      & has_arg1(R_0026_0003__HAVE,R_0026_0006__AND)
      & has_arg0(R_0026_0003__HAVE,R_0026_0002__WE)
      & has_nim2(R_0026_0003__HAVE,R_0026_0001__NOW) ) ).

( (IP-MAT (ADVP-NIM (ADV Now;{now}))
          (NP-SBJ (PRO we;{we}))
          (HVP;_Tn_ have;{have})
          (NP-OB1 (D the;{the})
                  (NLYR (NLYR (NS strikes;{strike}))
                        (CONJP (CONJ and;{and})
                               (NLYR (NS demonstrations;{demonstration}))))
                  (PP (P-ROLE in;{in})
                      (NP (NPR Ghana;{Ghana})))
                  (IP-PPL (VAG;_Ipr_ coinciding;{coincide[with]})
                          (PP-CLR (P-ROLE with;{with})
                                  (NP (D the;{the})
                                      (N meeting;{meeting})
                                      (PP (P-ROLE of;{of})
                                          (NP (D the;{the})
                                              (ADJP (ADJ commonwealth;{commonwealth}))
                                              (ADJP (ADJ economic;{economic}))
                                              (N consultative;{consultative})
                                              (N council;{council})
                                              (PUNC <mdash>)
                                              (IP-PPL (NP-PRD (D the;{the})
                                                              (NUM first;{first})
                                                              (IP-INF-REL (NP-SBJ *T*)
                                                                          (TO to;{to})
                                                                          (BE;_cat_VePASS_ be;{be})
                                                                          (IP-PPL-CAT (NP-LGS *)
                                                                                      (VVN;_Tn_ held;{hold})
                                                                                      (PP-NIM (P-ROLE in;{in})
                                                                                              (NP (NPR Africa;{Africa})))))))))))))
          (PUNC .))
  (ID 26_a_lob_a02))