TSPC 26_a_kyoto

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

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

arc(r_0026_0002__is,r_0026_0005__record,arg0).
arc(r_0026_0003__no__quant,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,attrib).
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_r_0026_0017__at,scope).
arc(r_0026_0014__most__quant,z_0026_5009,restriction).
arc(r_0026_0015__put_r_0026_0017__at,r_0026_0011__death,arg1).
arc(r_0026_0015__put_r_0026_0017__at,r_0026_0018__1506,arg2).
arc(r_0026_0015__put_r_0026_0017__at,z_0026_5009,arg0).

fof(formula,axiom,
    ? [R_0026_0013__BUT] :
      ( r_0026_0013__but(R_0026_0013__BUT)
      & ! [Z_0026_5009] :
          ( z_0026_5009(Z_0026_5009)
         => ? [R_0026_0010__HIS,R_0026_0011__DEATH,R_0026_0018__1506,R_0026_0015__PUT_R_0026_0017__AT] :
              ( r_0026_0010__his(R_0026_0010__HIS)
              & r_0026_0018__1506(R_0026_0018__1506)
              & r_0026_0015__put_r_0026_0017__at(R_0026_0015__PUT_R_0026_0017__AT)
              & has_arg0(R_0026_0015__PUT_R_0026_0017__AT,Z_0026_5009)
              & has_arg2(R_0026_0015__PUT_R_0026_0017__AT,R_0026_0018__1506)
              & has_arg1(R_0026_0015__PUT_R_0026_0017__AT,R_0026_0011__DEATH)
              & r_0026_0011__death(R_0026_0011__DEATH)
              & has_gen(R_0026_0011__DEATH,R_0026_0010__HIS) ) )
      & ! [R_0026_0005__RECORD,R_0026_0004__RELIABLE,R_0026_0010__HIS,R_0026_0011__DEATH,R_0026_0007__THE_R_0026_0008__DATE] :
          ( ( r_0026_0004__reliable(R_0026_0004__RELIABLE)
            & r_0026_0010__his(R_0026_0010__HIS)
            & r_0026_0005__record(R_0026_0005__RECORD)
            & has_r_0026_0006__of(R_0026_0005__RECORD,R_0026_0007__THE_R_0026_0008__DATE)
            & r_0026_0007__the_r_0026_0008__date(R_0026_0007__THE_R_0026_0008__DATE)
            & has_r_0026_0009__of(R_0026_0007__THE_R_0026_0008__DATE,R_0026_0011__DEATH)
            & r_0026_0011__death(R_0026_0011__DEATH)
            & has_gen(R_0026_0011__DEATH,R_0026_0010__HIS)
            & has_attrib(R_0026_0005__RECORD,R_0026_0004__RELIABLE) )
         => ? [R_0026_0002__IS] :
              ( r_0026_0002__is(R_0026_0002__IS)
              & has_arg0(R_0026_0002__IS,R_0026_0005__RECORD) ) ) ) ).