54_a_kyoto_2
As the background, any Buddhist knows that “all living things have Buddha-nature.”
( (IP-MAT (PP-NIM (P-ROLE As;{as})
(NP (D the;{the})
(N background;{background})))
(PUNC ,)
(NP-SBJ (D any;{any})
(N Buddhist;{buddhist}))
(VBP;__ knows;{know})
(CP-THT-OB1 (IP-SUB (C that;{that})
(PULQ <ldquo>)
(NP-SBJ (Q all;{all})
(ADJP (ADJ living;{living}))
(NS things;{thing}))
(HVP;_Tn_ have;{have})
(NP-OB1 (N Buddha_<hyphen>_nature;{buddha_nature}))))
(PUNC .)
(PURQ <rdquo>))
(ID 54_a_kyoto_2;BDS_00002;53))
arc(r_0054_0007__knows,r_0054_0002__the_r_0054_0003__background,r_0054_0001__As__nim).
arc(r_0054_0007__knows,r_0054_0005__any_r_0054_0006__Buddhist,arg0).
arc(r_0054_0007__knows,r_0054_0010__all__quant,arg1).
arc(r_0054_0010__all__quant,r_0054_0012__things,restriction).
arc(r_0054_0010__all__quant,r_0054_0013__have,scope).
arc(r_0054_0012__things,r_0054_0011__living,attrib).
arc(r_0054_0013__have,r_0054_0012__things,arg0).
arc(r_0054_0013__have,r_0054_0014__Buddha__hyphen__nature,arg1).
fof(formula,axiom,
? [R_0054_0002__THE_R_0054_0003__BACKGROUND,R_0054_0005__ANY_R_0054_0006__BUDDHIST,R_0054_0007__KNOWS] :
( r_0054_0002__the_r_0054_0003__background(R_0054_0002__THE_R_0054_0003__BACKGROUND)
& r_0054_0005__any_r_0054_0006__Buddhist(R_0054_0005__ANY_R_0054_0006__BUDDHIST)
& r_0054_0007__knows(R_0054_0007__KNOWS)
& ! [R_0054_0012__THINGS,R_0054_0011__LIVING] :
( ( r_0054_0011__living(R_0054_0011__LIVING)
& r_0054_0012__things(R_0054_0012__THINGS)
& has_attrib(R_0054_0012__THINGS,R_0054_0011__LIVING) )
=> ? [R_0054_0014__BUDDHA__HYPHEN__NATURE,R_0054_0013__HAVE] :
( r_0054_0014__Buddha__hyphen__nature(R_0054_0014__BUDDHA__HYPHEN__NATURE)
& r_0054_0013__have(R_0054_0013__HAVE)
& has_arg1(R_0054_0013__HAVE,R_0054_0014__BUDDHA__HYPHEN__NATURE)
& has_arg0(R_0054_0013__HAVE,R_0054_0012__THINGS) ) )
& has_arg0(R_0054_0007__KNOWS,R_0054_0005__ANY_R_0054_0006__BUDDHIST)
& has_r_0054_0001__As__nim(R_0054_0007__KNOWS,R_0054_0002__THE_R_0054_0003__BACKGROUND) ) ).