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_0015__put put z_000_26_a_kyoto_1_39 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] r_0026_0011__death death r_0026_0015__put->r_0026_0011__death [arg1] r_0026_0010__his his r_0026_0011__death->r_0026_0010__his [gen] r_0026_0014__most_quant most [quant] r_0026_0014__most_quant->r_0026_0015__put [scope] r_0026_0014__most_quant->z_000_26_a_kyoto_1_39 [restriction] r_0026_0013__but but r_0026_0013__but->r_0026_0014__most_quant [conj2] r_0026_0003__no_quant no [quant] r_0026_0013__but->r_0026_0003__no_quant [conj1] r_0026_0005__record record r_0026_0003__no_quant->r_0026_0005__record [restriction] r_0026_0001__There_r_0026_0002__is There is r_0026_0003__no_quant->r_0026_0001__There_r_0026_0002__is [scope] r_0026_0007__the_r_0026_0008__date the date r_0026_0007__the_r_0026_0008__date->r_0026_0011__death of r_0026_0005__record->r_0026_0007__the_r_0026_0008__date of r_0026_0004__reliable reliable r_0026_0005__record->r_0026_0004__reliable [attrib] r_0026_0001__There_r_0026_0002__is->r_0026_0005__record [arg0] 
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__1_1_1_1_1 There n26_a_kyoto_1__1_1_1_2_1 is n26_a_kyoto_1__1_1_1_3_1_1 no n26_a_kyoto_1__1_1_1_3_2_1_1 reliable n26_a_kyoto_1__1_1_1_3_3_1 record n26_a_kyoto_1__1_1_1_3_4_1_1 of n26_a_kyoto_1__1_1_1_3_4_2_1_1 the n26_a_kyoto_1__1_1_1_3_4_2_2_1 date n26_a_kyoto_1__1_1_1_3_4_2_3_1_1 of n26_a_kyoto_1__1_1_1_3_4_2_3_2_1_1_1 his n26_a_kyoto_1__1_1_1_3_4_2_3_2_2_1 death n26_a_kyoto_1__1_1_2_1 , n26_a_kyoto_1__1_1_3_1_1 but n26_a_kyoto_1__1_1_3_2_1_1_1 most n26_a_kyoto_1__1_1_3_2_2_1 put n26_a_kyoto_1__1_1_3_2_3_1_1 it n26_a_kyoto_1__1_1_3_2_4_1_1 at n26_a_kyoto_1__1_1_3_2_4_2_1_1 1506 n26_a_kyoto_1__1_2_1 . n26_a_kyoto_1__1 IP-MAT n26_a_kyoto_1__1_1 ILYR n26_a_kyoto_1__1->n26_a_kyoto_1__1_1 n26_a_kyoto_1__1_2 PUNC n26_a_kyoto_1__1->n26_a_kyoto_1__1_2 n26_a_kyoto_1__1_1_1 ILYR n26_a_kyoto_1__1_1->n26_a_kyoto_1__1_1_1 n26_a_kyoto_1__1_1_2 PUNC n26_a_kyoto_1__1_1->n26_a_kyoto_1__1_1_2 n26_a_kyoto_1__1_1_3 CONJP n26_a_kyoto_1__1_1->n26_a_kyoto_1__1_1_3 n26_a_kyoto_1__1_1_1_1 EX n26_a_kyoto_1__1_1_1->n26_a_kyoto_1__1_1_1_1 n26_a_kyoto_1__1_1_1_2 BEP;_ex_V_ n26_a_kyoto_1__1_1_1->n26_a_kyoto_1__1_1_1_2 n26_a_kyoto_1__1_1_1_3 NP-ESBJ n26_a_kyoto_1__1_1_1->n26_a_kyoto_1__1_1_1_3 n26_a_kyoto_1__1_1_1_1->n26_a_kyoto_1__1_1_1_1_1 n26_a_kyoto_1__1_1_1_2->n26_a_kyoto_1__1_1_1_2_1 n26_a_kyoto_1__1_1_1_3_1 Q n26_a_kyoto_1__1_1_1_3->n26_a_kyoto_1__1_1_1_3_1 n26_a_kyoto_1__1_1_1_3_2 ADJP n26_a_kyoto_1__1_1_1_3->n26_a_kyoto_1__1_1_1_3_2 n26_a_kyoto_1__1_1_1_3_3 N n26_a_kyoto_1__1_1_1_3->n26_a_kyoto_1__1_1_1_3_3 n26_a_kyoto_1__1_1_1_3_4 PP n26_a_kyoto_1__1_1_1_3->n26_a_kyoto_1__1_1_1_3_4 n26_a_kyoto_1__1_1_1_3_1->n26_a_kyoto_1__1_1_1_3_1_1 n26_a_kyoto_1__1_1_1_3_2_1 ADJ n26_a_kyoto_1__1_1_1_3_2->n26_a_kyoto_1__1_1_1_3_2_1 n26_a_kyoto_1__1_1_1_3_2_1->n26_a_kyoto_1__1_1_1_3_2_1_1 n26_a_kyoto_1__1_1_1_3_3->n26_a_kyoto_1__1_1_1_3_3_1 n26_a_kyoto_1__1_1_1_3_4_1 P-ROLE n26_a_kyoto_1__1_1_1_3_4->n26_a_kyoto_1__1_1_1_3_4_1 n26_a_kyoto_1__1_1_1_3_4_2 NP n26_a_kyoto_1__1_1_1_3_4->n26_a_kyoto_1__1_1_1_3_4_2 n26_a_kyoto_1__1_1_1_3_4_1->n26_a_kyoto_1__1_1_1_3_4_1_1 n26_a_kyoto_1__1_1_1_3_4_2_1 D n26_a_kyoto_1__1_1_1_3_4_2->n26_a_kyoto_1__1_1_1_3_4_2_1 n26_a_kyoto_1__1_1_1_3_4_2_2 N n26_a_kyoto_1__1_1_1_3_4_2->n26_a_kyoto_1__1_1_1_3_4_2_2 n26_a_kyoto_1__1_1_1_3_4_2_3 PP n26_a_kyoto_1__1_1_1_3_4_2->n26_a_kyoto_1__1_1_1_3_4_2_3 n26_a_kyoto_1__1_1_1_3_4_2_1->n26_a_kyoto_1__1_1_1_3_4_2_1_1 n26_a_kyoto_1__1_1_1_3_4_2_2->n26_a_kyoto_1__1_1_1_3_4_2_2_1 n26_a_kyoto_1__1_1_1_3_4_2_3_1 P-ROLE n26_a_kyoto_1__1_1_1_3_4_2_3->n26_a_kyoto_1__1_1_1_3_4_2_3_1 n26_a_kyoto_1__1_1_1_3_4_2_3_2 NP n26_a_kyoto_1__1_1_1_3_4_2_3->n26_a_kyoto_1__1_1_1_3_4_2_3_2 n26_a_kyoto_1__1_1_1_3_4_2_3_1->n26_a_kyoto_1__1_1_1_3_4_2_3_1_1 n26_a_kyoto_1__1_1_1_3_4_2_3_2_1 NP-GEN n26_a_kyoto_1__1_1_1_3_4_2_3_2->n26_a_kyoto_1__1_1_1_3_4_2_3_2_1 n26_a_kyoto_1__1_1_1_3_4_2_3_2_2 N n26_a_kyoto_1__1_1_1_3_4_2_3_2->n26_a_kyoto_1__1_1_1_3_4_2_3_2_2 n26_a_kyoto_1__1_1_1_3_4_2_3_2_1_1 PRO;_genm_ n26_a_kyoto_1__1_1_1_3_4_2_3_2_1->n26_a_kyoto_1__1_1_1_3_4_2_3_2_1_1 n26_a_kyoto_1__1_1_1_3_4_2_3_2_1_1->n26_a_kyoto_1__1_1_1_3_4_2_3_2_1_1_1 n26_a_kyoto_1__1_1_1_3_4_2_3_2_2->n26_a_kyoto_1__1_1_1_3_4_2_3_2_2_1 n26_a_kyoto_1__1_1_2->n26_a_kyoto_1__1_1_2_1 n26_a_kyoto_1__1_1_3_1 CONJ n26_a_kyoto_1__1_1_3->n26_a_kyoto_1__1_1_3_1 n26_a_kyoto_1__1_1_3_2 ILYR n26_a_kyoto_1__1_1_3->n26_a_kyoto_1__1_1_3_2 n26_a_kyoto_1__1_1_3_1->n26_a_kyoto_1__1_1_3_1_1 n26_a_kyoto_1__1_1_3_2_1 NP-SBJ n26_a_kyoto_1__1_1_3_2->n26_a_kyoto_1__1_1_3_2_1 n26_a_kyoto_1__1_1_3_2_2 VBP;_Tn.pr_ n26_a_kyoto_1__1_1_3_2->n26_a_kyoto_1__1_1_3_2_2 n26_a_kyoto_1__1_1_3_2_3 NP-OB1 n26_a_kyoto_1__1_1_3_2->n26_a_kyoto_1__1_1_3_2_3 n26_a_kyoto_1__1_1_3_2_4 PP-CLR n26_a_kyoto_1__1_1_3_2->n26_a_kyoto_1__1_1_3_2_4 n26_a_kyoto_1__1_1_3_2_1_1 Q;_nphd_ n26_a_kyoto_1__1_1_3_2_1->n26_a_kyoto_1__1_1_3_2_1_1 n26_a_kyoto_1__1_1_3_2_1_1->n26_a_kyoto_1__1_1_3_2_1_1_1 n26_a_kyoto_1__1_1_3_2_2->n26_a_kyoto_1__1_1_3_2_2_1 n26_a_kyoto_1__1_1_3_2_3_1 PRO n26_a_kyoto_1__1_1_3_2_3->n26_a_kyoto_1__1_1_3_2_3_1 n26_a_kyoto_1__1_1_3_2_3_1->n26_a_kyoto_1__1_1_3_2_3_1_1 n26_a_kyoto_1__1_1_3_2_4_1 P-ROLE n26_a_kyoto_1__1_1_3_2_4->n26_a_kyoto_1__1_1_3_2_4_1 n26_a_kyoto_1__1_1_3_2_4_2 NP n26_a_kyoto_1__1_1_3_2_4->n26_a_kyoto_1__1_1_3_2_4_2 n26_a_kyoto_1__1_1_3_2_4_1->n26_a_kyoto_1__1_1_3_2_4_1_1 n26_a_kyoto_1__1_1_3_2_4_2_1 NPR n26_a_kyoto_1__1_1_3_2_4_2->n26_a_kyoto_1__1_1_3_2_4_2_1 n26_a_kyoto_1__1_1_3_2_4_2_1->n26_a_kyoto_1__1_1_3_2_4_2_1_1 n26_a_kyoto_1__1_2->n26_a_kyoto_1__1_2_1 
( (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))