Context                Previous, Next                Top


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

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))


%3 r_0050_0008__style style r_0050_0005__the_r_0050_0006__master the master r_0050_0008__style->r_0050_0005__the_r_0050_0006__master [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] 
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__nim).
arc(r_0050_0008__style,r_0050_0005__the_r_0050_0006__master,gen).


%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 the master r_0050_0008__style->r_0050_0005__the_r_0050_0006__master [gen] 
fof(formula,axiom,
    ? [R_0050_0001__KOAN_R_0050_0002__SYSTEM,R_0050_0005__THE_R_0050_0006__MASTER,R_0050_0008__STYLE,R_0050_0003__DIFFERS] :
      ( r_0050_0001__Koan_r_0050_0002__system(R_0050_0001__KOAN_R_0050_0002__SYSTEM)
      & r_0050_0005__the_r_0050_0006__master(R_0050_0005__THE_R_0050_0006__MASTER)
      & r_0050_0003__differs(R_0050_0003__DIFFERS)
      & has_r_0050_0004__according_to__nim(R_0050_0003__DIFFERS,R_0050_0008__STYLE)
      & r_0050_0008__style(R_0050_0008__STYLE)
      & has_gen(R_0050_0008__STYLE,R_0050_0005__THE_R_0050_0006__MASTER)
      & has_arg0(R_0050_0003__DIFFERS,R_0050_0001__KOAN_R_0050_0002__SYSTEM) ) ).