Context                Previous, Next                Top


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

%3 r_0070_0004__said said r_0070_0001__Sir_r_0070_0002__Roy_r_0070_0003__Welensky Sir Roy Welensky r_0070_0004__said->r_0070_0001__Sir_r_0070_0002__Roy_r_0070_0003__Welensky [arg0] r_0070_0005__today today r_0070_0004__said->r_0070_0005__today [nim] r_0070_0006__that_r_0070_0010__accepted that accepted r_0070_0004__said->r_0070_0006__that_r_0070_0010__accepted [arg1] r_0070_0006__that_r_0070_0010__accepted->r_0070_0001__Sir_r_0070_0002__Roy_r_0070_0003__Welensky [arg0] r_0070_0009__longer longer r_0070_0006__that_r_0070_0010__accepted->r_0070_0009__longer [nim] r_0070_0011__the_r_0070_0013__faith the faith r_0070_0006__that_r_0070_0010__accepted->r_0070_0011__the_r_0070_0013__faith [arg1] z_000_70_a_lob_a02_22 r_0070_0009__longer->z_000_70_a_lob_a02_22 [nim] r_0070_0012__good good r_0070_0011__the_r_0070_0013__faith->r_0070_0012__good [attrib] r_0070_0015__Mr_r_0070_0016__Kenneth_r_0070_0017__Kaunda Mr Kenneth Kaunda r_0070_0011__the_r_0070_0013__faith->r_0070_0015__Mr_r_0070_0016__Kenneth_r_0070_0017__Kaunda of r_0070_0008__no_quant no [quant] r_0070_0008__no_quant->r_0070_0009__longer [scope] r_0070_0008__no_quant->z_000_70_a_lob_a02_22 [restriction] 
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).


%3 r_0070_0011__the_r_0070_0013__faith the faith r_0070_0015__Mr_r_0070_0016__Kenneth_r_0070_0017__Kaunda Mr Kenneth Kaunda r_0070_0011__the_r_0070_0013__faith->r_0070_0015__Mr_r_0070_0016__Kenneth_r_0070_0017__Kaunda of r_0070_0012__good good r_0070_0011__the_r_0070_0013__faith->r_0070_0012__good [attrib] r_0070_0009__longer longer z_000_70_a_lob_a02_22 r_0070_0009__longer->z_000_70_a_lob_a02_22 [nim] r_0070_0008__no_quant no [quant] r_0070_0008__no_quant->z_000_70_a_lob_a02_22 [restriction] r_0070_0004__said said r_0070_0008__no_quant->r_0070_0004__said [scope] r_0070_0006__that_r_0070_0010__accepted that accepted r_0070_0004__said->r_0070_0006__that_r_0070_0010__accepted [arg1] r_0070_0001__Sir_r_0070_0002__Roy_r_0070_0003__Welensky Sir Roy Welensky r_0070_0004__said->r_0070_0001__Sir_r_0070_0002__Roy_r_0070_0003__Welensky [arg0] r_0070_0005__today today r_0070_0004__said->r_0070_0005__today [nim] r_0070_0006__that_r_0070_0010__accepted->r_0070_0011__the_r_0070_0013__faith [arg1] r_0070_0006__that_r_0070_0010__accepted->r_0070_0009__longer [nim] r_0070_0006__that_r_0070_0010__accepted->r_0070_0001__Sir_r_0070_0002__Roy_r_0070_0003__Welensky [arg0] 
fof(formula,axiom,
    ! [Z_70_A_LOB_A02_22] :
      ( true
     => ? [R_70_4_SAID,R_70_6_THAT_ACCEPTED,R_70_1_SIR_ROY_WELENSKY,R_70_11_THE_FAITH,R_70_12_GOOD,R_70_15_MR_KENNETH_KAUNDA,R_70_9_LONGER,R_70_5_TODAY] :
          ( sir_Roy_Welensky(R_70_1_SIR_ROY_WELENSKY)
          & good(R_70_12_GOOD)
          & mr_Kenneth_Kaunda(R_70_15_MR_KENNETH_KAUNDA)
          & today(R_70_5_TODAY)
          & said(R_70_4_SAID,R_70_1_SIR_ROY_WELENSKY,R_70_6_THAT_ACCEPTED)
          & that_accepted(R_70_6_THAT_ACCEPTED,R_70_1_SIR_ROY_WELENSKY,R_70_11_THE_FAITH)
          & the_faith(R_70_11_THE_FAITH)
          & attrib32(R_70_11_THE_FAITH,R_70_12_GOOD)
          & of(R_70_11_THE_FAITH,R_70_15_MR_KENNETH_KAUNDA)
          & nim21(R_70_6_THAT_ACCEPTED,R_70_9_LONGER)
          & longer(R_70_9_LONGER)
          & nim22(R_70_9_LONGER,Z_70_A_LOB_A02_22)
          & nim11(R_70_4_SAID,R_70_5_TODAY) ) ) ).


n70_a_lob_a02 n70_a_lob_a02__1_1_1_1 Sir n70_a_lob_a02__1_1_2_1 Roy n70_a_lob_a02__1_1_3_1 Welensky n70_a_lob_a02__1_2_1 said n70_a_lob_a02__1_3_1_1 today n70_a_lob_a02__1_4_1_1_1 that n70_a_lob_a02__1_4_1_2_1_1 he n70_a_lob_a02__1_4_1_3_1_1_1 no n70_a_lob_a02__1_4_1_3_2_1 longer n70_a_lob_a02__1_4_1_4_1 accepted n70_a_lob_a02__1_4_1_5_1_1 the n70_a_lob_a02__1_4_1_5_2_1_1 good n70_a_lob_a02__1_4_1_5_3_1 faith n70_a_lob_a02__1_4_1_5_4_1_1 of n70_a_lob_a02__1_4_1_5_4_2_1_1 Mr n70_a_lob_a02__1_4_1_5_4_2_2_1 Kenneth n70_a_lob_a02__1_4_1_5_4_2_3_1 Kaunda n70_a_lob_a02__1_5_1 . n70_a_lob_a02__1 IP-MAT n70_a_lob_a02__1_1 NP-SBJ n70_a_lob_a02__1->n70_a_lob_a02__1_1 n70_a_lob_a02__1_2 VBD;__ n70_a_lob_a02__1->n70_a_lob_a02__1_2 n70_a_lob_a02__1_3 ADVP-NIM n70_a_lob_a02__1->n70_a_lob_a02__1_3 n70_a_lob_a02__1_4 CP-THT-OB1 n70_a_lob_a02__1->n70_a_lob_a02__1_4 n70_a_lob_a02__1_5 PUNC n70_a_lob_a02__1->n70_a_lob_a02__1_5 n70_a_lob_a02__1_1_1 N n70_a_lob_a02__1_1->n70_a_lob_a02__1_1_1 n70_a_lob_a02__1_1_2 NPR n70_a_lob_a02__1_1->n70_a_lob_a02__1_1_2 n70_a_lob_a02__1_1_3 NPR n70_a_lob_a02__1_1->n70_a_lob_a02__1_1_3 n70_a_lob_a02__1_1_1->n70_a_lob_a02__1_1_1_1 n70_a_lob_a02__1_1_2->n70_a_lob_a02__1_1_2_1 n70_a_lob_a02__1_1_3->n70_a_lob_a02__1_1_3_1 n70_a_lob_a02__1_2->n70_a_lob_a02__1_2_1 n70_a_lob_a02__1_3_1 ADV n70_a_lob_a02__1_3->n70_a_lob_a02__1_3_1 n70_a_lob_a02__1_3_1->n70_a_lob_a02__1_3_1_1 n70_a_lob_a02__1_4_1 IP-SUB n70_a_lob_a02__1_4->n70_a_lob_a02__1_4_1 n70_a_lob_a02__1_4_1_1 C n70_a_lob_a02__1_4_1->n70_a_lob_a02__1_4_1_1 n70_a_lob_a02__1_4_1_2 NP-SBJ n70_a_lob_a02__1_4_1->n70_a_lob_a02__1_4_1_2 n70_a_lob_a02__1_4_1_3 ADVP-NIM n70_a_lob_a02__1_4_1->n70_a_lob_a02__1_4_1_3 n70_a_lob_a02__1_4_1_4 VBD;_Tn_ n70_a_lob_a02__1_4_1->n70_a_lob_a02__1_4_1_4 n70_a_lob_a02__1_4_1_5 NP-OB1 n70_a_lob_a02__1_4_1->n70_a_lob_a02__1_4_1_5 n70_a_lob_a02__1_4_1_1->n70_a_lob_a02__1_4_1_1_1 n70_a_lob_a02__1_4_1_2_1 PRO n70_a_lob_a02__1_4_1_2->n70_a_lob_a02__1_4_1_2_1 n70_a_lob_a02__1_4_1_2_1->n70_a_lob_a02__1_4_1_2_1_1 n70_a_lob_a02__1_4_1_3_1 NP n70_a_lob_a02__1_4_1_3->n70_a_lob_a02__1_4_1_3_1 n70_a_lob_a02__1_4_1_3_2 ADVR n70_a_lob_a02__1_4_1_3->n70_a_lob_a02__1_4_1_3_2 n70_a_lob_a02__1_4_1_3_1_1 Q;_nphd_ n70_a_lob_a02__1_4_1_3_1->n70_a_lob_a02__1_4_1_3_1_1 n70_a_lob_a02__1_4_1_3_1_1->n70_a_lob_a02__1_4_1_3_1_1_1 n70_a_lob_a02__1_4_1_3_2->n70_a_lob_a02__1_4_1_3_2_1 n70_a_lob_a02__1_4_1_4->n70_a_lob_a02__1_4_1_4_1 n70_a_lob_a02__1_4_1_5_1 D n70_a_lob_a02__1_4_1_5->n70_a_lob_a02__1_4_1_5_1 n70_a_lob_a02__1_4_1_5_2 ADJP n70_a_lob_a02__1_4_1_5->n70_a_lob_a02__1_4_1_5_2 n70_a_lob_a02__1_4_1_5_3 N n70_a_lob_a02__1_4_1_5->n70_a_lob_a02__1_4_1_5_3 n70_a_lob_a02__1_4_1_5_4 PP n70_a_lob_a02__1_4_1_5->n70_a_lob_a02__1_4_1_5_4 n70_a_lob_a02__1_4_1_5_1->n70_a_lob_a02__1_4_1_5_1_1 n70_a_lob_a02__1_4_1_5_2_1 ADJ n70_a_lob_a02__1_4_1_5_2->n70_a_lob_a02__1_4_1_5_2_1 n70_a_lob_a02__1_4_1_5_2_1->n70_a_lob_a02__1_4_1_5_2_1_1 n70_a_lob_a02__1_4_1_5_3->n70_a_lob_a02__1_4_1_5_3_1 n70_a_lob_a02__1_4_1_5_4_1 P-ROLE n70_a_lob_a02__1_4_1_5_4->n70_a_lob_a02__1_4_1_5_4_1 n70_a_lob_a02__1_4_1_5_4_2 NP n70_a_lob_a02__1_4_1_5_4->n70_a_lob_a02__1_4_1_5_4_2 n70_a_lob_a02__1_4_1_5_4_1->n70_a_lob_a02__1_4_1_5_4_1_1 n70_a_lob_a02__1_4_1_5_4_2_1 N n70_a_lob_a02__1_4_1_5_4_2->n70_a_lob_a02__1_4_1_5_4_2_1 n70_a_lob_a02__1_4_1_5_4_2_2 NPR n70_a_lob_a02__1_4_1_5_4_2->n70_a_lob_a02__1_4_1_5_4_2_2 n70_a_lob_a02__1_4_1_5_4_2_3 NPR n70_a_lob_a02__1_4_1_5_4_2->n70_a_lob_a02__1_4_1_5_4_2_3 n70_a_lob_a02__1_4_1_5_4_2_1->n70_a_lob_a02__1_4_1_5_4_2_1_1 n70_a_lob_a02__1_4_1_5_4_2_2->n70_a_lob_a02__1_4_1_5_4_2_2_1 n70_a_lob_a02__1_4_1_5_4_2_3->n70_a_lob_a02__1_4_1_5_4_2_3_1 n70_a_lob_a02__1_5->n70_a_lob_a02__1_5_1 
( (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))