( (NP (ADJP (ADJ Affiliated;{affiliated}))
      (ADJP (ADJ Educational;{educational}))
      (NS Institutions;{institution}))
  (ID 121_a_kyoto_2;BDS_00002;120))

arc(r_0121_0003__Institutions,r_0121_0001__Affiliated,attrib).
arc(r_0121_0003__Institutions,r_0121_0002__Educational,attrib).
arc(z_0121_5006,r_0121_0003__Institutions,z_0121_5002).

fof(formula,axiom,
    ? [R_0121_0001__AFFILIATED,R_0121_0002__EDUCATIONAL,R_0121_0003__INSTITUTIONS,Z_0121_5006] :
      ( r_0121_0001__Affiliated(R_0121_0001__AFFILIATED)
      & r_0121_0002__Educational(R_0121_0002__EDUCATIONAL)
      & z_0121_5006(Z_0121_5006)
      & has_z_0121_5002(Z_0121_5006,R_0121_0003__INSTITUTIONS)
      & r_0121_0003__Institutions(R_0121_0003__INSTITUTIONS)
      & has_attrib(R_0121_0003__INSTITUTIONS,R_0121_0002__EDUCATIONAL)
      & has_attrib(R_0121_0003__INSTITUTIONS,R_0121_0001__AFFILIATED) ) ).