Context                Previous, Next                Top


54_a_kyoto_2
As the background, any Buddhist knows that “all living things have Buddha-nature.”

%3 r_0054_0007__knows knows r_0054_0002__the_r_0054_0003__background the background r_0054_0007__knows->r_0054_0002__the_r_0054_0003__background As [nim] r_0054_0005__any_r_0054_0006__Buddhist any Buddhist r_0054_0007__knows->r_0054_0005__any_r_0054_0006__Buddhist [arg0] r_0054_0010__all_quant all [quant] r_0054_0007__knows->r_0054_0010__all_quant [arg1] r_0054_0008__that_r_0054_0013__have that have r_0054_0010__all_quant->r_0054_0008__that_r_0054_0013__have [scope] r_0054_0012__things things r_0054_0010__all_quant->r_0054_0012__things [restriction] r_0054_0008__that_r_0054_0013__have->r_0054_0012__things [arg0] r_0054_0014__Buddha__hyphen__nature Buddha-nature r_0054_0008__that_r_0054_0013__have->r_0054_0014__Buddha__hyphen__nature [arg1] r_0054_0011__living living r_0054_0012__things->r_0054_0011__living [attrib] 
arc(r_0054_0007__knows, r_0054_0002__the_r_0054_0003__background, r_0054_0001__As_nim5).
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_0008__that_r_0054_0013__have, r_0054_0012__things, arg0).
arc(r_0054_0008__that_r_0054_0013__have, r_0054_0014__Buddha__hyphen__nature, arg1).
arc(r_0054_0010__all_quant, r_0054_0008__that_r_0054_0013__have, scope).
arc(r_0054_0010__all_quant, r_0054_0012__things, restriction).
arc(r_0054_0012__things, r_0054_0011__living, attrib28).


%3 r_0054_0007__knows knows r_0054_0002__the_r_0054_0003__background the background r_0054_0007__knows->r_0054_0002__the_r_0054_0003__background As [nim] r_0054_0005__any_r_0054_0006__Buddhist any Buddhist r_0054_0007__knows->r_0054_0005__any_r_0054_0006__Buddhist [arg0] r_0054_0010__all_quant all [quant] r_0054_0007__knows->r_0054_0010__all_quant [arg1] r_0054_0008__that_r_0054_0013__have that have r_0054_0010__all_quant->r_0054_0008__that_r_0054_0013__have [scope] r_0054_0012__things things r_0054_0010__all_quant->r_0054_0012__things [restriction] r_0054_0008__that_r_0054_0013__have->r_0054_0012__things [arg0] r_0054_0014__Buddha__hyphen__nature Buddha-nature r_0054_0008__that_r_0054_0013__have->r_0054_0014__Buddha__hyphen__nature [arg1] r_0054_0011__living living r_0054_0012__things->r_0054_0011__living [attrib] 
fof(formula,axiom,
    ? [R_54_7_KNOWS,R_54_5_ANY_BUDDHIST,R_54_2_THE_BACKGROUND] :
      ( any_Buddhist(R_54_5_ANY_BUDDHIST)
      & the_background(R_54_2_THE_BACKGROUND)
      & ! [R_54_12_THINGS,R_54_11_LIVING] :
          ( ( living(R_54_11_LIVING)
            & things(R_54_12_THINGS)
            & attrib28(R_54_12_THINGS,R_54_11_LIVING) )
         => ? [R_54_8_THAT_HAVE,R_54_14_BUDDHA_HYPHEN_NATURE] :
              ( buddha_hyphen_nature(R_54_14_BUDDHA_HYPHEN_NATURE)
              & that_have(R_54_8_THAT_HAVE,R_54_12_THINGS,R_54_14_BUDDHA_HYPHEN_NATURE) ) )
      & arg1(ARG1)
      & knows(R_54_7_KNOWS,R_54_5_ANY_BUDDHIST)
      & as_nim5(R_54_7_KNOWS,R_54_2_THE_BACKGROUND) ) ).


n54_a_kyoto_2 n54_a_kyoto_2_4 As n54_a_kyoto_2_7 the n54_a_kyoto_2_9 background n54_a_kyoto_2_11 , n54_a_kyoto_2_14 any n54_a_kyoto_2_16 Buddhist n54_a_kyoto_2_18 knows n54_a_kyoto_2_22 that n54_a_kyoto_2_24 <ldquo> n54_a_kyoto_2_27 all n54_a_kyoto_2_30 living n54_a_kyoto_2_32 things n54_a_kyoto_2_34 have n54_a_kyoto_2_37 Buddha-nature n54_a_kyoto_2_39 . n54_a_kyoto_2_41 <rdquo> n54_a_kyoto_2_1 IP-MAT n54_a_kyoto_2_2 PP-NIM n54_a_kyoto_2_1->n54_a_kyoto_2_2 n54_a_kyoto_2_10 PUNC n54_a_kyoto_2_1->n54_a_kyoto_2_10 n54_a_kyoto_2_12 NP-SBJ n54_a_kyoto_2_1->n54_a_kyoto_2_12 n54_a_kyoto_2_17 VBP;__ n54_a_kyoto_2_1->n54_a_kyoto_2_17 n54_a_kyoto_2_19 CP-THT-OB1 n54_a_kyoto_2_1->n54_a_kyoto_2_19 n54_a_kyoto_2_38 PUNC n54_a_kyoto_2_1->n54_a_kyoto_2_38 n54_a_kyoto_2_40 PURQ n54_a_kyoto_2_1->n54_a_kyoto_2_40 n54_a_kyoto_2_3 P-ROLE n54_a_kyoto_2_2->n54_a_kyoto_2_3 n54_a_kyoto_2_5 NP n54_a_kyoto_2_2->n54_a_kyoto_2_5 n54_a_kyoto_2_3->n54_a_kyoto_2_4 n54_a_kyoto_2_6 D n54_a_kyoto_2_5->n54_a_kyoto_2_6 n54_a_kyoto_2_8 N n54_a_kyoto_2_5->n54_a_kyoto_2_8 n54_a_kyoto_2_6->n54_a_kyoto_2_7 n54_a_kyoto_2_8->n54_a_kyoto_2_9 n54_a_kyoto_2_10->n54_a_kyoto_2_11 n54_a_kyoto_2_13 D n54_a_kyoto_2_12->n54_a_kyoto_2_13 n54_a_kyoto_2_15 N n54_a_kyoto_2_12->n54_a_kyoto_2_15 n54_a_kyoto_2_13->n54_a_kyoto_2_14 n54_a_kyoto_2_15->n54_a_kyoto_2_16 n54_a_kyoto_2_17->n54_a_kyoto_2_18 n54_a_kyoto_2_20 IP-SUB n54_a_kyoto_2_19->n54_a_kyoto_2_20 n54_a_kyoto_2_21 C n54_a_kyoto_2_20->n54_a_kyoto_2_21 n54_a_kyoto_2_23 PULQ n54_a_kyoto_2_20->n54_a_kyoto_2_23 n54_a_kyoto_2_25 NP-SBJ n54_a_kyoto_2_20->n54_a_kyoto_2_25 n54_a_kyoto_2_33 HVP;_Tn_ n54_a_kyoto_2_20->n54_a_kyoto_2_33 n54_a_kyoto_2_35 NP-OB1 n54_a_kyoto_2_20->n54_a_kyoto_2_35 n54_a_kyoto_2_21->n54_a_kyoto_2_22 n54_a_kyoto_2_23->n54_a_kyoto_2_24 n54_a_kyoto_2_26 Q n54_a_kyoto_2_25->n54_a_kyoto_2_26 n54_a_kyoto_2_28 ADJP n54_a_kyoto_2_25->n54_a_kyoto_2_28 n54_a_kyoto_2_31 NS n54_a_kyoto_2_25->n54_a_kyoto_2_31 n54_a_kyoto_2_26->n54_a_kyoto_2_27 n54_a_kyoto_2_29 ADJ n54_a_kyoto_2_28->n54_a_kyoto_2_29 n54_a_kyoto_2_29->n54_a_kyoto_2_30 n54_a_kyoto_2_31->n54_a_kyoto_2_32 n54_a_kyoto_2_33->n54_a_kyoto_2_34 n54_a_kyoto_2_36 N n54_a_kyoto_2_35->n54_a_kyoto_2_36 n54_a_kyoto_2_36->n54_a_kyoto_2_37 n54_a_kyoto_2_38->n54_a_kyoto_2_39 n54_a_kyoto_2_40->n54_a_kyoto_2_41 
( (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))