TSPC 47_a_lob

47_a_lob_a02
After all it was Mr Nkrumah who suggested that this year the economic consultative council should meet in Accra.

( (IP-MAT (ADVP-NIM (ADV After_all;{after_all}))
          (NP-SBJ (PRO;_provisional_ it;{it}))
          (BED;_cleft_Vn_ was;{be})
          (NP-FOC (N Mr;{mr})
                  (NPR Nkrumah;{Nkrumah}))
          (IP-CLF (NP-SBJ (RPRO who;{who}))
                  (VBD;_Tf_ suggested;{suggest})
                  (CP-THT-OB1 (IP-SUB (C that;{that})
                                      (NP-186 (D this;{this})
                                              (N year;{year}))
                                      (NP-SBJ (D the;{the})
                                              (ADJP (ADJ economic;{economic}))
                                              (N consultative;{consultative})
                                              (N council;{council}))
                                      (MD;_cat_Vi_ should;{shall})
                                      (IP-INF-CAT (NP-NIM *ICH*-186)
                                                  (VB;_I_ meet;{meet})
                                                  (PP-NIM (P-ROLE in;{in})
                                                          (NP (NPR Accra;{Accra})))))))
          (PUNC .))
  (ID 47_a_lob_a02))

arc(r_0047_0003__was,r_0047_0001__After_all,nim).
arc(r_0047_0003__was,r_0047_0004__Mr_r_0047_0005__Nkrumah,arg0).
arc(r_0047_0003__was,z_0047_5012,prd).
arc(r_0047_0007__suggested,r_0047_0015__should,arg1).
arc(r_0047_0007__suggested,z_0047_5012,arg0).
arc(r_0047_0011__the_r_0047_0013__consultative_r_0047_0014__council,r_0047_0012__economic,attrib).
arc(r_0047_0015__should,r_0047_0016__meet,scope).
arc(r_0047_0016__meet,r_0047_0009__this_r_0047_0010__year,nim).
arc(r_0047_0016__meet,r_0047_0011__the_r_0047_0013__consultative_r_0047_0014__council,arg0).
arc(r_0047_0016__meet,r_0047_0018__Accra,r_0047_0017__in__nim).

fof(formula,axiom,
    ? [R_0047_0001__AFTER_ALL,R_0047_0004__MR_R_0047_0005__NKRUMAH,Z_0047_5012,R_0047_0003__WAS,R_0047_0009__THIS_R_0047_0010__YEAR,R_0047_0012__ECONOMIC,R_0047_0011__THE_R_0047_0013__CONSULTATIVE_R_0047_0014__COUNCIL,R_0047_0018__ACCRA,R_0047_0015__SHOULD_R_0047_0016__MEET,R_0047_0007__SUGGESTED] :
      ( r_0047_0001__After_all(R_0047_0001__AFTER_ALL)
      & r_0047_0004__Mr_r_0047_0005__Nkrumah(R_0047_0004__MR_R_0047_0005__NKRUMAH)
      & r_0047_0009__this_r_0047_0010__year(R_0047_0009__THIS_R_0047_0010__YEAR)
      & r_0047_0012__economic(R_0047_0012__ECONOMIC)
      & r_0047_0018__Accra(R_0047_0018__ACCRA)
      & z_0047_5012(Z_0047_5012)
      & r_0047_0007__suggested(R_0047_0007__SUGGESTED)
      & has_arg0(R_0047_0007__SUGGESTED,Z_0047_5012)
      & has_arg1(R_0047_0007__SUGGESTED,R_0047_0015__SHOULD_R_0047_0016__MEET)
      & r_0047_0015__should_r_0047_0016__meet(R_0047_0015__SHOULD_R_0047_0016__MEET)
      & has_r_0047_0017__in__nim(R_0047_0015__SHOULD_R_0047_0016__MEET,R_0047_0018__ACCRA)
      & has_arg0(R_0047_0015__SHOULD_R_0047_0016__MEET,R_0047_0011__THE_R_0047_0013__CONSULTATIVE_R_0047_0014__COUNCIL)
      & r_0047_0011__the_r_0047_0013__consultative_r_0047_0014__council(R_0047_0011__THE_R_0047_0013__CONSULTATIVE_R_0047_0014__COUNCIL)
      & has_attrib(R_0047_0011__THE_R_0047_0013__CONSULTATIVE_R_0047_0014__COUNCIL,R_0047_0012__ECONOMIC)
      & has_nim(R_0047_0015__SHOULD_R_0047_0016__MEET,R_0047_0009__THIS_R_0047_0010__YEAR)
      & r_0047_0003__was(R_0047_0003__WAS)
      & has_prd(R_0047_0003__WAS,Z_0047_5012)
      & has_arg0(R_0047_0003__WAS,R_0047_0004__MR_R_0047_0005__NKRUMAH)
      & has_nim(R_0047_0003__WAS,R_0047_0001__AFTER_ALL) ) ).