TSPC 23_a_lob

23_a_lob_a01
He has now revealed his full plans to the Africans and liberals attending.

( (IP-MAT (NP-SBJ;{MACLEOD} (PRO He;{he}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (ADVP-NIM (ADV now;{now}))
                      (VVN;_Dn.pr_ revealed;{reveal[to]})
                      (NP-OB1;{PLANS} (NP-GEN;{MACLEOD} (PRO;_genm_ his;{his}))
                                      (ADJP (ADJ full;{full}))
                                      (NS plans;{plan}))
                      (PP-CLR (P-ROLE to;{to})
                              (NP (D the;{the})
                                  (NLYR (NLYR (NS Africans;{african}))
                                        (CONJP (CONJ and;{and})
                                               (NLYR (NS liberals;{liberal}))))
                                  (IP-PPL (VAG;_I_ attending;{attend})))))
          (PUNC .))
  (ID 23_a_lob_a01))

arc(r_0023_0002__has,r_0023_0004__revealed,scope).
arc(r_0023_0004__revealed,r_0023_0001__He,arg0).
arc(r_0023_0004__revealed,r_0023_0003__now,nim).
arc(r_0023_0004__revealed,r_0023_0007__plans,arg1).
arc(r_0023_0004__revealed,r_0023_0009__the_r_0023_0010__Africans_r_0023_0011__and_r_0023_0012__liberals,r_0023_0008__to__clr).
arc(r_0023_0007__plans,r_0023_0001__He,gen).
arc(r_0023_0007__plans,r_0023_0006__full,attrib).
arc(r_0023_0013__attending,r_0023_0009__the_r_0023_0010__Africans_r_0023_0011__and_r_0023_0012__liberals,inv_arg0).

fof(formula,axiom,
    ? [R_0023_0001__HE,R_0023_0003__NOW,R_0023_0006__FULL,R_0023_0007__PLANS,R_0023_0013__ATTENDING,R_0023_0009__THE_R_0023_0010__AFRICANS_R_0023_0011__AND_R_0023_0012__LIBERALS,R_0023_0002__HAS_R_0023_0004__REVEALED] :
      ( r_0023_0001__He(R_0023_0001__HE)
      & r_0023_0003__now(R_0023_0003__NOW)
      & r_0023_0006__full(R_0023_0006__FULL)
      & r_0023_0013__attending(R_0023_0013__ATTENDING)
      & r_0023_0002__has_r_0023_0004__revealed(R_0023_0002__HAS_R_0023_0004__REVEALED)
      & has_r_0023_0008__to__clr(R_0023_0002__HAS_R_0023_0004__REVEALED,R_0023_0009__THE_R_0023_0010__AFRICANS_R_0023_0011__AND_R_0023_0012__LIBERALS)
      & r_0023_0009__the_r_0023_0010__Africans_r_0023_0011__and_r_0023_0012__liberals(R_0023_0009__THE_R_0023_0010__AFRICANS_R_0023_0011__AND_R_0023_0012__LIBERALS)
      & has_inv_arg0(R_0023_0009__THE_R_0023_0010__AFRICANS_R_0023_0011__AND_R_0023_0012__LIBERALS,R_0023_0013__ATTENDING)
      & has_arg1(R_0023_0002__HAS_R_0023_0004__REVEALED,R_0023_0007__PLANS)
      & r_0023_0007__plans(R_0023_0007__PLANS)
      & has_attrib(R_0023_0007__PLANS,R_0023_0006__FULL)
      & has_gen(R_0023_0007__PLANS,R_0023_0001__HE)
      & has_nim(R_0023_0002__HAS_R_0023_0004__REVEALED,R_0023_0003__NOW)
      & has_arg0(R_0023_0002__HAS_R_0023_0004__REVEALED,R_0023_0001__HE) ) ).