( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ principal;{principal}))
                  (N image;{image})
                  (PULB -LRB-)
                  (PRN (NP (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))

arc(r_0010_0001__The_r_0010_0003__image,r_0010_0002__principal,attrib).
arc(r_0010_0007__is,r_0010_0001__The_r_0010_0003__image,arg0).
arc(r_0010_0007__is,r_0010_0008__only,nim).
arc(r_0010_0007__is,r_0010_0009__Amida_r_0010_0010__Nyorai,prd).
arc(z_0010_5003,r_0010_0001__The_r_0010_0003__image,arg0).
arc(z_0010_5003,r_0010_0005__Honzon,prd).

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_0010_5003] :
      ( 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_0010_5003(Z_0010_5003)
      & has_prd(Z_0010_5003,R_0010_0005__HONZON)
      & has_arg0(Z_0010_5003,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_attrib(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_nim(R_0010_0007__IS,R_0010_0008__ONLY)
      & has_arg0(R_0010_0007__IS,R_0010_0001__THE_R_0010_0003__IMAGE) ) ).