3_a_kyoto_1
He revolutionized the Japanese ink painting.
( (IP-MAT (NP-SBJ;{SESSHU} (PRO He;{he}))
(VBD;_Tn_ revolutionized;{revolutionize})
(NP-OB1 (D the;{the})
(ADJP (ADJ Japanese;{Japanese}))
(N ink;{ink})
(N painting;{painting}))
(PUNC .))
(ID 3_a_kyoto_1;BDS_00001;3))
arc(r_0003_0002__revolutionized,r_0003_0001__He,arg0).
arc(r_0003_0002__revolutionized,r_0003_0003__the_r_0003_0005__ink_r_0003_0006__painting,arg1).
arc(r_0003_0003__the_r_0003_0005__ink_r_0003_0006__painting,r_0003_0004__Japanese,attrib).
fof(formula,axiom,
? [R_0003_0001__HE,R_0003_0004__JAPANESE,R_0003_0003__THE_R_0003_0005__INK_R_0003_0006__PAINTING,R_0003_0002__REVOLUTIONIZED] :
( r_0003_0001__He(R_0003_0001__HE)
& r_0003_0004__Japanese(R_0003_0004__JAPANESE)
& r_0003_0002__revolutionized(R_0003_0002__REVOLUTIONIZED)
& has_arg1(R_0003_0002__REVOLUTIONIZED,R_0003_0003__THE_R_0003_0005__INK_R_0003_0006__PAINTING)
& r_0003_0003__the_r_0003_0005__ink_r_0003_0006__painting(R_0003_0003__THE_R_0003_0005__INK_R_0003_0006__PAINTING)
& has_attrib(R_0003_0003__THE_R_0003_0005__INK_R_0003_0006__PAINTING,R_0003_0004__JAPANESE)
& has_arg0(R_0003_0002__REVOLUTIONIZED,R_0003_0001__HE) ) ).