9_a_kyoto_1
6 of his extant works are designated national treasures. Indeed, he is considered to be extraordinary among Japanese painters.

%3 r_0009_0001__6 6 r_0009_0005__works works r_0009_0001__6->r_0009_0005__works of r_0009_0003__his his r_0009_0005__works->r_0009_0003__his [gen] r_0009_0004__extant extant r_0009_0005__works->r_0009_0004__extant [attrib] r_0009_0006__are are r_0009_0007__designated designated r_0009_0006__are->r_0009_0007__designated [scope] r_0009_0007__designated->r_0009_0001__6 [arg1] r_0009_0009__treasures treasures r_0009_0007__designated->r_0009_0009__treasures [prd] z_000_9_a_kyoto_1_20 r_0009_0007__designated->z_000_9_a_kyoto_1_20 [arg0] r_0009_0008__national national r_0009_0009__treasures->r_0009_0008__national [attrib]
arc(r_0009_0001__6, r_0009_0005__works, r_0009_0002__of).
arc(r_0009_0005__works, r_0009_0003__his, gen).
arc(r_0009_0005__works, r_0009_0004__extant, attrib12).
arc(r_0009_0006__are, r_0009_0007__designated, scope).
arc(r_0009_0007__designated, r_0009_0001__6, arg1).
arc(r_0009_0007__designated, r_0009_0009__treasures, prd).
arc(r_0009_0007__designated, z_000_9_a_kyoto_1_20, arg0).
arc(r_0009_0009__treasures, r_0009_0008__national, attrib25).



%3 r_0009_0009__treasures treasures r_0009_0008__national national r_0009_0009__treasures->r_0009_0008__national [attrib] r_0009_0006__are_r_0009_0007__designated are designated r_0009_0006__are_r_0009_0007__designated->r_0009_0009__treasures [prd] z_000_9_a_kyoto_1_20 r_0009_0006__are_r_0009_0007__designated->z_000_9_a_kyoto_1_20 [arg0] r_0009_0001__6 6 r_0009_0006__are_r_0009_0007__designated->r_0009_0001__6 [arg1] r_0009_0005__works works r_0009_0001__6->r_0009_0005__works of r_0009_0004__extant extant r_0009_0005__works->r_0009_0004__extant [attrib] r_0009_0003__his his r_0009_0005__works->r_0009_0003__his [gen]
fof(formula,axiom,
    ? [R_9_6_ARE_DESIGNATED,Z_9_A_KYOTO_1_20,R_9_1_6,R_9_5_WORKS,R_9_4_EXTANT,R_9_3_HIS,R_9_9_TREASURES,R_9_8_NATIONAL] :
      ( extant(R_9_4_EXTANT)
      & his(R_9_3_HIS)
      & national(R_9_8_NATIONAL)
      & are_designated(R_9_6_ARE_DESIGNATED,Z_9_A_KYOTO_1_20,R_9_1_6,R_9_9_TREASURES)
      & 6(R_9_1_6)
      & of(R_9_1_6,R_9_5_WORKS)
      & works(R_9_5_WORKS)
      & attrib12(R_9_5_WORKS,R_9_4_EXTANT)
      & gen(R_9_5_WORKS,R_9_3_HIS)
      & treasures(R_9_9_TREASURES)
      & attrib25(R_9_9_TREASURES,R_9_8_NATIONAL) ) ).



n9_a_kyoto_1 n9_a_kyoto_1__1_1_1_1 6 n9_a_kyoto_1__1_1_2_1_1 of n9_a_kyoto_1__1_1_2_2_1_1_1 his n9_a_kyoto_1__1_1_2_2_2_1_1 extant n9_a_kyoto_1__1_1_2_2_3_1 works n9_a_kyoto_1__1_2_1 are n9_a_kyoto_1__1_3_1_1 * n9_a_kyoto_1__1_3_2_1 designated n9_a_kyoto_1__1_3_3_1_1_1 national n9_a_kyoto_1__1_3_3_2_1 treasures n9_a_kyoto_1__1_4_1 . n9_a_kyoto_1__1_5_1_1_1_1 Indeed n9_a_kyoto_1__1_5_1_2_1 , n9_a_kyoto_1__1_5_1_3_1_1 he n9_a_kyoto_1__1_5_1_4_1 is n9_a_kyoto_1__1_5_1_5_1_1 * n9_a_kyoto_1__1_5_1_5_2_1 considered n9_a_kyoto_1__1_5_1_5_3_1_1 to n9_a_kyoto_1__1_5_1_5_3_2_1 be n9_a_kyoto_1__1_5_1_5_3_3_1_1 extraordinary n9_a_kyoto_1__1_5_1_5_3_3_2_1_1 among n9_a_kyoto_1__1_5_1_5_3_3_2_2_1_1_1 Japanese n9_a_kyoto_1__1_5_1_5_3_3_2_2_2_1 painters n9_a_kyoto_1__1_5_1_6_1 . n9_a_kyoto_1__1 IP-MAT n9_a_kyoto_1__1_1 NP-SBJ n9_a_kyoto_1__1->n9_a_kyoto_1__1_1 n9_a_kyoto_1__1_2 BEP;_cat_VePASS_ n9_a_kyoto_1__1->n9_a_kyoto_1__1_2 n9_a_kyoto_1__1_3 IP-PPL-CAT n9_a_kyoto_1__1->n9_a_kyoto_1__1_3 n9_a_kyoto_1__1_4 PUNC n9_a_kyoto_1__1->n9_a_kyoto_1__1_4 n9_a_kyoto_1__1_5 PRN n9_a_kyoto_1__1->n9_a_kyoto_1__1_5 n9_a_kyoto_1__1_1_1 NUM n9_a_kyoto_1__1_1->n9_a_kyoto_1__1_1_1 n9_a_kyoto_1__1_1_2 PP n9_a_kyoto_1__1_1->n9_a_kyoto_1__1_1_2 n9_a_kyoto_1__1_1_1->n9_a_kyoto_1__1_1_1_1 n9_a_kyoto_1__1_1_2_1 P-ROLE n9_a_kyoto_1__1_1_2->n9_a_kyoto_1__1_1_2_1 n9_a_kyoto_1__1_1_2_2 NP n9_a_kyoto_1__1_1_2->n9_a_kyoto_1__1_1_2_2 n9_a_kyoto_1__1_1_2_1->n9_a_kyoto_1__1_1_2_1_1 n9_a_kyoto_1__1_1_2_2_1 NP-GEN n9_a_kyoto_1__1_1_2_2->n9_a_kyoto_1__1_1_2_2_1 n9_a_kyoto_1__1_1_2_2_2 ADJP n9_a_kyoto_1__1_1_2_2->n9_a_kyoto_1__1_1_2_2_2 n9_a_kyoto_1__1_1_2_2_3 NS n9_a_kyoto_1__1_1_2_2->n9_a_kyoto_1__1_1_2_2_3 n9_a_kyoto_1__1_1_2_2_1_1 PRO;_genm_ n9_a_kyoto_1__1_1_2_2_1->n9_a_kyoto_1__1_1_2_2_1_1 n9_a_kyoto_1__1_1_2_2_1_1->n9_a_kyoto_1__1_1_2_2_1_1_1 n9_a_kyoto_1__1_1_2_2_2_1 ADJ n9_a_kyoto_1__1_1_2_2_2->n9_a_kyoto_1__1_1_2_2_2_1 n9_a_kyoto_1__1_1_2_2_2_1->n9_a_kyoto_1__1_1_2_2_2_1_1 n9_a_kyoto_1__1_1_2_2_3->n9_a_kyoto_1__1_1_2_2_3_1 n9_a_kyoto_1__1_2->n9_a_kyoto_1__1_2_1 n9_a_kyoto_1__1_3_1 NP-LGS n9_a_kyoto_1__1_3->n9_a_kyoto_1__1_3_1 n9_a_kyoto_1__1_3_2 VVN;_Cn.n_ n9_a_kyoto_1__1_3->n9_a_kyoto_1__1_3_2 n9_a_kyoto_1__1_3_3 NP-PRD n9_a_kyoto_1__1_3->n9_a_kyoto_1__1_3_3 n9_a_kyoto_1__1_3_1->n9_a_kyoto_1__1_3_1_1 n9_a_kyoto_1__1_3_2->n9_a_kyoto_1__1_3_2_1 n9_a_kyoto_1__1_3_3_1 ADJP n9_a_kyoto_1__1_3_3->n9_a_kyoto_1__1_3_3_1 n9_a_kyoto_1__1_3_3_2 NS n9_a_kyoto_1__1_3_3->n9_a_kyoto_1__1_3_3_2 n9_a_kyoto_1__1_3_3_1_1 ADJ n9_a_kyoto_1__1_3_3_1->n9_a_kyoto_1__1_3_3_1_1 n9_a_kyoto_1__1_3_3_1_1->n9_a_kyoto_1__1_3_3_1_1_1 n9_a_kyoto_1__1_3_3_2->n9_a_kyoto_1__1_3_3_2_1 n9_a_kyoto_1__1_4->n9_a_kyoto_1__1_4_1 n9_a_kyoto_1__1_5_1 IP-MAT n9_a_kyoto_1__1_5->n9_a_kyoto_1__1_5_1 n9_a_kyoto_1__1_5_1_1 ADVP-NIM n9_a_kyoto_1__1_5_1->n9_a_kyoto_1__1_5_1_1 n9_a_kyoto_1__1_5_1_2 PUNC n9_a_kyoto_1__1_5_1->n9_a_kyoto_1__1_5_1_2 n9_a_kyoto_1__1_5_1_3 NP-SBJ n9_a_kyoto_1__1_5_1->n9_a_kyoto_1__1_5_1_3 n9_a_kyoto_1__1_5_1_4 BEP;_cat_VePASS_ n9_a_kyoto_1__1_5_1->n9_a_kyoto_1__1_5_1_4 n9_a_kyoto_1__1_5_1_5 IP-PPL-CAT n9_a_kyoto_1__1_5_1->n9_a_kyoto_1__1_5_1_5 n9_a_kyoto_1__1_5_1_6 PUNC n9_a_kyoto_1__1_5_1->n9_a_kyoto_1__1_5_1_6 n9_a_kyoto_1__1_5_1_1_1 ADV n9_a_kyoto_1__1_5_1_1->n9_a_kyoto_1__1_5_1_1_1 n9_a_kyoto_1__1_5_1_1_1->n9_a_kyoto_1__1_5_1_1_1_1 n9_a_kyoto_1__1_5_1_2->n9_a_kyoto_1__1_5_1_2_1 n9_a_kyoto_1__1_5_1_3_1 PRO n9_a_kyoto_1__1_5_1_3->n9_a_kyoto_1__1_5_1_3_1 n9_a_kyoto_1__1_5_1_3_1->n9_a_kyoto_1__1_5_1_3_1_1 n9_a_kyoto_1__1_5_1_4->n9_a_kyoto_1__1_5_1_4_1 n9_a_kyoto_1__1_5_1_5_1 NP-LGS n9_a_kyoto_1__1_5_1_5->n9_a_kyoto_1__1_5_1_5_1 n9_a_kyoto_1__1_5_1_5_2 VVN;_Tnt_ n9_a_kyoto_1__1_5_1_5->n9_a_kyoto_1__1_5_1_5_2 n9_a_kyoto_1__1_5_1_5_3 IP-INF-OB1 n9_a_kyoto_1__1_5_1_5->n9_a_kyoto_1__1_5_1_5_3 n9_a_kyoto_1__1_5_1_5_1->n9_a_kyoto_1__1_5_1_5_1_1 n9_a_kyoto_1__1_5_1_5_2->n9_a_kyoto_1__1_5_1_5_2_1 n9_a_kyoto_1__1_5_1_5_3_1 TO n9_a_kyoto_1__1_5_1_5_3->n9_a_kyoto_1__1_5_1_5_3_1 n9_a_kyoto_1__1_5_1_5_3_2 BE;_La_ n9_a_kyoto_1__1_5_1_5_3->n9_a_kyoto_1__1_5_1_5_3_2 n9_a_kyoto_1__1_5_1_5_3_3 ADJP-PRD n9_a_kyoto_1__1_5_1_5_3->n9_a_kyoto_1__1_5_1_5_3_3 n9_a_kyoto_1__1_5_1_5_3_1->n9_a_kyoto_1__1_5_1_5_3_1_1 n9_a_kyoto_1__1_5_1_5_3_2->n9_a_kyoto_1__1_5_1_5_3_2_1 n9_a_kyoto_1__1_5_1_5_3_3_1 ADJ n9_a_kyoto_1__1_5_1_5_3_3->n9_a_kyoto_1__1_5_1_5_3_3_1 n9_a_kyoto_1__1_5_1_5_3_3_2 PP n9_a_kyoto_1__1_5_1_5_3_3->n9_a_kyoto_1__1_5_1_5_3_3_2 n9_a_kyoto_1__1_5_1_5_3_3_1->n9_a_kyoto_1__1_5_1_5_3_3_1_1 n9_a_kyoto_1__1_5_1_5_3_3_2_1 P-ROLE n9_a_kyoto_1__1_5_1_5_3_3_2->n9_a_kyoto_1__1_5_1_5_3_3_2_1 n9_a_kyoto_1__1_5_1_5_3_3_2_2 NP n9_a_kyoto_1__1_5_1_5_3_3_2->n9_a_kyoto_1__1_5_1_5_3_3_2_2 n9_a_kyoto_1__1_5_1_5_3_3_2_1->n9_a_kyoto_1__1_5_1_5_3_3_2_1_1 n9_a_kyoto_1__1_5_1_5_3_3_2_2_1 ADJP n9_a_kyoto_1__1_5_1_5_3_3_2_2->n9_a_kyoto_1__1_5_1_5_3_3_2_2_1 n9_a_kyoto_1__1_5_1_5_3_3_2_2_2 NS n9_a_kyoto_1__1_5_1_5_3_3_2_2->n9_a_kyoto_1__1_5_1_5_3_3_2_2_2 n9_a_kyoto_1__1_5_1_5_3_3_2_2_1_1 ADJ n9_a_kyoto_1__1_5_1_5_3_3_2_2_1->n9_a_kyoto_1__1_5_1_5_3_3_2_2_1_1 n9_a_kyoto_1__1_5_1_5_3_3_2_2_1_1->n9_a_kyoto_1__1_5_1_5_3_3_2_2_1_1_1 n9_a_kyoto_1__1_5_1_5_3_3_2_2_2->n9_a_kyoto_1__1_5_1_5_3_3_2_2_2_1 n9_a_kyoto_1__1_5_1_6->n9_a_kyoto_1__1_5_1_6_1
( (IP-MAT (NP-SBJ (NUM 6)
                  (PP (P-ROLE of;{of})
                      (NP (NP-GEN;{SESSHU} (PRO;_genm_ his;{his}))
                          (ADJP (ADJ extant;{extant}))
                          (NS works;{work}))))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Cn.n_ designated;{designate})
                      (NP-PRD (ADJP (ADJ national;{national}))
                              (NS treasures;{treasure})))
          (PUNC .)
          (PRN (IP-MAT (ADVP-NIM (ADV Indeed;{indeed}))
                       (PUNC ,)
                       (NP-SBJ;{SESSHU} (PRO he;{he}))
                       (BEP;_cat_VePASS_ is;{be})
                       (IP-PPL-CAT (NP-LGS *)
                                   (VVN;_Tnt_ considered;{consider})
                                   (IP-INF-OB1 (TO to;{to})
                                               (BE;_La_ be;{be})
                                               (ADJP-PRD (ADJ extraordinary;{extraordinary})
                                                         (PP (P-ROLE among;{among})
                                                             (NP (ADJP (ADJ Japanese;{Japanese}))
                                                                 (NS painters;{painter}))))))
                       (PUNC .))))
  (ID 9_a_kyoto_1;BDS_00001;9))