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).
arc(r_0017_0001__Said, utterance_17_a_lob_a01_17, arg1).
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_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).

fof(formula,axiom,
    ? [Z_000_17_A_LOB_A01_89,R_0017_0033__TO_R_0017_0034__BE,R_0017_0032__BOUND,R_0017_0035__DEMONSTRATIONS,R_0017_0030__THERE_R_0017_0031__ARE,UTTERANCE_17_A_LOB_A01_17,R_0017_0002__MR_R_0017_0003__NKUMBULA,R_0017_0004__LAST,R_0017_0005__NIGHT,R_0017_0001__SAID] :
      ( r_0017_0002__Mr_r_0017_0003__Nkumbula(R_0017_0002__MR_R_0017_0003__NKUMBULA)
      & r_0017_0004__last(R_0017_0004__LAST)
      & r_0017_0035__demonstrations(R_0017_0035__DEMONSTRATIONS)
      & z_000_17_a_lob_a01_89(Z_000_17_A_LOB_A01_89)
      & r_0017_0001__Said(R_0017_0001__SAID)
      & has_nim9(R_0017_0001__SAID,R_0017_0005__NIGHT)
      & r_0017_0005__night(R_0017_0005__NIGHT)
      & has_attrib10(R_0017_0005__NIGHT,R_0017_0004__LAST)
      & has_arg0(R_0017_0001__SAID,R_0017_0002__MR_R_0017_0003__NKUMBULA)
      & has_arg1(R_0017_0001__SAID,UTTERANCE_17_A_LOB_A01_17)
      & utterance_17_a_lob_a01_17(UTTERANCE_17_A_LOB_A01_17)
      & has_part2(UTTERANCE_17_A_LOB_A01_17,R_0017_0030__THERE_R_0017_0031__ARE)
      & r_0017_0030__There_r_0017_0031__are(R_0017_0030__THERE_R_0017_0031__ARE)
      & has_arg0(R_0017_0030__THERE_R_0017_0031__ARE,R_0017_0035__DEMONSTRATIONS)
      & has_prd(R_0017_0030__THERE_R_0017_0031__ARE,R_0017_0032__BOUND)
      & r_0017_0032__bound(R_0017_0032__BOUND)
      & has_emb89(R_0017_0032__BOUND,R_0017_0033__TO_R_0017_0034__BE)
      & r_0017_0033__to_r_0017_0034__be(R_0017_0033__TO_R_0017_0034__BE)
      & has_arg0(R_0017_0033__TO_R_0017_0034__BE,Z_000_17_A_LOB_A01_89)
      & ! [R_0017_0024__AND,R_0017_0017__BRITISH,R_0017_0016__THE_R_0017_0018__GOVERNMENT,R_0017_0022__SIR_R_0017_0023__ROY,R_0017_0019__GIVES_R_0017_0020__IN,R_0017_0025__THE_R_0017_0026__TALKS,R_0017_0027__FALL_R_0017_0028__THROUGH] :
          ( ( r_0017_0017__British(R_0017_0017__BRITISH)
            & r_0017_0022__Sir_r_0017_0023__Roy(R_0017_0022__SIR_R_0017_0023__ROY)
            & r_0017_0025__the_r_0017_0026__talks(R_0017_0025__THE_R_0017_0026__TALKS)
            & r_0017_0024__and(R_0017_0024__AND)
            & has_conj2(R_0017_0024__AND,R_0017_0027__FALL_R_0017_0028__THROUGH)
            & r_0017_0027__fall_r_0017_0028__through(R_0017_0027__FALL_R_0017_0028__THROUGH)
            & has_arg0(R_0017_0027__FALL_R_0017_0028__THROUGH,R_0017_0025__THE_R_0017_0026__TALKS)
            & has_conj1(R_0017_0024__AND,R_0017_0019__GIVES_R_0017_0020__IN)
            & r_0017_0019__gives_r_0017_0020__in(R_0017_0019__GIVES_R_0017_0020__IN)
            & has_r_0017_0021__to_clr61(R_0017_0019__GIVES_R_0017_0020__IN,R_0017_0022__SIR_R_0017_0023__ROY)
            & has_arg0(R_0017_0019__GIVES_R_0017_0020__IN,R_0017_0016__THE_R_0017_0018__GOVERNMENT)
            & r_0017_0016__the_r_0017_0018__government(R_0017_0016__THE_R_0017_0018__GOVERNMENT)
            & has_attrib49(R_0017_0016__THE_R_0017_0018__GOVERNMENT,R_0017_0017__BRITISH) )
         => ? [R_0017_0008__WE,R_0017_0012__WHAT,R_0017_0013__TO_R_0017_0014__DO,R_0017_0010__TO_R_0017_0011__DISCUSS,R_0017_0009__WANT] :
              ( r_0017_0008__We(R_0017_0008__WE)
              & r_0017_0012__what(R_0017_0012__WHAT)
              & r_0017_0009__want(R_0017_0009__WANT)
              & has_arg1(R_0017_0009__WANT,R_0017_0010__TO_R_0017_0011__DISCUSS)
              & r_0017_0010__to_r_0017_0011__discuss(R_0017_0010__TO_R_0017_0011__DISCUSS)
              & has_arg1(R_0017_0010__TO_R_0017_0011__DISCUSS,R_0017_0013__TO_R_0017_0014__DO)
              & r_0017_0013__to_r_0017_0014__do(R_0017_0013__TO_R_0017_0014__DO)
              & has_arg1(R_0017_0013__TO_R_0017_0014__DO,R_0017_0012__WHAT)
              & has_arg0(R_0017_0013__TO_R_0017_0014__DO,R_0017_0008__WE)
              & has_arg0(R_0017_0010__TO_R_0017_0011__DISCUSS,R_0017_0008__WE)
              & has_arg0(R_0017_0009__WANT,R_0017_0008__WE) ) ) ) ).

( (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))