Context                Previous, Next                Top


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

n52_a_kyoto_2 n52_a_kyoto_2__1_1_1 <ldquo> n52_a_kyoto_2__1_2_1_1 Does n52_a_kyoto_2__1_2_2_1_1 a n52_a_kyoto_2__1_2_2_2_1 dog n52_a_kyoto_2__1_2_3_1 have n52_a_kyoto_2__1_2_4_1_1 buddha-nature n52_a_kyoto_2__1_3_1 ? n52_a_kyoto_2__1_4_1 <rdquo> n52_a_kyoto_2__1 CP-QUE-MAT n52_a_kyoto_2__1_1 PULQ n52_a_kyoto_2__1->n52_a_kyoto_2__1_1 n52_a_kyoto_2__1_2 IP-SUB n52_a_kyoto_2__1->n52_a_kyoto_2__1_2 n52_a_kyoto_2__1_3 PUNC n52_a_kyoto_2__1->n52_a_kyoto_2__1_3 n52_a_kyoto_2__1_4 PURQ n52_a_kyoto_2__1->n52_a_kyoto_2__1_4 n52_a_kyoto_2__1_1->n52_a_kyoto_2__1_1_1 n52_a_kyoto_2__1_2_1 DOP n52_a_kyoto_2__1_2->n52_a_kyoto_2__1_2_1 n52_a_kyoto_2__1_2_2 NP-SBJ n52_a_kyoto_2__1_2->n52_a_kyoto_2__1_2_2 n52_a_kyoto_2__1_2_3 HV;_Tn_ n52_a_kyoto_2__1_2->n52_a_kyoto_2__1_2_3 n52_a_kyoto_2__1_2_4 NP-OB1 n52_a_kyoto_2__1_2->n52_a_kyoto_2__1_2_4 n52_a_kyoto_2__1_2_1->n52_a_kyoto_2__1_2_1_1 n52_a_kyoto_2__1_2_2_1 D n52_a_kyoto_2__1_2_2->n52_a_kyoto_2__1_2_2_1 n52_a_kyoto_2__1_2_2_2 N n52_a_kyoto_2__1_2_2->n52_a_kyoto_2__1_2_2_2 n52_a_kyoto_2__1_2_2_1->n52_a_kyoto_2__1_2_2_1_1 n52_a_kyoto_2__1_2_2_2->n52_a_kyoto_2__1_2_2_2_1 n52_a_kyoto_2__1_2_3->n52_a_kyoto_2__1_2_3_1 n52_a_kyoto_2__1_2_4_1 N n52_a_kyoto_2__1_2_4->n52_a_kyoto_2__1_2_4_1 n52_a_kyoto_2__1_2_4_1->n52_a_kyoto_2__1_2_4_1_1 n52_a_kyoto_2__1_3->n52_a_kyoto_2__1_3_1 n52_a_kyoto_2__1_4->n52_a_kyoto_2__1_4_1 
( (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))


%3 r_0052_0002__Does_r_0052_0005__have Does have r_0052_0006__buddha__hyphen__nature buddha-nature r_0052_0002__Does_r_0052_0005__have->r_0052_0006__buddha__hyphen__nature [arg1] 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] 
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_0052_0003__A_R_0052_0004__DOG,R_0052_0006__BUDDHA__HYPHEN__NATURE,R_0052_0002__DOES_R_0052_0005__HAVE] :
      ( r_0052_0003__a_r_0052_0004__dog(R_0052_0003__A_R_0052_0004__DOG)
      & r_0052_0006__buddha__hyphen__nature(R_0052_0006__BUDDHA__HYPHEN__NATURE)
      & r_0052_0002__Does_r_0052_0005__have(R_0052_0002__DOES_R_0052_0005__HAVE)
      & has_arg1(R_0052_0002__DOES_R_0052_0005__HAVE,R_0052_0006__BUDDHA__HYPHEN__NATURE)
      & has_arg0(R_0052_0002__DOES_R_0052_0005__HAVE,R_0052_0003__A_R_0052_0004__DOG) ) ).