9_a_kyoto_1
6 of his extant works are designated national treasures. Indeed, he is considered to be extraordinary among Japanese painters.
( (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))
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,attrib).
arc(r_0009_0006__are,r_0009_0007__designated,scope).
arc(r_0009_0006__are,r_0009_0014__is,prn).
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_0009_5019___star_,arg0).
arc(r_0009_0009__treasures,r_0009_0008__national,attrib).
arc(r_0009_0014__is,r_0009_0011__Indeed,nim).
arc(r_0009_0014__is,r_0009_0015__considered,scope).
arc(r_0009_0015__considered,r_0009_0017__be,arg1).
arc(r_0009_0015__considered,z_0009_5013___star_,arg0).
arc(r_0009_0017__be,r_0009_0003__his,arg0).
arc(r_0009_0017__be,r_0009_0018__extraordinary,prd).
arc(r_0009_0018__extraordinary,r_0009_0021__painters,r_0009_0019__among).
arc(r_0009_0021__painters,r_0009_0020__Japanese,attrib).
fof(formula,axiom,
? [R_0009_0011__INDEED,R_0009_0003__HIS,R_0009_0020__JAPANESE,R_0009_0021__PAINTERS,R_0009_0018__EXTRAORDINARY,R_0009_0017__BE,Z_0009_5013___STAR_,R_0009_0014__IS_R_0009_0015__CONSIDERED,R_0009_0004__EXTANT,R_0009_0005__WORKS,R_0009_0001__6,R_0009_0008__NATIONAL,R_0009_0009__TREASURES,Z_0009_5019___STAR_,R_0009_0006__ARE_R_0009_0007__DESIGNATED] :
( r_0009_0003__his(R_0009_0003__HIS)
& r_0009_0004__extant(R_0009_0004__EXTANT)
& r_0009_0008__national(R_0009_0008__NATIONAL)
& r_0009_0011__Indeed(R_0009_0011__INDEED)
& r_0009_0020__Japanese(R_0009_0020__JAPANESE)
& z_0009_5013___star_(Z_0009_5013___STAR_)
& z_0009_5019___star_(Z_0009_5019___STAR_)
& r_0009_0006__are_r_0009_0007__designated(R_0009_0006__ARE_R_0009_0007__DESIGNATED)
& has_arg0(R_0009_0006__ARE_R_0009_0007__DESIGNATED,Z_0009_5019___STAR_)
& has_prd(R_0009_0006__ARE_R_0009_0007__DESIGNATED,R_0009_0009__TREASURES)
& r_0009_0009__treasures(R_0009_0009__TREASURES)
& has_attrib(R_0009_0009__TREASURES,R_0009_0008__NATIONAL)
& has_arg1(R_0009_0006__ARE_R_0009_0007__DESIGNATED,R_0009_0001__6)
& r_0009_0001__6(R_0009_0001__6)
& has_r_0009_0002__of(R_0009_0001__6,R_0009_0005__WORKS)
& r_0009_0005__works(R_0009_0005__WORKS)
& has_attrib(R_0009_0005__WORKS,R_0009_0004__EXTANT)
& has_gen(R_0009_0005__WORKS,R_0009_0003__HIS)
& has_prn(R_0009_0006__ARE_R_0009_0007__DESIGNATED,R_0009_0014__IS_R_0009_0015__CONSIDERED)
& r_0009_0014__is_r_0009_0015__considered(R_0009_0014__IS_R_0009_0015__CONSIDERED)
& has_arg0(R_0009_0014__IS_R_0009_0015__CONSIDERED,Z_0009_5013___STAR_)
& has_arg1(R_0009_0014__IS_R_0009_0015__CONSIDERED,R_0009_0017__BE)
& r_0009_0017__be(R_0009_0017__BE)
& has_prd(R_0009_0017__BE,R_0009_0018__EXTRAORDINARY)
& r_0009_0018__extraordinary(R_0009_0018__EXTRAORDINARY)
& has_r_0009_0019__among(R_0009_0018__EXTRAORDINARY,R_0009_0021__PAINTERS)
& r_0009_0021__painters(R_0009_0021__PAINTERS)
& has_attrib(R_0009_0021__PAINTERS,R_0009_0020__JAPANESE)
& has_arg0(R_0009_0017__BE,R_0009_0003__HIS)
& has_nim(R_0009_0014__IS_R_0009_0015__CONSIDERED,R_0009_0011__INDEED) ) ).