arc(r_0081_0001__But_r_0081_0004__pointed_r_0081_0005__out, r_0081_0002__Sir_r_0081_0003__Roy, arg0).
arc(r_0081_0001__But_r_0081_0004__pointed_r_0081_0005__out, r_0081_0006__that_r_0081_0012__said, arg1).
arc(r_0081_0006__that_r_0081_0012__said, r_0081_0009__ago, nim17).
arc(r_0081_0006__that_r_0081_0012__said, r_0081_0010__Mr_r_0081_0011__Kaunda, arg0).
arc(r_0081_0006__that_r_0081_0012__said, r_0081_0014__if, arg1).
arc(r_0081_0009__ago, r_0081_0007__a_few_r_0081_0008__months, nim18).
arc(r_0081_0013__that_r_0081_0024__would, r_0081_0025__make, scope).
arc(r_0081_0014__if, r_0081_0013__that_r_0081_0024__would, scope).
arc(r_0081_0014__if, r_0081_0017__not, restriction).
arc(r_0081_0016__did_r_0081_0018__get, r_0081_0015__UNIP, arg0).
arc(r_0081_0016__did_r_0081_0018__get, r_0081_0020__way, arg1).
arc(r_0081_0017__not, r_0081_0016__did_r_0081_0018__get, keep_scope).
arc(r_0081_0020__way, r_0081_0015__UNIP, gen).
arc(r_0081_0022__would, r_0081_0023__happen, scope).
arc(r_0081_0023__happen, z_000_81_a_lob_a02_55, arg0).
arc(r_0081_0025__make, r_0081_0026__the_r_0081_0027__Mau_r_0081_0028__Mau, arg1).
arc(r_0081_0025__make, r_0081_0032__seem, prd).
arc(r_0081_0025__make, z_000_81_a_lob_a02_55, arg0).
arc(r_0081_0026__the_r_0081_0027__Mau_r_0081_0028__Mau, r_0081_0030__Kenya, r_0081_0029__in).
arc(r_0081_0032__seem, r_0081_0037__picnic, r_0081_0033__like_clr91).
arc(r_0081_0032__seem, x_000_81_a_lob_a02_85, arg0).
arc(r_0081_0037__picnic, r_0081_0034__a_r_0081_0035__child_r_0081_0036___apos_s, gen).

fof(formula,axiom,
    ? [R_81_1_BUT_POINTED_OUT,R_81_2_SIR_ROY,R_81_6_THAT_SAID,R_81_10_MR_KAUNDA,R_81_9_AGO,R_81_7_A_FEW_MONTHS,R_81_22_WOULD_HAPPEN,Z_81_A_LOB_A02_55] :
      ( sir_Roy(R_81_2_SIR_ROY)
      & mr_Kaunda(R_81_10_MR_KAUNDA)
      & a_few_months(R_81_7_A_FEW_MONTHS)
      & but_pointed_out(R_81_1_BUT_POINTED_OUT,R_81_2_SIR_ROY,R_81_6_THAT_SAID)
      & ( ~ ? [R_81_16_DID_GET,R_81_20_WAY,R_81_15_UNIP] :
              ( uNIP(R_81_15_UNIP)
              & did_get(R_81_16_DID_GET,R_81_15_UNIP,R_81_20_WAY)
              & way(R_81_20_WAY)
              & gen(R_81_20_WAY,R_81_15_UNIP) )
       => ? [R_81_13_THAT_WOULD_MAKE,R_81_26_THE_MAU_MAU,R_81_30_KENYA,R_81_32_SEEM,X_81_A_LOB_A02_85,R_81_37_PICNIC,R_81_34_A_CHILD_APOS_S] :
            ( kenya(R_81_30_KENYA)
            & a_child_apos_s(R_81_34_A_CHILD_APOS_S)
            & that_would_make(R_81_13_THAT_WOULD_MAKE,Z_81_A_LOB_A02_55,R_81_26_THE_MAU_MAU,R_81_32_SEEM)
            & the_Mau_Mau(R_81_26_THE_MAU_MAU)
            & in(R_81_26_THE_MAU_MAU,R_81_30_KENYA)
            & seem(R_81_32_SEEM,X_81_A_LOB_A02_85)
            & like_clr91(R_81_32_SEEM,R_81_37_PICNIC)
            & picnic(R_81_37_PICNIC)
            & gen(R_81_37_PICNIC,R_81_34_A_CHILD_APOS_S) ) )
      & arg1(ARG1)
      & that_said(R_81_6_THAT_SAID,R_81_10_MR_KAUNDA)
      & nim17(R_81_6_THAT_SAID,R_81_9_AGO)
      & ago(R_81_9_AGO)
      & nim18(R_81_9_AGO,R_81_7_A_FEW_MONTHS)
      & would_happen(R_81_22_WOULD_HAPPEN,Z_81_A_LOB_A02_55) ) ).

( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ (N Sir;{sir})
                  (NPR Roy;{Roy}))
          (VBD;__ pointed;{point})
          (RP out;{out})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (ADVP-NIM (NP (D a_few;{a_few})
                                            (NS months;{month}))
                                        (ADV ago;{ago}))
                              (NP-SBJ;{KAUNDA} (N Mr;{mr})
                                               (NPR Kaunda;{Kaunda}))
                              (VBD;__ said;{say})
                              (CP-THT-OB1 (IP-SUB (C that;{that})
                                                  (PP-SCON (P-CONN if;{if})
                                                           (IP-ADV (NP-SBJ;{UNIP} (NPR UNIP;{UNIP}))
                                                                   (DOD did;{do})
                                                                   (NEG not;{not})
                                                                   (VB;__ get;{get})
                                                                   (NP-OB1 (NP-GEN;{UNIP} (PRO;_genm_ its;{its}))
                                                                           (N way;{way}))))
                                                  (NP-SBJ (IP-REL (NP-SBJ (RPRO what;{what}))
                                                                  (MD;_cat_Vi_ would;{will})
                                                                  (IP-INF-CAT (VB;__ happen;{happen}))))
                                                  (MD;_cat_Vi_ would;{will})
                                                  (IP-INF-CAT (VB;__ make;{make})
                                                              (NP-OB1 (D the;{the})
                                                                      (NPR Mau;{Mau})
                                                                      (NPR Mau;{Mau})
                                                                      (PP (P-ROLE in;{in})
                                                                          (NP (NPR Kenya;{Kenya}))))
                                                              (PULQ <lquo>)
                                                              (IP-INF-PRD (VB;_Ipr_ seem;{seem[like]})
                                                                          (PP-CLR (P-ROLE like;{like})
                                                                                  (NP (NP-GEN (D a;{a})
                                                                                              (N child;{child})
                                                                                              (GENM <apos>s))
                                                                                      (N picnic;{picnic})))))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 81_a_lob_a02))