Context                Previous, Next                Top


123_a_kyoto_2
Shogen Junior College

n123_a_kyoto_2 n123_a_kyoto_2__1_1_1 Shogen n123_a_kyoto_2__1_2_1 Junior n123_a_kyoto_2__1_3_1 College n123_a_kyoto_2__1 NP n123_a_kyoto_2__1_1 NPR n123_a_kyoto_2__1->n123_a_kyoto_2__1_1 n123_a_kyoto_2__1_2 NPR n123_a_kyoto_2__1->n123_a_kyoto_2__1_2 n123_a_kyoto_2__1_3 NPR n123_a_kyoto_2__1->n123_a_kyoto_2__1_3 n123_a_kyoto_2__1_1->n123_a_kyoto_2__1_1_1 n123_a_kyoto_2__1_2->n123_a_kyoto_2__1_2_1 n123_a_kyoto_2__1_3->n123_a_kyoto_2__1_3_1 
( (NP (NPR Shogen;{Shogen})
      (NPR Junior;{Junior})
      (NPR College;{College}))
  (ID 123_a_kyoto_2;BDS_00002;122))


%3 z_0123_5003 r_0123_0001__Shogen_r_0123_0002__Junior_r_0123_0003__College Shogen Junior College z_0123_5003->r_0123_0001__Shogen_r_0123_0002__Junior_r_0123_0003__College 
arc(z_0123_5003,r_0123_0001__Shogen_r_0123_0002__Junior_r_0123_0003__College,z_0123_5002).


%3 z_0123_5003 r_0123_0001__Shogen_r_0123_0002__Junior_r_0123_0003__College Shogen Junior College z_0123_5003->r_0123_0001__Shogen_r_0123_0002__Junior_r_0123_0003__College 
fof(formula,axiom,
    ? [R_0123_0001__SHOGEN_R_0123_0002__JUNIOR_R_0123_0003__COLLEGE,Z_0123_5003] :
      ( r_0123_0001__Shogen_r_0123_0002__Junior_r_0123_0003__College(R_0123_0001__SHOGEN_R_0123_0002__JUNIOR_R_0123_0003__COLLEGE)
      & z_0123_5003(Z_0123_5003)
      & has_z_0123_5002(Z_0123_5003,R_0123_0001__SHOGEN_R_0123_0002__JUNIOR_R_0123_0003__COLLEGE) ) ).