9_a_kyoto_1
6 of his extant works are designated national treasures. Indeed, he is considered to be extraordinary among Japanese painters.
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).
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) ) ).
( (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))