Context                Previous, Next                Top


124_a_kyoto_2
Hanazono Middle School / High School

%3 z_000_124_a_kyoto_2_1 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_000_124_a_kyoto_2_1->r_0124_0001__Hanazono_r_0124_0002__Middle_r_0124_0003__School_r_0124_0005__High_r_0124_0006__School [nim] 
arc(z_000_124_a_kyoto_2_1, r_0124_0001__Hanazono_r_0124_0002__Middle_r_0124_0003__School_r_0124_0005__High_r_0124_0006__School, nim2).


%3 z_000_124_a_kyoto_2_1 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_000_124_a_kyoto_2_1->r_0124_0001__Hanazono_r_0124_0002__Middle_r_0124_0003__School_r_0124_0005__High_r_0124_0006__School [nim] 
fof(formula,axiom,
    ? [Z_124_A_KYOTO_2_1,R_124_1_HANAZONO_MIDDLE_SCHOOL_HIGH_SCHOOL] :
      ( hanazono_Middle_School_High_School(R_124_1_HANAZONO_MIDDLE_SCHOOL_HIGH_SCHOOL)
      & z_124_a_kyoto_2_1(Z_124_A_KYOTO_2_1)
      & nim2(Z_124_A_KYOTO_2_1,R_124_1_HANAZONO_MIDDLE_SCHOOL_HIGH_SCHOOL) ) ).


n124_a_kyoto_2 n124_a_kyoto_2__1_1_1_1 Hanazono n124_a_kyoto_2__1_1_2_1 Middle n124_a_kyoto_2__1_1_3_1 School n124_a_kyoto_2__1_1_4_1 <sol> n124_a_kyoto_2__1_1_5_1 High n124_a_kyoto_2__1_1_6_1 School n124_a_kyoto_2__1 FRAG n124_a_kyoto_2__1_1 NP n124_a_kyoto_2__1->n124_a_kyoto_2__1_1 n124_a_kyoto_2__1_1_1 NPR n124_a_kyoto_2__1_1->n124_a_kyoto_2__1_1_1 n124_a_kyoto_2__1_1_2 NPR n124_a_kyoto_2__1_1->n124_a_kyoto_2__1_1_2 n124_a_kyoto_2__1_1_3 NPR n124_a_kyoto_2__1_1->n124_a_kyoto_2__1_1_3 n124_a_kyoto_2__1_1_4 PUNC n124_a_kyoto_2__1_1->n124_a_kyoto_2__1_1_4 n124_a_kyoto_2__1_1_5 NPR n124_a_kyoto_2__1_1->n124_a_kyoto_2__1_1_5 n124_a_kyoto_2__1_1_6 NPR n124_a_kyoto_2__1_1->n124_a_kyoto_2__1_1_6 n124_a_kyoto_2__1_1_1->n124_a_kyoto_2__1_1_1_1 n124_a_kyoto_2__1_1_2->n124_a_kyoto_2__1_1_2_1 n124_a_kyoto_2__1_1_3->n124_a_kyoto_2__1_1_3_1 n124_a_kyoto_2__1_1_4->n124_a_kyoto_2__1_1_4_1 n124_a_kyoto_2__1_1_5->n124_a_kyoto_2__1_1_5_1 n124_a_kyoto_2__1_1_6->n124_a_kyoto_2__1_1_6_1 
( (FRAG (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))