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 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] 
fof(formula,axiom,
    ? [R_10_7_IS,R_10_8_ONLY,R_10_9_AMIDA_NYORAI,Z_10_A_KYOTO_3_12,R_10_1_THE_IMAGE,R_10_2_PRINCIPAL,R_10_5_HONZON] :
      ( only(R_10_8_ONLY)
      & amida_Nyorai(R_10_9_AMIDA_NYORAI)
      & principal(R_10_2_PRINCIPAL)
      & honzon(R_10_5_HONZON)
      & is(R_10_7_IS,R_10_1_THE_IMAGE,R_10_9_AMIDA_NYORAI)
      & the_image(R_10_1_THE_IMAGE)
      & attrib5(R_10_1_THE_IMAGE,R_10_2_PRINCIPAL)
      & nim20(R_10_7_IS,R_10_8_ONLY)
      & z_10_a_kyoto_3_12(Z_10_A_KYOTO_3_12,R_10_1_THE_IMAGE,R_10_5_HONZON) ) ).


n10_a_kyoto_3 n10_a_kyoto_3_4 The n10_a_kyoto_3_7 principal n10_a_kyoto_3_9 image n10_a_kyoto_3_11 -LRB- n10_a_kyoto_3_15 Honzon n10_a_kyoto_3_17 -RRB- n10_a_kyoto_3_19 is n10_a_kyoto_3_22 only n10_a_kyoto_3_25 Amida n10_a_kyoto_3_27 Nyorai n10_a_kyoto_3_29 . n10_a_kyoto_3_1 IP-MAT n10_a_kyoto_3_2 NP-SBJ n10_a_kyoto_3_1->n10_a_kyoto_3_2 n10_a_kyoto_3_18 BEP;_Ln_ n10_a_kyoto_3_1->n10_a_kyoto_3_18 n10_a_kyoto_3_20 ADVP-NIM n10_a_kyoto_3_1->n10_a_kyoto_3_20 n10_a_kyoto_3_23 NP-PRD n10_a_kyoto_3_1->n10_a_kyoto_3_23 n10_a_kyoto_3_28 PUNC n10_a_kyoto_3_1->n10_a_kyoto_3_28 n10_a_kyoto_3_3 D n10_a_kyoto_3_2->n10_a_kyoto_3_3 n10_a_kyoto_3_5 ADJP n10_a_kyoto_3_2->n10_a_kyoto_3_5 n10_a_kyoto_3_8 N n10_a_kyoto_3_2->n10_a_kyoto_3_8 n10_a_kyoto_3_10 PULB n10_a_kyoto_3_2->n10_a_kyoto_3_10 n10_a_kyoto_3_12 IP-PPL n10_a_kyoto_3_2->n10_a_kyoto_3_12 n10_a_kyoto_3_16 PURB n10_a_kyoto_3_2->n10_a_kyoto_3_16 n10_a_kyoto_3_3->n10_a_kyoto_3_4 n10_a_kyoto_3_6 ADJ n10_a_kyoto_3_5->n10_a_kyoto_3_6 n10_a_kyoto_3_6->n10_a_kyoto_3_7 n10_a_kyoto_3_8->n10_a_kyoto_3_9 n10_a_kyoto_3_10->n10_a_kyoto_3_11 n10_a_kyoto_3_13 NP-PRD n10_a_kyoto_3_12->n10_a_kyoto_3_13 n10_a_kyoto_3_14 NPR n10_a_kyoto_3_13->n10_a_kyoto_3_14 n10_a_kyoto_3_14->n10_a_kyoto_3_15 n10_a_kyoto_3_16->n10_a_kyoto_3_17 n10_a_kyoto_3_18->n10_a_kyoto_3_19 n10_a_kyoto_3_21 ADV n10_a_kyoto_3_20->n10_a_kyoto_3_21 n10_a_kyoto_3_21->n10_a_kyoto_3_22 n10_a_kyoto_3_24 NPR n10_a_kyoto_3_23->n10_a_kyoto_3_24 n10_a_kyoto_3_26 NPR n10_a_kyoto_3_23->n10_a_kyoto_3_26 n10_a_kyoto_3_24->n10_a_kyoto_3_25 n10_a_kyoto_3_26->n10_a_kyoto_3_27 n10_a_kyoto_3_28->n10_a_kyoto_3_29 
( (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))