Context                Previous, Next                Top


122_a_kyoto_2
Hanazono University

n122_a_kyoto_2 n122_a_kyoto_2__1_1_1 Hanazono n122_a_kyoto_2__1_2_1 University n122_a_kyoto_2__1 NP n122_a_kyoto_2__1_1 NPR n122_a_kyoto_2__1->n122_a_kyoto_2__1_1 n122_a_kyoto_2__1_2 NPR n122_a_kyoto_2__1->n122_a_kyoto_2__1_2 n122_a_kyoto_2__1_1->n122_a_kyoto_2__1_1_1 n122_a_kyoto_2__1_2->n122_a_kyoto_2__1_2_1 
( (NP (NPR Hanazono;{Hanazono})
      (NPR University;{University}))
  (ID 122_a_kyoto_2;BDS_00002;121))


%3 z_0122_5003 r_0122_0001__Hanazono_r_0122_0002__University Hanazono University z_0122_5003->r_0122_0001__Hanazono_r_0122_0002__University 
arc(z_0122_5003,r_0122_0001__Hanazono_r_0122_0002__University,z_0122_5002).


%3 z_0122_5003 r_0122_0001__Hanazono_r_0122_0002__University Hanazono University z_0122_5003->r_0122_0001__Hanazono_r_0122_0002__University 
fof(formula,axiom,
    ? [R_0122_0001__HANAZONO_R_0122_0002__UNIVERSITY,Z_0122_5003] :
      ( r_0122_0001__Hanazono_r_0122_0002__University(R_0122_0001__HANAZONO_R_0122_0002__UNIVERSITY)
      & z_0122_5003(Z_0122_5003)
      & has_z_0122_5002(Z_0122_5003,R_0122_0001__HANAZONO_R_0122_0002__UNIVERSITY) ) ).