arc(r_0017_0001__Said, r_0017_0002__Mr_r_0017_0003__Nkumbula, arg0).
arc(r_0017_0001__Said, r_0017_0005__night, nim9).
arc(r_0017_0001__Said, utterance_17_a_lob_a01_17, arg1).
arc(r_0017_0005__night, r_0017_0004__last, attrib10).
arc(r_0017_0009__want, r_0017_0008__We, arg0).
arc(r_0017_0009__want, r_0017_0010__to_r_0017_0011__discuss, arg1).
arc(r_0017_0010__to_r_0017_0011__discuss, r_0017_0008__We, arg0).
arc(r_0017_0010__to_r_0017_0011__discuss, r_0017_0013__to_r_0017_0014__do, arg1).
arc(r_0017_0013__to_r_0017_0014__do, r_0017_0008__We, arg0).
arc(r_0017_0013__to_r_0017_0014__do, r_0017_0012__what, arg1).
arc(r_0017_0015__if, r_0017_0009__want, scope).
arc(r_0017_0015__if, r_0017_0024__and, restriction).
arc(r_0017_0016__the_r_0017_0018__government, r_0017_0017__British, attrib49).
arc(r_0017_0019__gives_r_0017_0020__in, r_0017_0016__the_r_0017_0018__government, arg0).
arc(r_0017_0019__gives_r_0017_0020__in, r_0017_0022__Sir_r_0017_0023__Roy, r_0017_0021__to_clr61).
arc(r_0017_0024__and, r_0017_0019__gives_r_0017_0020__in, conj1).
arc(r_0017_0024__and, r_0017_0027__fall_r_0017_0028__through, conj2).
arc(r_0017_0027__fall_r_0017_0028__through, r_0017_0025__the_r_0017_0026__talks, arg0).
arc(r_0017_0030__There_r_0017_0031__are, r_0017_0032__bound, prd).
arc(r_0017_0030__There_r_0017_0031__are, r_0017_0035__demonstrations, arg0).
arc(r_0017_0032__bound, r_0017_0033__to_r_0017_0034__be, emb89).
arc(r_0017_0033__to_r_0017_0034__be, z_000_17_a_lob_a01_89, arg0).
arc(utterance_17_a_lob_a01_17, r_0017_0015__if, part1).
arc(utterance_17_a_lob_a01_17, r_0017_0030__There_r_0017_0031__are, part2).

fof(formula,axiom,
    ? [R_17_1_SAID,R_17_2_MR_NKUMBULA,UTTERANCE_17_A_LOB_A01_17,R_17_30_THERE_ARE,R_17_35_DEMONSTRATIONS,R_17_32_BOUND,R_17_33_TO_BE,Z_17_A_LOB_A01_89,R_17_5_NIGHT,R_17_4_LAST] :
      ( mr_Nkumbula(R_17_2_MR_NKUMBULA)
      & demonstrations(R_17_35_DEMONSTRATIONS)
      & last(R_17_4_LAST)
      & said(R_17_1_SAID,R_17_2_MR_NKUMBULA,UTTERANCE_17_A_LOB_A01_17)
      & ! [R_17_24_AND,R_17_19_GIVES_IN,R_17_16_THE_GOVERNMENT,R_17_17_BRITISH,R_17_22_SIR_ROY,R_17_27_FALL_THROUGH,R_17_25_THE_TALKS] :
          ( ( british(R_17_17_BRITISH)
            & sir_Roy(R_17_22_SIR_ROY)
            & the_talks(R_17_25_THE_TALKS)
            & and(R_17_24_AND)
            & conj1(R_17_24_AND,R_17_19_GIVES_IN)
            & gives_in(R_17_19_GIVES_IN,R_17_16_THE_GOVERNMENT)
            & the_government(R_17_16_THE_GOVERNMENT)
            & attrib49(R_17_16_THE_GOVERNMENT,R_17_17_BRITISH)
            & to_clr61(R_17_19_GIVES_IN,R_17_22_SIR_ROY)
            & conj2(R_17_24_AND,R_17_27_FALL_THROUGH)
            & fall_through(R_17_27_FALL_THROUGH,R_17_25_THE_TALKS) )
         => ? [R_17_9_WANT,R_17_10_TO_DISCUSS,R_17_13_TO_DO,R_17_8_WE,R_17_12_WHAT] :
              ( we(R_17_8_WE)
              & what(R_17_12_WHAT)
              & want(R_17_9_WANT,R_17_8_WE,R_17_10_TO_DISCUSS)
              & to_discuss(R_17_10_TO_DISCUSS,R_17_8_WE,R_17_13_TO_DO)
              & to_do(R_17_13_TO_DO,R_17_8_WE,R_17_12_WHAT) ) )
      & part1(PART1)
      & utterance_17_a_lob_a01_17(UTTERANCE_17_A_LOB_A01_17)
      & part2(UTTERANCE_17_A_LOB_A01_17,R_17_30_THERE_ARE)
      & there_are(R_17_30_THERE_ARE,R_17_35_DEMONSTRATIONS,R_17_32_BOUND)
      & bound(R_17_32_BOUND)
      & emb89(R_17_32_BOUND,R_17_33_TO_BE)
      & to_be(R_17_33_TO_BE,Z_17_A_LOB_A01_89)
      & nim9(R_17_1_SAID,R_17_5_NIGHT)
      & night(R_17_5_NIGHT)
      & attrib10(R_17_5_NIGHT,R_17_4_LAST) ) ).

( (IP-MAT (VBD;_Tr_ Said;{say})
          (NP-SBJ (N Mr;{mr})
                  (NPR Nkumbula;{Nkumbula}))
          (NP-NIM (ADJP (ADJ last;{last}))
                  (N night;{night}))
          (PUNC :)
          (utterance-OB1 (IP-MAT (PULQ <lquo>)
                                 (NP-SBJ (PRO We;{we}))
                                 (VBP;_Tt_ want;{want})
                                 (IP-INF-OB1 (TO to;{to})
                                             (VB;_Tw_ discuss;{discuss})
                                             (CP-QUE-OB1 (IP-INF (NP-OB1 (WPRO what;{what}))
                                                                 (TO to;{to})
                                                                 (DO;_Tn_ do;{do}))))
                                 (PP-SCON (P-CONN if;{if})
                                          (IP-ADV (ILYR (ILYR (NP-SBJ (D the;{the})
                                                                      (ADJP (ADJ British;{british}))
                                                                      (N government;{government}))
                                                              (VBP;_phr_Vp.pr_ gives;{give[in,to]})
                                                              (RP in;{in})
                                                              (PP-CLR (P-ROLE to;{to})
                                                                      (NP (N Sir;{sir})
                                                                          (NPR Roy;{Roy}))))
                                                        (CONJP (CONJ and;{and})
                                                               (ILYR (NP-SBJ (D the;{the})
                                                                             (NS talks;{talk}))
                                                                     (VBP;_phr_Vp_ fall;{fall[through]})
                                                                     (RP through;{through}))))))
                                 (PUNC .))
                         (IP-MAT (EX There;{there})
                                 (BEP;_La_ are;{be})
                                 (ADJP-PRD (ADJ;_cat_ bound;{bound})
                                           (IP-INF (TO to;{to})
                                                   (BE;_ex_V_ be;{be})))
                                 (NP-ESBJ (NS demonstrations;{demonstration}))
                                 (PUNC .)
                                 (PURQ <rquo>))))
  (ID 17_a_lob_a01))