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_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] 
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_4 Koan n50_a_kyoto_2_6 system n50_a_kyoto_2_8 differs n50_a_kyoto_2_11 according_to n50_a_kyoto_2_15 the n50_a_kyoto_2_17 master n50_a_kyoto_2_19 's n50_a_kyoto_2_21 style n50_a_kyoto_2_23 . n50_a_kyoto_2_1 IP-MAT n50_a_kyoto_2_2 NP-SBJ n50_a_kyoto_2_1->n50_a_kyoto_2_2 n50_a_kyoto_2_7 VBP;__ n50_a_kyoto_2_1->n50_a_kyoto_2_7 n50_a_kyoto_2_9 PP-NIM n50_a_kyoto_2_1->n50_a_kyoto_2_9 n50_a_kyoto_2_22 PUNC n50_a_kyoto_2_1->n50_a_kyoto_2_22 n50_a_kyoto_2_3 N n50_a_kyoto_2_2->n50_a_kyoto_2_3 n50_a_kyoto_2_5 N n50_a_kyoto_2_2->n50_a_kyoto_2_5 n50_a_kyoto_2_3->n50_a_kyoto_2_4 n50_a_kyoto_2_5->n50_a_kyoto_2_6 n50_a_kyoto_2_7->n50_a_kyoto_2_8 n50_a_kyoto_2_10 P-ROLE n50_a_kyoto_2_9->n50_a_kyoto_2_10 n50_a_kyoto_2_12 NP n50_a_kyoto_2_9->n50_a_kyoto_2_12 n50_a_kyoto_2_10->n50_a_kyoto_2_11 n50_a_kyoto_2_13 NP-GEN n50_a_kyoto_2_12->n50_a_kyoto_2_13 n50_a_kyoto_2_20 N n50_a_kyoto_2_12->n50_a_kyoto_2_20 n50_a_kyoto_2_14 D n50_a_kyoto_2_13->n50_a_kyoto_2_14 n50_a_kyoto_2_16 N n50_a_kyoto_2_13->n50_a_kyoto_2_16 n50_a_kyoto_2_18 GENM n50_a_kyoto_2_13->n50_a_kyoto_2_18 n50_a_kyoto_2_14->n50_a_kyoto_2_15 n50_a_kyoto_2_16->n50_a_kyoto_2_17 n50_a_kyoto_2_18->n50_a_kyoto_2_19 n50_a_kyoto_2_20->n50_a_kyoto_2_21 n50_a_kyoto_2_22->n50_a_kyoto_2_23 
( (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))