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_4 Hanazono n124_a_kyoto_2_6 Middle n124_a_kyoto_2_8 School n124_a_kyoto_2_10 <sol> n124_a_kyoto_2_12 High n124_a_kyoto_2_14 School n124_a_kyoto_2_1 FRAG n124_a_kyoto_2_2 NP n124_a_kyoto_2_1->n124_a_kyoto_2_2 n124_a_kyoto_2_3 NPR n124_a_kyoto_2_2->n124_a_kyoto_2_3 n124_a_kyoto_2_5 NPR n124_a_kyoto_2_2->n124_a_kyoto_2_5 n124_a_kyoto_2_7 NPR n124_a_kyoto_2_2->n124_a_kyoto_2_7 n124_a_kyoto_2_9 PUNC n124_a_kyoto_2_2->n124_a_kyoto_2_9 n124_a_kyoto_2_11 NPR n124_a_kyoto_2_2->n124_a_kyoto_2_11 n124_a_kyoto_2_13 NPR n124_a_kyoto_2_2->n124_a_kyoto_2_13 n124_a_kyoto_2_3->n124_a_kyoto_2_4 n124_a_kyoto_2_5->n124_a_kyoto_2_6 n124_a_kyoto_2_7->n124_a_kyoto_2_8 n124_a_kyoto_2_9->n124_a_kyoto_2_10 n124_a_kyoto_2_11->n124_a_kyoto_2_12 n124_a_kyoto_2_13->n124_a_kyoto_2_14 
( (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))