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 z_000_51_a_kyoto_2_1 r_0051_0001__Examples Examples z_000_51_a_kyoto_2_1->r_0051_0001__Examples [nim] 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 
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__1_1_1_1 Examples n51_a_kyoto_2__1_1_2_1_1 of n51_a_kyoto_2__1_1_2_2_1_1 Koan n51_a_kyoto_2__1_1_2_2_2_1 stories n51_a_kyoto_2__1_1_2_2_3_1_1 in n51_a_kyoto_2__1_1_2_2_3_2_1_1 the n51_a_kyoto_2__1_1_2_2_3_2_2_1 beginning n51_a_kyoto_2__1_2_1 . n51_a_kyoto_2__1 FRAG n51_a_kyoto_2__1_1 NP n51_a_kyoto_2__1->n51_a_kyoto_2__1_1 n51_a_kyoto_2__1_2 PUNC n51_a_kyoto_2__1->n51_a_kyoto_2__1_2 n51_a_kyoto_2__1_1_1 NS n51_a_kyoto_2__1_1->n51_a_kyoto_2__1_1_1 n51_a_kyoto_2__1_1_2 PP n51_a_kyoto_2__1_1->n51_a_kyoto_2__1_1_2 n51_a_kyoto_2__1_1_1->n51_a_kyoto_2__1_1_1_1 n51_a_kyoto_2__1_1_2_1 P-ROLE n51_a_kyoto_2__1_1_2->n51_a_kyoto_2__1_1_2_1 n51_a_kyoto_2__1_1_2_2 NP n51_a_kyoto_2__1_1_2->n51_a_kyoto_2__1_1_2_2 n51_a_kyoto_2__1_1_2_1->n51_a_kyoto_2__1_1_2_1_1 n51_a_kyoto_2__1_1_2_2_1 N n51_a_kyoto_2__1_1_2_2->n51_a_kyoto_2__1_1_2_2_1 n51_a_kyoto_2__1_1_2_2_2 NS n51_a_kyoto_2__1_1_2_2->n51_a_kyoto_2__1_1_2_2_2 n51_a_kyoto_2__1_1_2_2_3 PP n51_a_kyoto_2__1_1_2_2->n51_a_kyoto_2__1_1_2_2_3 n51_a_kyoto_2__1_1_2_2_1->n51_a_kyoto_2__1_1_2_2_1_1 n51_a_kyoto_2__1_1_2_2_2->n51_a_kyoto_2__1_1_2_2_2_1 n51_a_kyoto_2__1_1_2_2_3_1 P-ROLE n51_a_kyoto_2__1_1_2_2_3->n51_a_kyoto_2__1_1_2_2_3_1 n51_a_kyoto_2__1_1_2_2_3_2 NP n51_a_kyoto_2__1_1_2_2_3->n51_a_kyoto_2__1_1_2_2_3_2 n51_a_kyoto_2__1_1_2_2_3_1->n51_a_kyoto_2__1_1_2_2_3_1_1 n51_a_kyoto_2__1_1_2_2_3_2_1 D n51_a_kyoto_2__1_1_2_2_3_2->n51_a_kyoto_2__1_1_2_2_3_2_1 n51_a_kyoto_2__1_1_2_2_3_2_2 N n51_a_kyoto_2__1_1_2_2_3_2->n51_a_kyoto_2__1_1_2_2_3_2_2 n51_a_kyoto_2__1_1_2_2_3_2_1->n51_a_kyoto_2__1_1_2_2_3_2_1_1 n51_a_kyoto_2__1_1_2_2_3_2_2->n51_a_kyoto_2__1_1_2_2_3_2_2_1 n51_a_kyoto_2__1_2->n51_a_kyoto_2__1_2_1 
( (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))