Context                Previous, Next                Top


10_a_kyoto_3
The principal image (Honzon) is only Amida Nyorai.

%3 r_0010_0001__The_r_0010_0003__image The image r_0010_0002__principal principal r_0010_0001__The_r_0010_0003__image->r_0010_0002__principal [attrib] r_0010_0007__is is r_0010_0007__is->r_0010_0001__The_r_0010_0003__image [arg0] r_0010_0008__only only r_0010_0007__is->r_0010_0008__only [nim] r_0010_0009__Amida_r_0010_0010__Nyorai Amida Nyorai r_0010_0007__is->r_0010_0009__Amida_r_0010_0010__Nyorai [prd] z_000_10_a_kyoto_3_12 z_000_10_a_kyoto_3_12->r_0010_0001__The_r_0010_0003__image [arg0] r_0010_0005__Honzon Honzon z_000_10_a_kyoto_3_12->r_0010_0005__Honzon [prd] 
arc(r_0010_0001__The_r_0010_0003__image, r_0010_0002__principal, attrib5).
arc(r_0010_0007__is, r_0010_0001__The_r_0010_0003__image, arg0).
arc(r_0010_0007__is, r_0010_0008__only, nim20).
arc(r_0010_0007__is, r_0010_0009__Amida_r_0010_0010__Nyorai, prd).
arc(z_000_10_a_kyoto_3_12, r_0010_0001__The_r_0010_0003__image, arg0).
arc(z_000_10_a_kyoto_3_12, r_0010_0005__Honzon, prd).


%3 z_000_10_a_kyoto_3_12 r_0010_0005__Honzon Honzon z_000_10_a_kyoto_3_12->r_0010_0005__Honzon [prd] r_0010_0001__The_r_0010_0003__image The image z_000_10_a_kyoto_3_12->r_0010_0001__The_r_0010_0003__image [arg0] r_0010_0002__principal principal r_0010_0001__The_r_0010_0003__image->r_0010_0002__principal [attrib] r_0010_0007__is is r_0010_0007__is->r_0010_0001__The_r_0010_0003__image [arg0] r_0010_0009__Amida_r_0010_0010__Nyorai Amida Nyorai r_0010_0007__is->r_0010_0009__Amida_r_0010_0010__Nyorai [prd] r_0010_0008__only only r_0010_0007__is->r_0010_0008__only [nim] 
fof(formula,axiom,
    ? [R_0010_0002__PRINCIPAL,R_0010_0001__THE_R_0010_0003__IMAGE,R_0010_0008__ONLY,R_0010_0009__AMIDA_R_0010_0010__NYORAI,R_0010_0007__IS,R_0010_0005__HONZON,Z_000_10_A_KYOTO_3_12] :
      ( r_0010_0002__principal(R_0010_0002__PRINCIPAL)
      & r_0010_0005__Honzon(R_0010_0005__HONZON)
      & r_0010_0008__only(R_0010_0008__ONLY)
      & r_0010_0009__Amida_r_0010_0010__Nyorai(R_0010_0009__AMIDA_R_0010_0010__NYORAI)
      & z_000_10_a_kyoto_3_12(Z_000_10_A_KYOTO_3_12)
      & has_prd(Z_000_10_A_KYOTO_3_12,R_0010_0005__HONZON)
      & has_arg0(Z_000_10_A_KYOTO_3_12,R_0010_0001__THE_R_0010_0003__IMAGE)
      & r_0010_0001__The_r_0010_0003__image(R_0010_0001__THE_R_0010_0003__IMAGE)
      & has_attrib5(R_0010_0001__THE_R_0010_0003__IMAGE,R_0010_0002__PRINCIPAL)
      & r_0010_0007__is(R_0010_0007__IS)
      & has_prd(R_0010_0007__IS,R_0010_0009__AMIDA_R_0010_0010__NYORAI)
      & has_nim20(R_0010_0007__IS,R_0010_0008__ONLY)
      & has_arg0(R_0010_0007__IS,R_0010_0001__THE_R_0010_0003__IMAGE) ) ).


n10_a_kyoto_3 n10_a_kyoto_3__1_1_1_1 The n10_a_kyoto_3__1_1_2_1_1 principal n10_a_kyoto_3__1_1_3_1 image n10_a_kyoto_3__1_1_4_1 -LRB- n10_a_kyoto_3__1_1_5_1_1_1 Honzon n10_a_kyoto_3__1_1_6_1 -RRB- n10_a_kyoto_3__1_2_1 is n10_a_kyoto_3__1_3_1_1 only n10_a_kyoto_3__1_4_1_1 Amida n10_a_kyoto_3__1_4_2_1 Nyorai n10_a_kyoto_3__1_5_1 . n10_a_kyoto_3__1 IP-MAT n10_a_kyoto_3__1_1 NP-SBJ n10_a_kyoto_3__1->n10_a_kyoto_3__1_1 n10_a_kyoto_3__1_2 BEP;_Ln_ n10_a_kyoto_3__1->n10_a_kyoto_3__1_2 n10_a_kyoto_3__1_3 ADVP-NIM n10_a_kyoto_3__1->n10_a_kyoto_3__1_3 n10_a_kyoto_3__1_4 NP-PRD n10_a_kyoto_3__1->n10_a_kyoto_3__1_4 n10_a_kyoto_3__1_5 PUNC n10_a_kyoto_3__1->n10_a_kyoto_3__1_5 n10_a_kyoto_3__1_1_1 D n10_a_kyoto_3__1_1->n10_a_kyoto_3__1_1_1 n10_a_kyoto_3__1_1_2 ADJP n10_a_kyoto_3__1_1->n10_a_kyoto_3__1_1_2 n10_a_kyoto_3__1_1_3 N n10_a_kyoto_3__1_1->n10_a_kyoto_3__1_1_3 n10_a_kyoto_3__1_1_4 PULB n10_a_kyoto_3__1_1->n10_a_kyoto_3__1_1_4 n10_a_kyoto_3__1_1_5 IP-PPL n10_a_kyoto_3__1_1->n10_a_kyoto_3__1_1_5 n10_a_kyoto_3__1_1_6 PURB n10_a_kyoto_3__1_1->n10_a_kyoto_3__1_1_6 n10_a_kyoto_3__1_1_1->n10_a_kyoto_3__1_1_1_1 n10_a_kyoto_3__1_1_2_1 ADJ n10_a_kyoto_3__1_1_2->n10_a_kyoto_3__1_1_2_1 n10_a_kyoto_3__1_1_2_1->n10_a_kyoto_3__1_1_2_1_1 n10_a_kyoto_3__1_1_3->n10_a_kyoto_3__1_1_3_1 n10_a_kyoto_3__1_1_4->n10_a_kyoto_3__1_1_4_1 n10_a_kyoto_3__1_1_5_1 NP-PRD n10_a_kyoto_3__1_1_5->n10_a_kyoto_3__1_1_5_1 n10_a_kyoto_3__1_1_5_1_1 NPR n10_a_kyoto_3__1_1_5_1->n10_a_kyoto_3__1_1_5_1_1 n10_a_kyoto_3__1_1_5_1_1->n10_a_kyoto_3__1_1_5_1_1_1 n10_a_kyoto_3__1_1_6->n10_a_kyoto_3__1_1_6_1 n10_a_kyoto_3__1_2->n10_a_kyoto_3__1_2_1 n10_a_kyoto_3__1_3_1 ADV n10_a_kyoto_3__1_3->n10_a_kyoto_3__1_3_1 n10_a_kyoto_3__1_3_1->n10_a_kyoto_3__1_3_1_1 n10_a_kyoto_3__1_4_1 NPR n10_a_kyoto_3__1_4->n10_a_kyoto_3__1_4_1 n10_a_kyoto_3__1_4_2 NPR n10_a_kyoto_3__1_4->n10_a_kyoto_3__1_4_2 n10_a_kyoto_3__1_4_1->n10_a_kyoto_3__1_4_1_1 n10_a_kyoto_3__1_4_2->n10_a_kyoto_3__1_4_2_1 n10_a_kyoto_3__1_5->n10_a_kyoto_3__1_5_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ principal;{principal}))
                  (N image;{image})
                  (PULB -LRB-)
                  (IP-PPL (NP-PRD (NPR Honzon;{Honzon})))
                  (PURB -RRB-))
          (BEP;_Ln_ is;{be})
          (ADVP-NIM (ADV only;{only}))
          (NP-PRD (NPR Amida;{Amida})
                  (NPR Nyorai;{Nyorai}))
          (PUNC .))
  (ID 10_a_kyoto_3;BDS_00003;14))