TSPC 31_a_kyoto

31_a_kyoto_2
Enlightenment in Zen means that all living things realize the inherent buddha nature they possess.

( (IP-MAT (NP-SBJ (N Enlightenment;{enlightenment})
                  (PP (P-ROLE in;{in})
                      (NP (NPR Zen;{Zen}))))
          (VBP;__ means;{mean})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ;{THINGS} (Q all;{all})
                                               (N living;{living})
                                               (NS things;{thing}))
                              (VBP;__ realize;{realize})
                              (NP-OB1 (D the;{the})
                                      (ADJP (ADJ inherent;{inherent}))
                                      (N buddha;{buddha})
                                      (N nature;{nature})
                                      (IP-REL (NP-OB1 *T*)
                                              (NP-SBJ;{THINGS} (PRO they;{they}))
                                              (VBP;__ possess;{possess})))))
          (PUNC .))
  (ID 31_a_kyoto_2;BDS_00002;31))

arc(r_0031_0001__Enlightenment,r_0031_0003__Zen,r_0031_0002__in).
arc(r_0031_0004__means,r_0031_0001__Enlightenment,arg0).
arc(r_0031_0004__means,r_0031_0006__all__quant,arg1).
arc(r_0031_0006__all__quant,r_0031_0007__living_r_0031_0008__things,restriction).
arc(r_0031_0006__all__quant,r_0031_0009__realize,scope).
arc(r_0031_0009__realize,r_0031_0007__living_r_0031_0008__things,arg0).
arc(r_0031_0009__realize,r_0031_0010__the_r_0031_0012__buddha_r_0031_0013__nature,arg1).
arc(r_0031_0010__the_r_0031_0012__buddha_r_0031_0013__nature,r_0031_0011__inherent,attrib).
arc(r_0031_0015__possess,r_0031_0007__living_r_0031_0008__things,arg0).
arc(r_0031_0015__possess,r_0031_0010__the_r_0031_0012__buddha_r_0031_0013__nature,inv_arg1).

fof(formula,axiom,
    ? [R_0031_0003__ZEN,R_0031_0001__ENLIGHTENMENT,R_0031_0004__MEANS] :
      ( r_0031_0003__Zen(R_0031_0003__ZEN)
      & r_0031_0004__means(R_0031_0004__MEANS)
      & ! [R_0031_0007__LIVING_R_0031_0008__THINGS] :
          ( r_0031_0007__living_r_0031_0008__things(R_0031_0007__LIVING_R_0031_0008__THINGS)
         => ? [R_0031_0011__INHERENT,R_0031_0015__POSSESS,R_0031_0010__THE_R_0031_0012__BUDDHA_R_0031_0013__NATURE,R_0031_0009__REALIZE] :
              ( r_0031_0011__inherent(R_0031_0011__INHERENT)
              & r_0031_0009__realize(R_0031_0009__REALIZE)
              & has_arg1(R_0031_0009__REALIZE,R_0031_0010__THE_R_0031_0012__BUDDHA_R_0031_0013__NATURE)
              & r_0031_0010__the_r_0031_0012__buddha_r_0031_0013__nature(R_0031_0010__THE_R_0031_0012__BUDDHA_R_0031_0013__NATURE)
              & has_inv_arg1(R_0031_0010__THE_R_0031_0012__BUDDHA_R_0031_0013__NATURE,R_0031_0015__POSSESS)
              & r_0031_0015__possess(R_0031_0015__POSSESS)
              & has_arg0(R_0031_0015__POSSESS,R_0031_0007__LIVING_R_0031_0008__THINGS)
              & has_attrib(R_0031_0010__THE_R_0031_0012__BUDDHA_R_0031_0013__NATURE,R_0031_0011__INHERENT)
              & has_arg0(R_0031_0009__REALIZE,R_0031_0007__LIVING_R_0031_0008__THINGS) ) )
      & has_arg0(R_0031_0004__MEANS,R_0031_0001__ENLIGHTENMENT)
      & r_0031_0001__Enlightenment(R_0031_0001__ENLIGHTENMENT)
      & has_r_0031_0002__in(R_0031_0001__ENLIGHTENMENT,R_0031_0003__ZEN) ) ).