TSPC 70_a_lob

70_a_lob_a02
Sir Roy Welensky said today that he no longer accepted the good faith of Mr Kenneth Kaunda.

( (IP-MAT (NP-SBJ (N Sir;{sir})
                  (NPR Roy;{Roy})
                  (NPR Welensky;{Welensky}))
          (VBD;__ said;{say})
          (ADVP-NIM (ADV today;{today}))
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (PRO he;{he}))
                              (ADVP-NIM (NP (Q;_nphd_ no;{no}))
                                        (ADVR longer;{long}))
                              (VBD;_Tn_ accepted;{accept})
                              (NP-OB1 (D the;{the})
                                      (ADJP (ADJ good;{good}))
                                      (N faith;{faith})
                                      (PP (P-ROLE of;{of})
                                          (NP (N Mr;{mr})
                                              (NPR Kenneth;{Kenneth})
                                              (NPR Kaunda;{Kaunda}))))))
          (PUNC .))
  (ID 70_a_lob_a02))

arc(r_0070_0004__said,r_0070_0001__Sir_r_0070_0002__Roy_r_0070_0003__Welensky,arg0).
arc(r_0070_0004__said,r_0070_0005__today,nim).
arc(r_0070_0004__said,r_0070_0010__accepted,arg1).
arc(r_0070_0008__no__quant,r_0070_0009__longer,scope).
arc(r_0070_0008__no__quant,z_0070_5007,restriction).
arc(r_0070_0009__longer,z_0070_5007,nim).
arc(r_0070_0010__accepted,r_0070_0007__he,arg0).
arc(r_0070_0010__accepted,r_0070_0009__longer,nim).
arc(r_0070_0010__accepted,r_0070_0011__the_r_0070_0013__faith,arg1).
arc(r_0070_0011__the_r_0070_0013__faith,r_0070_0012__good,attrib).
arc(r_0070_0011__the_r_0070_0013__faith,r_0070_0015__Mr_r_0070_0016__Kenneth_r_0070_0017__Kaunda,r_0070_0014__of).

fof(formula,axiom,
    ! [Z_0070_5007] :
      ( z_0070_5007(Z_0070_5007)
     => ? [R_0070_0001__SIR_R_0070_0002__ROY_R_0070_0003__WELENSKY,R_0070_0005__TODAY,R_0070_0007__HE,R_0070_0009__LONGER,R_0070_0012__GOOD,R_0070_0015__MR_R_0070_0016__KENNETH_R_0070_0017__KAUNDA,R_0070_0011__THE_R_0070_0013__FAITH,R_0070_0010__ACCEPTED,R_0070_0004__SAID] :
          ( r_0070_0001__Sir_r_0070_0002__Roy_r_0070_0003__Welensky(R_0070_0001__SIR_R_0070_0002__ROY_R_0070_0003__WELENSKY)
          & r_0070_0005__today(R_0070_0005__TODAY)
          & r_0070_0007__he(R_0070_0007__HE)
          & r_0070_0012__good(R_0070_0012__GOOD)
          & r_0070_0015__Mr_r_0070_0016__Kenneth_r_0070_0017__Kaunda(R_0070_0015__MR_R_0070_0016__KENNETH_R_0070_0017__KAUNDA)
          & r_0070_0004__said(R_0070_0004__SAID)
          & has_arg1(R_0070_0004__SAID,R_0070_0010__ACCEPTED)
          & r_0070_0010__accepted(R_0070_0010__ACCEPTED)
          & has_arg1(R_0070_0010__ACCEPTED,R_0070_0011__THE_R_0070_0013__FAITH)
          & r_0070_0011__the_r_0070_0013__faith(R_0070_0011__THE_R_0070_0013__FAITH)
          & has_r_0070_0014__of(R_0070_0011__THE_R_0070_0013__FAITH,R_0070_0015__MR_R_0070_0016__KENNETH_R_0070_0017__KAUNDA)
          & has_attrib(R_0070_0011__THE_R_0070_0013__FAITH,R_0070_0012__GOOD)
          & has_nim(R_0070_0010__ACCEPTED,R_0070_0009__LONGER)
          & r_0070_0009__longer(R_0070_0009__LONGER)
          & has_nim(R_0070_0009__LONGER,Z_0070_5007)
          & has_arg0(R_0070_0010__ACCEPTED,R_0070_0007__HE)
          & has_nim(R_0070_0004__SAID,R_0070_0005__TODAY)
          & has_arg0(R_0070_0004__SAID,R_0070_0001__SIR_R_0070_0002__ROY_R_0070_0003__WELENSKY) ) ) ).