Context                Previous, Next                Top


52_a_kyoto_2
“Does a dog have buddha-nature?”

%3 r_0052_0002__Does_r_0052_0005__have Does have r_0052_0003__a_r_0052_0004__dog a dog r_0052_0002__Does_r_0052_0005__have->r_0052_0003__a_r_0052_0004__dog [arg0] r_0052_0006__buddha__hyphen__nature buddha-nature r_0052_0002__Does_r_0052_0005__have->r_0052_0006__buddha__hyphen__nature [arg1] 
arc(r_0052_0002__Does_r_0052_0005__have, r_0052_0003__a_r_0052_0004__dog, arg0).
arc(r_0052_0002__Does_r_0052_0005__have, r_0052_0006__buddha__hyphen__nature, arg1).


%3 r_0052_0002__Does_r_0052_0005__have Does have r_0052_0003__a_r_0052_0004__dog a dog r_0052_0002__Does_r_0052_0005__have->r_0052_0003__a_r_0052_0004__dog [arg0] r_0052_0006__buddha__hyphen__nature buddha-nature r_0052_0002__Does_r_0052_0005__have->r_0052_0006__buddha__hyphen__nature [arg1] 
fof(formula,axiom,
    ? [R_52_2_DOES_HAVE,R_52_3_A_DOG,R_52_6_BUDDHA_HYPHEN_NATURE] :
      ( a_dog(R_52_3_A_DOG)
      & buddha_hyphen_nature(R_52_6_BUDDHA_HYPHEN_NATURE)
      & does_have(R_52_2_DOES_HAVE,R_52_3_A_DOG,R_52_6_BUDDHA_HYPHEN_NATURE) ) ).


n52_a_kyoto_2 n52_a_kyoto_2_3 <ldquo> n52_a_kyoto_2_6 Does n52_a_kyoto_2_9 a n52_a_kyoto_2_11 dog n52_a_kyoto_2_13 have n52_a_kyoto_2_16 buddha-nature n52_a_kyoto_2_18 ? n52_a_kyoto_2_20 <rdquo> n52_a_kyoto_2_1 CP-QUE-MAT n52_a_kyoto_2_2 PULQ n52_a_kyoto_2_1->n52_a_kyoto_2_2 n52_a_kyoto_2_4 IP-SUB n52_a_kyoto_2_1->n52_a_kyoto_2_4 n52_a_kyoto_2_17 PUNC n52_a_kyoto_2_1->n52_a_kyoto_2_17 n52_a_kyoto_2_19 PURQ n52_a_kyoto_2_1->n52_a_kyoto_2_19 n52_a_kyoto_2_2->n52_a_kyoto_2_3 n52_a_kyoto_2_5 DOP n52_a_kyoto_2_4->n52_a_kyoto_2_5 n52_a_kyoto_2_7 NP-SBJ n52_a_kyoto_2_4->n52_a_kyoto_2_7 n52_a_kyoto_2_12 HV;_Tn_ n52_a_kyoto_2_4->n52_a_kyoto_2_12 n52_a_kyoto_2_14 NP-OB1 n52_a_kyoto_2_4->n52_a_kyoto_2_14 n52_a_kyoto_2_5->n52_a_kyoto_2_6 n52_a_kyoto_2_8 D n52_a_kyoto_2_7->n52_a_kyoto_2_8 n52_a_kyoto_2_10 N n52_a_kyoto_2_7->n52_a_kyoto_2_10 n52_a_kyoto_2_8->n52_a_kyoto_2_9 n52_a_kyoto_2_10->n52_a_kyoto_2_11 n52_a_kyoto_2_12->n52_a_kyoto_2_13 n52_a_kyoto_2_15 N n52_a_kyoto_2_14->n52_a_kyoto_2_15 n52_a_kyoto_2_15->n52_a_kyoto_2_16 n52_a_kyoto_2_17->n52_a_kyoto_2_18 n52_a_kyoto_2_19->n52_a_kyoto_2_20 
( (CP-QUE-MAT (PULQ <ldquo>)
              (IP-SUB (DOP Does;{do})
                      (NP-SBJ (D a;{a})
                              (N dog;{dog}))
                      (HV;_Tn_ have;{have})
                      (NP-OB1 (N buddha_<hyphen>_nature;{buddha_nature})))
              (PUNC ?)
              (PURQ <rdquo>))
  (ID 52_a_kyoto_2;BDS_00002;52))