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_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] 
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_5 Other n27_a_kyoto_1_7 records n27_a_kyoto_1_9 write n27_a_kyoto_1_13 that n27_a_kyoto_1_16 he n27_a_kyoto_1_18 died n27_a_kyoto_1_21 in n27_a_kyoto_1_24 1502 n27_a_kyoto_1_26 . n27_a_kyoto_1_1 IP-MAT n27_a_kyoto_1_2 NP-SBJ n27_a_kyoto_1_1->n27_a_kyoto_1_2 n27_a_kyoto_1_8 VBP;_Tf_ n27_a_kyoto_1_1->n27_a_kyoto_1_8 n27_a_kyoto_1_10 CP-THT-OB1 n27_a_kyoto_1_1->n27_a_kyoto_1_10 n27_a_kyoto_1_25 PUNC n27_a_kyoto_1_1->n27_a_kyoto_1_25 n27_a_kyoto_1_3 ADJP n27_a_kyoto_1_2->n27_a_kyoto_1_3 n27_a_kyoto_1_6 NS n27_a_kyoto_1_2->n27_a_kyoto_1_6 n27_a_kyoto_1_4 ADJ n27_a_kyoto_1_3->n27_a_kyoto_1_4 n27_a_kyoto_1_4->n27_a_kyoto_1_5 n27_a_kyoto_1_6->n27_a_kyoto_1_7 n27_a_kyoto_1_8->n27_a_kyoto_1_9 n27_a_kyoto_1_11 IP-SUB n27_a_kyoto_1_10->n27_a_kyoto_1_11 n27_a_kyoto_1_12 C n27_a_kyoto_1_11->n27_a_kyoto_1_12 n27_a_kyoto_1_14 NP-SBJ n27_a_kyoto_1_11->n27_a_kyoto_1_14 n27_a_kyoto_1_17 VBD;_I_ n27_a_kyoto_1_11->n27_a_kyoto_1_17 n27_a_kyoto_1_19 PP-NIM n27_a_kyoto_1_11->n27_a_kyoto_1_19 n27_a_kyoto_1_12->n27_a_kyoto_1_13 n27_a_kyoto_1_15 PRO n27_a_kyoto_1_14->n27_a_kyoto_1_15 n27_a_kyoto_1_15->n27_a_kyoto_1_16 n27_a_kyoto_1_17->n27_a_kyoto_1_18 n27_a_kyoto_1_20 P-ROLE n27_a_kyoto_1_19->n27_a_kyoto_1_20 n27_a_kyoto_1_22 NP n27_a_kyoto_1_19->n27_a_kyoto_1_22 n27_a_kyoto_1_20->n27_a_kyoto_1_21 n27_a_kyoto_1_23 NPR n27_a_kyoto_1_22->n27_a_kyoto_1_23 n27_a_kyoto_1_23->n27_a_kyoto_1_24 n27_a_kyoto_1_25->n27_a_kyoto_1_26 
( (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))