Context                Previous, Next                Top


51_a_kyoto_2
Examples of Koan stories in the beginning.

%3 r_0051_0001__Examples Examples r_0051_0003__Koan_r_0051_0004__stories Koan stories r_0051_0001__Examples->r_0051_0003__Koan_r_0051_0004__stories of r_0051_0006__the_r_0051_0007__beginning the beginning r_0051_0003__Koan_r_0051_0004__stories->r_0051_0006__the_r_0051_0007__beginning in z_000_51_a_kyoto_2_1 z_000_51_a_kyoto_2_1->r_0051_0001__Examples [nim] 
arc(r_0051_0001__Examples, r_0051_0003__Koan_r_0051_0004__stories, r_0051_0002__of).
arc(r_0051_0003__Koan_r_0051_0004__stories, r_0051_0006__the_r_0051_0007__beginning, r_0051_0005__in).
arc(z_000_51_a_kyoto_2_1, r_0051_0001__Examples, nim2).


%3 r_0051_0001__Examples Examples r_0051_0003__Koan_r_0051_0004__stories Koan stories r_0051_0001__Examples->r_0051_0003__Koan_r_0051_0004__stories of r_0051_0006__the_r_0051_0007__beginning the beginning r_0051_0003__Koan_r_0051_0004__stories->r_0051_0006__the_r_0051_0007__beginning in z_000_51_a_kyoto_2_1 z_000_51_a_kyoto_2_1->r_0051_0001__Examples [nim] 
fof(formula,axiom,
    ? [Z_51_A_KYOTO_2_1,R_51_1_EXAMPLES,R_51_3_KOAN_STORIES,R_51_6_THE_BEGINNING] :
      ( the_beginning(R_51_6_THE_BEGINNING)
      & z_51_a_kyoto_2_1(Z_51_A_KYOTO_2_1)
      & nim2(Z_51_A_KYOTO_2_1,R_51_1_EXAMPLES)
      & examples(R_51_1_EXAMPLES)
      & of(R_51_1_EXAMPLES,R_51_3_KOAN_STORIES)
      & koan_stories(R_51_3_KOAN_STORIES)
      & in(R_51_3_KOAN_STORIES,R_51_6_THE_BEGINNING) ) ).


n51_a_kyoto_2 n51_a_kyoto_2_4 Examples n51_a_kyoto_2_7 of n51_a_kyoto_2_10 Koan n51_a_kyoto_2_12 stories n51_a_kyoto_2_15 in n51_a_kyoto_2_18 the n51_a_kyoto_2_20 beginning n51_a_kyoto_2_22 . n51_a_kyoto_2_1 FRAG n51_a_kyoto_2_2 NP n51_a_kyoto_2_1->n51_a_kyoto_2_2 n51_a_kyoto_2_21 PUNC n51_a_kyoto_2_1->n51_a_kyoto_2_21 n51_a_kyoto_2_3 NS n51_a_kyoto_2_2->n51_a_kyoto_2_3 n51_a_kyoto_2_5 PP n51_a_kyoto_2_2->n51_a_kyoto_2_5 n51_a_kyoto_2_3->n51_a_kyoto_2_4 n51_a_kyoto_2_6 P-ROLE n51_a_kyoto_2_5->n51_a_kyoto_2_6 n51_a_kyoto_2_8 NP n51_a_kyoto_2_5->n51_a_kyoto_2_8 n51_a_kyoto_2_6->n51_a_kyoto_2_7 n51_a_kyoto_2_9 N n51_a_kyoto_2_8->n51_a_kyoto_2_9 n51_a_kyoto_2_11 NS n51_a_kyoto_2_8->n51_a_kyoto_2_11 n51_a_kyoto_2_13 PP n51_a_kyoto_2_8->n51_a_kyoto_2_13 n51_a_kyoto_2_9->n51_a_kyoto_2_10 n51_a_kyoto_2_11->n51_a_kyoto_2_12 n51_a_kyoto_2_14 P-ROLE n51_a_kyoto_2_13->n51_a_kyoto_2_14 n51_a_kyoto_2_16 NP n51_a_kyoto_2_13->n51_a_kyoto_2_16 n51_a_kyoto_2_14->n51_a_kyoto_2_15 n51_a_kyoto_2_17 D n51_a_kyoto_2_16->n51_a_kyoto_2_17 n51_a_kyoto_2_19 N n51_a_kyoto_2_16->n51_a_kyoto_2_19 n51_a_kyoto_2_17->n51_a_kyoto_2_18 n51_a_kyoto_2_19->n51_a_kyoto_2_20 n51_a_kyoto_2_21->n51_a_kyoto_2_22 
( (FRAG (NP (NS Examples;{example})
            (PP (P-ROLE of;{of})
                (NP (N Koan;{koan})
                    (NS stories;{story})
                    (PP (P-ROLE in;{in})
                        (NP (D the;{the})
                            (N beginning;{beginning}))))))
        (PUNC .))
  (ID 51_a_kyoto_2;BDS_00002;51))