arc(r_0021_0002__has, r_0021_0004__revealed, scope).
arc(r_0021_0004__revealed, r_0021_0001__He, arg0).
arc(r_0021_0004__revealed, r_0021_0003__now, nim8).
arc(r_0021_0004__revealed, r_0021_0007__plans, arg1).
arc(r_0021_0004__revealed, r_0021_0011__and, arg2).
arc(r_0021_0007__plans, r_0021_0001__He, gen).
arc(r_0021_0007__plans, r_0021_0006__full, attrib17).
arc(r_0021_0011__and, r_0021_0010__Africans, conj1).
arc(r_0021_0011__and, r_0021_0012__liberals, conj2).
arc(r_0021_0013__attending, r_0021_0011__and, arg0).

fof(formula,axiom,
    ? [R_0021_0001__HE,R_0021_0003__NOW,R_0021_0006__FULL,R_0021_0007__PLANS,R_0021_0010__AFRICANS,R_0021_0012__LIBERALS,R_0021_0011__AND,R_0021_0002__HAS_R_0021_0004__REVEALED,R_0021_0013__ATTENDING] :
      ( r_0021_0001__He(R_0021_0001__HE)
      & r_0021_0003__now(R_0021_0003__NOW)
      & r_0021_0006__full(R_0021_0006__FULL)
      & r_0021_0010__Africans(R_0021_0010__AFRICANS)
      & r_0021_0012__liberals(R_0021_0012__LIBERALS)
      & r_0021_0013__attending(R_0021_0013__ATTENDING)
      & has_arg0(R_0021_0013__ATTENDING,R_0021_0011__AND)
      & r_0021_0011__and(R_0021_0011__AND)
      & has_conj2(R_0021_0011__AND,R_0021_0012__LIBERALS)
      & has_conj1(R_0021_0011__AND,R_0021_0010__AFRICANS)
      & r_0021_0002__has_r_0021_0004__revealed(R_0021_0002__HAS_R_0021_0004__REVEALED)
      & has_arg2(R_0021_0002__HAS_R_0021_0004__REVEALED,R_0021_0011__AND)
      & has_arg1(R_0021_0002__HAS_R_0021_0004__REVEALED,R_0021_0007__PLANS)
      & r_0021_0007__plans(R_0021_0007__PLANS)
      & has_attrib17(R_0021_0007__PLANS,R_0021_0006__FULL)
      & has_gen(R_0021_0007__PLANS,R_0021_0001__HE)
      & has_nim8(R_0021_0002__HAS_R_0021_0004__REVEALED,R_0021_0003__NOW)
      & has_arg0(R_0021_0002__HAS_R_0021_0004__REVEALED,R_0021_0001__HE) ) ).

( (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-OB2 (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 21_a_lob_a01))