Context                Previous, Next                Top


26_a_kyoto_1
There is no reliable record of the date of his death, but most put it at 1506.

%3 r_0026_0001__There_r_0026_0002__is There is r_0026_0005__record record r_0026_0001__There_r_0026_0002__is->r_0026_0005__record [arg0] r_0026_0004__reliable reliable r_0026_0005__record->r_0026_0004__reliable [attrib] r_0026_0007__the_r_0026_0008__date the date r_0026_0005__record->r_0026_0007__the_r_0026_0008__date of r_0026_0003__no_quant no [quant] r_0026_0003__no_quant->r_0026_0001__There_r_0026_0002__is [scope] r_0026_0003__no_quant->r_0026_0005__record [restriction] r_0026_0011__death death r_0026_0007__the_r_0026_0008__date->r_0026_0011__death of r_0026_0010__his his r_0026_0011__death->r_0026_0010__his [gen] r_0026_0013__but but r_0026_0013__but->r_0026_0003__no_quant [conj1] r_0026_0014__most_quant most [quant] r_0026_0013__but->r_0026_0014__most_quant [conj2] r_0026_0015__put put r_0026_0014__most_quant->r_0026_0015__put [scope] z_000_26_a_kyoto_1_39 r_0026_0014__most_quant->z_000_26_a_kyoto_1_39 [restriction] r_0026_0015__put->r_0026_0011__death [arg1] r_0026_0015__put->z_000_26_a_kyoto_1_39 [arg0] r_0026_0018__1506 1506 r_0026_0015__put->r_0026_0018__1506 at [clr] 
arc(r_0026_0001__There_r_0026_0002__is, r_0026_0005__record, arg0).
arc(r_0026_0003__no_quant, r_0026_0001__There_r_0026_0002__is, scope).
arc(r_0026_0003__no_quant, r_0026_0005__record, restriction).
arc(r_0026_0005__record, r_0026_0004__reliable, attrib11).
arc(r_0026_0005__record, r_0026_0007__the_r_0026_0008__date, r_0026_0006__of).
arc(r_0026_0007__the_r_0026_0008__date, r_0026_0011__death, r_0026_0009__of).
arc(r_0026_0011__death, r_0026_0010__his, gen).
arc(r_0026_0013__but, r_0026_0003__no_quant, conj1).
arc(r_0026_0013__but, r_0026_0014__most_quant, conj2).
arc(r_0026_0014__most_quant, r_0026_0015__put, scope).
arc(r_0026_0014__most_quant, z_000_26_a_kyoto_1_39, restriction).
arc(r_0026_0015__put, r_0026_0011__death, arg1).
arc(r_0026_0015__put, r_0026_0018__1506, r_0026_0017__at_clr50).
arc(r_0026_0015__put, z_000_26_a_kyoto_1_39, arg0).


%3 r_0026_0001__There_r_0026_0002__is There is r_0026_0005__record record r_0026_0001__There_r_0026_0002__is->r_0026_0005__record [arg0] r_0026_0004__reliable reliable r_0026_0005__record->r_0026_0004__reliable [attrib] r_0026_0007__the_r_0026_0008__date the date r_0026_0005__record->r_0026_0007__the_r_0026_0008__date of r_0026_0003__no_quant no [quant] r_0026_0003__no_quant->r_0026_0001__There_r_0026_0002__is [scope] r_0026_0003__no_quant->r_0026_0005__record [restriction] r_0026_0011__death death r_0026_0007__the_r_0026_0008__date->r_0026_0011__death of r_0026_0010__his his r_0026_0011__death->r_0026_0010__his [gen] r_0026_0013__but but r_0026_0013__but->r_0026_0003__no_quant [conj1] r_0026_0014__most_quant most [quant] r_0026_0013__but->r_0026_0014__most_quant [conj2] r_0026_0015__put put r_0026_0014__most_quant->r_0026_0015__put [scope] z_000_26_a_kyoto_1_39 r_0026_0014__most_quant->z_000_26_a_kyoto_1_39 [restriction] r_0026_0015__put->r_0026_0011__death [arg1] r_0026_0015__put->z_000_26_a_kyoto_1_39 [arg0] r_0026_0018__1506 1506 r_0026_0015__put->r_0026_0018__1506 at [clr] 
fof(formula,axiom,
    ? [R_26_13_BUT] :
      ( ! [Z_26_A_KYOTO_1_39] :
          ( true
         => ? [R_26_15_PUT,R_26_11_DEATH,R_26_10_HIS,R_26_18_1506] :
              ( his(R_26_10_HIS)
              & 1506(R_26_18_1506)
              & put(R_26_15_PUT,Z_26_A_KYOTO_1_39,R_26_11_DEATH)
              & death(R_26_11_DEATH)
              & gen(R_26_11_DEATH,R_26_10_HIS)
              & at_clr50(R_26_15_PUT,R_26_18_1506) ) )
      & conj2(CONJ2)
      & ! [R_26_5_RECORD,R_26_4_RELIABLE,R_26_7_THE_DATE,R_26_11_DEATH,R_26_10_HIS] :
          ( ( reliable(R_26_4_RELIABLE)
            & his(R_26_10_HIS)
            & record(R_26_5_RECORD)
            & attrib11(R_26_5_RECORD,R_26_4_RELIABLE)
            & of(R_26_5_RECORD,R_26_7_THE_DATE)
            & the_date(R_26_7_THE_DATE)
            & of(R_26_7_THE_DATE,R_26_11_DEATH)
            & death(R_26_11_DEATH)
            & gen(R_26_11_DEATH,R_26_10_HIS) )
         => ? [R_26_1_THERE_IS] : there_is(R_26_1_THERE_IS,R_26_5_RECORD) )
      & conj1(CONJ1)
      & but(R_26_13_BUT) ) ).


n26_a_kyoto_1 n26_a_kyoto_1_5 There n26_a_kyoto_1_7 is n26_a_kyoto_1_10 no n26_a_kyoto_1_13 reliable n26_a_kyoto_1_15 record n26_a_kyoto_1_18 of n26_a_kyoto_1_21 the n26_a_kyoto_1_23 date n26_a_kyoto_1_26 of n26_a_kyoto_1_30 his n26_a_kyoto_1_32 death n26_a_kyoto_1_34 , n26_a_kyoto_1_37 but n26_a_kyoto_1_41 most n26_a_kyoto_1_43 put n26_a_kyoto_1_46 it n26_a_kyoto_1_49 at n26_a_kyoto_1_52 1506 n26_a_kyoto_1_54 . n26_a_kyoto_1_1 IP-MAT n26_a_kyoto_1_2 ILYR n26_a_kyoto_1_1->n26_a_kyoto_1_2 n26_a_kyoto_1_53 PUNC n26_a_kyoto_1_1->n26_a_kyoto_1_53 n26_a_kyoto_1_3 ILYR n26_a_kyoto_1_2->n26_a_kyoto_1_3 n26_a_kyoto_1_33 PUNC n26_a_kyoto_1_2->n26_a_kyoto_1_33 n26_a_kyoto_1_35 CONJP n26_a_kyoto_1_2->n26_a_kyoto_1_35 n26_a_kyoto_1_4 EX n26_a_kyoto_1_3->n26_a_kyoto_1_4 n26_a_kyoto_1_6 BEP;_ex_V_ n26_a_kyoto_1_3->n26_a_kyoto_1_6 n26_a_kyoto_1_8 NP-ESBJ n26_a_kyoto_1_3->n26_a_kyoto_1_8 n26_a_kyoto_1_4->n26_a_kyoto_1_5 n26_a_kyoto_1_6->n26_a_kyoto_1_7 n26_a_kyoto_1_9 Q n26_a_kyoto_1_8->n26_a_kyoto_1_9 n26_a_kyoto_1_11 ADJP n26_a_kyoto_1_8->n26_a_kyoto_1_11 n26_a_kyoto_1_14 N n26_a_kyoto_1_8->n26_a_kyoto_1_14 n26_a_kyoto_1_16 PP n26_a_kyoto_1_8->n26_a_kyoto_1_16 n26_a_kyoto_1_9->n26_a_kyoto_1_10 n26_a_kyoto_1_12 ADJ n26_a_kyoto_1_11->n26_a_kyoto_1_12 n26_a_kyoto_1_12->n26_a_kyoto_1_13 n26_a_kyoto_1_14->n26_a_kyoto_1_15 n26_a_kyoto_1_17 P-ROLE n26_a_kyoto_1_16->n26_a_kyoto_1_17 n26_a_kyoto_1_19 NP n26_a_kyoto_1_16->n26_a_kyoto_1_19 n26_a_kyoto_1_17->n26_a_kyoto_1_18 n26_a_kyoto_1_20 D n26_a_kyoto_1_19->n26_a_kyoto_1_20 n26_a_kyoto_1_22 N n26_a_kyoto_1_19->n26_a_kyoto_1_22 n26_a_kyoto_1_24 PP n26_a_kyoto_1_19->n26_a_kyoto_1_24 n26_a_kyoto_1_20->n26_a_kyoto_1_21 n26_a_kyoto_1_22->n26_a_kyoto_1_23 n26_a_kyoto_1_25 P-ROLE n26_a_kyoto_1_24->n26_a_kyoto_1_25 n26_a_kyoto_1_27 NP n26_a_kyoto_1_24->n26_a_kyoto_1_27 n26_a_kyoto_1_25->n26_a_kyoto_1_26 n26_a_kyoto_1_28 NP-GEN n26_a_kyoto_1_27->n26_a_kyoto_1_28 n26_a_kyoto_1_31 N n26_a_kyoto_1_27->n26_a_kyoto_1_31 n26_a_kyoto_1_29 PRO;_genm_ n26_a_kyoto_1_28->n26_a_kyoto_1_29 n26_a_kyoto_1_29->n26_a_kyoto_1_30 n26_a_kyoto_1_31->n26_a_kyoto_1_32 n26_a_kyoto_1_33->n26_a_kyoto_1_34 n26_a_kyoto_1_36 CONJ n26_a_kyoto_1_35->n26_a_kyoto_1_36 n26_a_kyoto_1_38 ILYR n26_a_kyoto_1_35->n26_a_kyoto_1_38 n26_a_kyoto_1_36->n26_a_kyoto_1_37 n26_a_kyoto_1_39 NP-SBJ n26_a_kyoto_1_38->n26_a_kyoto_1_39 n26_a_kyoto_1_42 VBP;_Tn.pr_ n26_a_kyoto_1_38->n26_a_kyoto_1_42 n26_a_kyoto_1_44 NP-OB1 n26_a_kyoto_1_38->n26_a_kyoto_1_44 n26_a_kyoto_1_47 PP-CLR n26_a_kyoto_1_38->n26_a_kyoto_1_47 n26_a_kyoto_1_40 Q;_nphd_ n26_a_kyoto_1_39->n26_a_kyoto_1_40 n26_a_kyoto_1_40->n26_a_kyoto_1_41 n26_a_kyoto_1_42->n26_a_kyoto_1_43 n26_a_kyoto_1_45 PRO n26_a_kyoto_1_44->n26_a_kyoto_1_45 n26_a_kyoto_1_45->n26_a_kyoto_1_46 n26_a_kyoto_1_48 P-ROLE n26_a_kyoto_1_47->n26_a_kyoto_1_48 n26_a_kyoto_1_50 NP n26_a_kyoto_1_47->n26_a_kyoto_1_50 n26_a_kyoto_1_48->n26_a_kyoto_1_49 n26_a_kyoto_1_51 NPR n26_a_kyoto_1_50->n26_a_kyoto_1_51 n26_a_kyoto_1_51->n26_a_kyoto_1_52 n26_a_kyoto_1_53->n26_a_kyoto_1_54 
( (IP-MAT (ILYR (ILYR (EX There;{there})
                      (BEP;_ex_V_ is;{be})
                      (NP-ESBJ (Q no;{no})
                               (ADJP (ADJ reliable;{reliable}))
                               (N record;{record})
                               (PP (P-ROLE of;{of})
                                   (NP (D the;{the})
                                       (N date;{date})
                                       (PP (P-ROLE of;{of})
                                           (NP;{DEATH} (NP-GEN;{SESSHU} (PRO;_genm_ his;{his}))
                                                       (N death;{death})))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (Q;_nphd_ most;{most}))
                             (VBP;_Tn.pr_ put;{put[at]})
                             (NP-OB1;{DEATH} (PRO it;{it}))
                             (PP-CLR (P-ROLE at;{at})
                                     (NP (NPR 1506))))))
          (PUNC .))
  (ID 26_a_kyoto_1;BDS_00001;26))