Context                Previous, Next                Top


27_a_kyoto_1
Other records write that he died in 1502.

%3 r_0027_0002__records records r_0027_0001__Other Other r_0027_0002__records->r_0027_0001__Other [attrib] r_0027_0003__write write r_0027_0003__write->r_0027_0002__records [arg0] r_0027_0004__that_r_0027_0006__died that died r_0027_0003__write->r_0027_0004__that_r_0027_0006__died [arg1] r_0027_0005__he he r_0027_0004__that_r_0027_0006__died->r_0027_0005__he [arg0] r_0027_0008__1502 1502 r_0027_0004__that_r_0027_0006__died->r_0027_0008__1502 in [nim] 
arc(r_0027_0002__records, r_0027_0001__Other, attrib3).
arc(r_0027_0003__write, r_0027_0002__records, arg0).
arc(r_0027_0003__write, r_0027_0004__that_r_0027_0006__died, arg1).
arc(r_0027_0004__that_r_0027_0006__died, r_0027_0005__he, arg0).
arc(r_0027_0004__that_r_0027_0006__died, r_0027_0008__1502, r_0027_0007__in_nim22).


%3 r_0027_0004__that_r_0027_0006__died that died r_0027_0008__1502 1502 r_0027_0004__that_r_0027_0006__died->r_0027_0008__1502 in [nim] r_0027_0005__he he r_0027_0004__that_r_0027_0006__died->r_0027_0005__he [arg0] r_0027_0003__write write r_0027_0003__write->r_0027_0004__that_r_0027_0006__died [arg1] r_0027_0002__records records r_0027_0003__write->r_0027_0002__records [arg0] r_0027_0001__Other Other r_0027_0002__records->r_0027_0001__Other [attrib] 
fof(formula,axiom,
    ? [R_27_3_WRITE,R_27_2_RECORDS,R_27_1_OTHER,R_27_4_THAT_DIED,R_27_5_HE,R_27_8_1502] :
      ( other(R_27_1_OTHER)
      & he(R_27_5_HE)
      & 1502(R_27_8_1502)
      & write(R_27_3_WRITE,R_27_2_RECORDS,R_27_4_THAT_DIED)
      & records(R_27_2_RECORDS)
      & attrib3(R_27_2_RECORDS,R_27_1_OTHER)
      & that_died(R_27_4_THAT_DIED,R_27_5_HE)
      & in_nim22(R_27_4_THAT_DIED,R_27_8_1502) ) ).


n27_a_kyoto_1 n27_a_kyoto_1__1_1_1_1_1 Other n27_a_kyoto_1__1_1_2_1 records n27_a_kyoto_1__1_2_1 write n27_a_kyoto_1__1_3_1_1_1 that n27_a_kyoto_1__1_3_1_2_1_1 he n27_a_kyoto_1__1_3_1_3_1 died n27_a_kyoto_1__1_3_1_4_1_1 in n27_a_kyoto_1__1_3_1_4_2_1_1 1502 n27_a_kyoto_1__1_4_1 . n27_a_kyoto_1__1 IP-MAT n27_a_kyoto_1__1_1 NP-SBJ n27_a_kyoto_1__1->n27_a_kyoto_1__1_1 n27_a_kyoto_1__1_2 VBP;_Tf_ n27_a_kyoto_1__1->n27_a_kyoto_1__1_2 n27_a_kyoto_1__1_3 CP-THT-OB1 n27_a_kyoto_1__1->n27_a_kyoto_1__1_3 n27_a_kyoto_1__1_4 PUNC n27_a_kyoto_1__1->n27_a_kyoto_1__1_4 n27_a_kyoto_1__1_1_1 ADJP n27_a_kyoto_1__1_1->n27_a_kyoto_1__1_1_1 n27_a_kyoto_1__1_1_2 NS n27_a_kyoto_1__1_1->n27_a_kyoto_1__1_1_2 n27_a_kyoto_1__1_1_1_1 ADJ n27_a_kyoto_1__1_1_1->n27_a_kyoto_1__1_1_1_1 n27_a_kyoto_1__1_1_1_1->n27_a_kyoto_1__1_1_1_1_1 n27_a_kyoto_1__1_1_2->n27_a_kyoto_1__1_1_2_1 n27_a_kyoto_1__1_2->n27_a_kyoto_1__1_2_1 n27_a_kyoto_1__1_3_1 IP-SUB n27_a_kyoto_1__1_3->n27_a_kyoto_1__1_3_1 n27_a_kyoto_1__1_3_1_1 C n27_a_kyoto_1__1_3_1->n27_a_kyoto_1__1_3_1_1 n27_a_kyoto_1__1_3_1_2 NP-SBJ n27_a_kyoto_1__1_3_1->n27_a_kyoto_1__1_3_1_2 n27_a_kyoto_1__1_3_1_3 VBD;_I_ n27_a_kyoto_1__1_3_1->n27_a_kyoto_1__1_3_1_3 n27_a_kyoto_1__1_3_1_4 PP-NIM n27_a_kyoto_1__1_3_1->n27_a_kyoto_1__1_3_1_4 n27_a_kyoto_1__1_3_1_1->n27_a_kyoto_1__1_3_1_1_1 n27_a_kyoto_1__1_3_1_2_1 PRO n27_a_kyoto_1__1_3_1_2->n27_a_kyoto_1__1_3_1_2_1 n27_a_kyoto_1__1_3_1_2_1->n27_a_kyoto_1__1_3_1_2_1_1 n27_a_kyoto_1__1_3_1_3->n27_a_kyoto_1__1_3_1_3_1 n27_a_kyoto_1__1_3_1_4_1 P-ROLE n27_a_kyoto_1__1_3_1_4->n27_a_kyoto_1__1_3_1_4_1 n27_a_kyoto_1__1_3_1_4_2 NP n27_a_kyoto_1__1_3_1_4->n27_a_kyoto_1__1_3_1_4_2 n27_a_kyoto_1__1_3_1_4_1->n27_a_kyoto_1__1_3_1_4_1_1 n27_a_kyoto_1__1_3_1_4_2_1 NPR n27_a_kyoto_1__1_3_1_4_2->n27_a_kyoto_1__1_3_1_4_2_1 n27_a_kyoto_1__1_3_1_4_2_1->n27_a_kyoto_1__1_3_1_4_2_1_1 n27_a_kyoto_1__1_4->n27_a_kyoto_1__1_4_1 
( (IP-MAT (NP-SBJ (ADJP (ADJ Other;{other}))
                  (NS records;{record}))
          (VBP;_Tf_ write;{write})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ;{SESSHU} (PRO he;{he}))
                              (VBD;_I_ died;{die})
                              (PP-NIM (P-ROLE in;{in})
                                      (NP (NPR 1502)))))
          (PUNC .))
  (ID 27_a_kyoto_1;BDS_00001;27))