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.

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, nim11).
arc(r_0070_0004__said, r_0070_0006__that_r_0070_0010__accepted, arg1).
arc(r_0070_0006__that_r_0070_0010__accepted, r_0070_0001__Sir_r_0070_0002__Roy_r_0070_0003__Welensky, arg0).
arc(r_0070_0006__that_r_0070_0010__accepted, r_0070_0009__longer, nim21).
arc(r_0070_0006__that_r_0070_0010__accepted, r_0070_0011__the_r_0070_0013__faith, arg1).
arc(r_0070_0008__no_quant, r_0070_0009__longer, scope).
arc(r_0070_0008__no_quant, z_000_70_a_lob_a02_22, restriction).
arc(r_0070_0009__longer, z_000_70_a_lob_a02_22, nim22).
arc(r_0070_0011__the_r_0070_0013__faith, r_0070_0012__good, attrib32).
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_000_70_A_LOB_A02_22] :
      ( z_000_70_a_lob_a02_22(Z_000_70_A_LOB_A02_22)
     => ? [R_0070_0001__SIR_R_0070_0002__ROY_R_0070_0003__WELENSKY,R_0070_0005__TODAY,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_0006__THAT_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_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_0006__THAT_R_0070_0010__ACCEPTED)
          & r_0070_0006__that_r_0070_0010__accepted(R_0070_0006__THAT_R_0070_0010__ACCEPTED)
          & has_arg1(R_0070_0006__THAT_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_attrib32(R_0070_0011__THE_R_0070_0013__FAITH,R_0070_0012__GOOD)
          & has_nim21(R_0070_0006__THAT_R_0070_0010__ACCEPTED,R_0070_0009__LONGER)
          & r_0070_0009__longer(R_0070_0009__LONGER)
          & has_nim22(R_0070_0009__LONGER,Z_000_70_A_LOB_A02_22)
          & has_arg0(R_0070_0006__THAT_R_0070_0010__ACCEPTED,R_0070_0001__SIR_R_0070_0002__ROY_R_0070_0003__WELENSKY)
          & has_nim11(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) ) ) ).

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