Context                Previous, Next                Top


124_a_kyoto_2
Hanazono Middle School / High School

n124_a_kyoto_2 n124_a_kyoto_2__1_1_1 Hanazono n124_a_kyoto_2__1_2_1 Middle n124_a_kyoto_2__1_3_1 School n124_a_kyoto_2__1_4_1 <sol> n124_a_kyoto_2__1_5_1 High n124_a_kyoto_2__1_6_1 School n124_a_kyoto_2__1 NP n124_a_kyoto_2__1_1 NPR n124_a_kyoto_2__1->n124_a_kyoto_2__1_1 n124_a_kyoto_2__1_2 NPR n124_a_kyoto_2__1->n124_a_kyoto_2__1_2 n124_a_kyoto_2__1_3 NPR n124_a_kyoto_2__1->n124_a_kyoto_2__1_3 n124_a_kyoto_2__1_4 PUNC n124_a_kyoto_2__1->n124_a_kyoto_2__1_4 n124_a_kyoto_2__1_5 NPR n124_a_kyoto_2__1->n124_a_kyoto_2__1_5 n124_a_kyoto_2__1_6 NPR n124_a_kyoto_2__1->n124_a_kyoto_2__1_6 n124_a_kyoto_2__1_1->n124_a_kyoto_2__1_1_1 n124_a_kyoto_2__1_2->n124_a_kyoto_2__1_2_1 n124_a_kyoto_2__1_3->n124_a_kyoto_2__1_3_1 n124_a_kyoto_2__1_4->n124_a_kyoto_2__1_4_1 n124_a_kyoto_2__1_5->n124_a_kyoto_2__1_5_1 n124_a_kyoto_2__1_6->n124_a_kyoto_2__1_6_1 
( (NP (NPR Hanazono;{Hanazono})
      (NPR Middle;{Middle})
      (NPR School;{School})
      (PUNC <sol>)
      (NPR High;{High})
      (NPR School;{School}))
  (ID 124_a_kyoto_2;BDS_00002;123))


%3 z_0124_5003 r_0124_0001__Hanazono_r_0124_0002__Middle_r_0124_0003__School_r_0124_0005__High_r_0124_0006__School Hanazono Middle School High School z_0124_5003->r_0124_0001__Hanazono_r_0124_0002__Middle_r_0124_0003__School_r_0124_0005__High_r_0124_0006__School 
arc(z_0124_5003,r_0124_0001__Hanazono_r_0124_0002__Middle_r_0124_0003__School_r_0124_0005__High_r_0124_0006__School,z_0124_5002).


%3 z_0124_5003 r_0124_0001__Hanazono_r_0124_0002__Middle_r_0124_0003__School_r_0124_0005__High_r_0124_0006__School Hanazono Middle School High School z_0124_5003->r_0124_0001__Hanazono_r_0124_0002__Middle_r_0124_0003__School_r_0124_0005__High_r_0124_0006__School 
fof(formula,axiom,
    ? [R_0124_0001__HANAZONO_R_0124_0002__MIDDLE_R_0124_0003__SCHOOL_R_0124_0005__HIGH_R_0124_0006__SCHOOL,Z_0124_5003] :
      ( r_0124_0001__Hanazono_r_0124_0002__Middle_r_0124_0003__School_r_0124_0005__High_r_0124_0006__School(R_0124_0001__HANAZONO_R_0124_0002__MIDDLE_R_0124_0003__SCHOOL_R_0124_0005__HIGH_R_0124_0006__SCHOOL)
      & z_0124_5003(Z_0124_5003)
      & has_z_0124_5002(Z_0124_5003,R_0124_0001__HANAZONO_R_0124_0002__MIDDLE_R_0124_0003__SCHOOL_R_0124_0005__HIGH_R_0124_0006__SCHOOL) ) ).