Context                Previous, Next                Top


50_a_kyoto_2
Koan system differs according to the master's style.

%3 r_0050_0003__differs differs r_0050_0001__Koan_r_0050_0002__system Koan system r_0050_0003__differs->r_0050_0001__Koan_r_0050_0002__system [arg0] r_0050_0008__style style r_0050_0003__differs->r_0050_0008__style according to [nim] r_0050_0005__the_r_0050_0006__master_r_0050_0007___apos_s the master 's r_0050_0008__style->r_0050_0005__the_r_0050_0006__master_r_0050_0007___apos_s [gen] 
arc(r_0050_0003__differs, r_0050_0001__Koan_r_0050_0002__system, arg0).
arc(r_0050_0003__differs, r_0050_0008__style, r_0050_0004__according_to_nim12).
arc(r_0050_0008__style, r_0050_0005__the_r_0050_0006__master_r_0050_0007___apos_s, gen).


%3 r_0050_0008__style style r_0050_0005__the_r_0050_0006__master_r_0050_0007___apos_s the master 's r_0050_0008__style->r_0050_0005__the_r_0050_0006__master_r_0050_0007___apos_s [gen] r_0050_0003__differs differs r_0050_0003__differs->r_0050_0008__style according to [nim] r_0050_0001__Koan_r_0050_0002__system Koan system r_0050_0003__differs->r_0050_0001__Koan_r_0050_0002__system [arg0] 
fof(formula,axiom,
    ? [R_50_3_DIFFERS,R_50_1_KOAN_SYSTEM,R_50_8_STYLE,R_50_5_THE_MASTER_APOS_S] :
      ( koan_system(R_50_1_KOAN_SYSTEM)
      & the_master_apos_s(R_50_5_THE_MASTER_APOS_S)
      & differs(R_50_3_DIFFERS,R_50_1_KOAN_SYSTEM)
      & according_to_nim12(R_50_3_DIFFERS,R_50_8_STYLE)
      & style(R_50_8_STYLE)
      & gen(R_50_8_STYLE,R_50_5_THE_MASTER_APOS_S) ) ).


n50_a_kyoto_2 n50_a_kyoto_2__1_1_1_1 Koan n50_a_kyoto_2__1_1_2_1 system n50_a_kyoto_2__1_2_1 differs n50_a_kyoto_2__1_3_1_1 according_to n50_a_kyoto_2__1_3_2_1_1_1 the n50_a_kyoto_2__1_3_2_1_2_1 master n50_a_kyoto_2__1_3_2_1_3_1 's n50_a_kyoto_2__1_3_2_2_1 style n50_a_kyoto_2__1_4_1 . n50_a_kyoto_2__1 IP-MAT n50_a_kyoto_2__1_1 NP-SBJ n50_a_kyoto_2__1->n50_a_kyoto_2__1_1 n50_a_kyoto_2__1_2 VBP;__ n50_a_kyoto_2__1->n50_a_kyoto_2__1_2 n50_a_kyoto_2__1_3 PP-NIM n50_a_kyoto_2__1->n50_a_kyoto_2__1_3 n50_a_kyoto_2__1_4 PUNC n50_a_kyoto_2__1->n50_a_kyoto_2__1_4 n50_a_kyoto_2__1_1_1 N n50_a_kyoto_2__1_1->n50_a_kyoto_2__1_1_1 n50_a_kyoto_2__1_1_2 N n50_a_kyoto_2__1_1->n50_a_kyoto_2__1_1_2 n50_a_kyoto_2__1_1_1->n50_a_kyoto_2__1_1_1_1 n50_a_kyoto_2__1_1_2->n50_a_kyoto_2__1_1_2_1 n50_a_kyoto_2__1_2->n50_a_kyoto_2__1_2_1 n50_a_kyoto_2__1_3_1 P-ROLE n50_a_kyoto_2__1_3->n50_a_kyoto_2__1_3_1 n50_a_kyoto_2__1_3_2 NP n50_a_kyoto_2__1_3->n50_a_kyoto_2__1_3_2 n50_a_kyoto_2__1_3_1->n50_a_kyoto_2__1_3_1_1 n50_a_kyoto_2__1_3_2_1 NP-GEN n50_a_kyoto_2__1_3_2->n50_a_kyoto_2__1_3_2_1 n50_a_kyoto_2__1_3_2_2 N n50_a_kyoto_2__1_3_2->n50_a_kyoto_2__1_3_2_2 n50_a_kyoto_2__1_3_2_1_1 D n50_a_kyoto_2__1_3_2_1->n50_a_kyoto_2__1_3_2_1_1 n50_a_kyoto_2__1_3_2_1_2 N n50_a_kyoto_2__1_3_2_1->n50_a_kyoto_2__1_3_2_1_2 n50_a_kyoto_2__1_3_2_1_3 GENM n50_a_kyoto_2__1_3_2_1->n50_a_kyoto_2__1_3_2_1_3 n50_a_kyoto_2__1_3_2_1_1->n50_a_kyoto_2__1_3_2_1_1_1 n50_a_kyoto_2__1_3_2_1_2->n50_a_kyoto_2__1_3_2_1_2_1 n50_a_kyoto_2__1_3_2_1_3->n50_a_kyoto_2__1_3_2_1_3_1 n50_a_kyoto_2__1_3_2_2->n50_a_kyoto_2__1_3_2_2_1 n50_a_kyoto_2__1_4->n50_a_kyoto_2__1_4_1 
( (IP-MAT (NP-SBJ (N Koan;{koan})
                  (N system;{system}))
          (VBP;__ differs;{differ})
          (PP-NIM (P-ROLE according_to;{according_to})
                  (NP (NP-GEN (D the;{the})
                              (N master;{master})
                              (GENM <apos>s))
                      (N style;{style})))
          (PUNC .))
  (ID 50_a_kyoto_2;BDS_00002;50))