47_a_kyoto_2
Most Koan are made up of conversations between a master and disciple, telling the truth of the moment when the disciple gained enlightenment.

%3 r_0047_0001__Most_quant Most [quant] r_0047_0002__Koan Koan r_0047_0001__Most_quant->r_0047_0002__Koan [restriction] r_0047_0003__are are r_0047_0001__Most_quant->r_0047_0003__are [scope] r_0047_0004__made_r_0047_0005__up made up r_0047_0003__are->r_0047_0004__made_r_0047_0005__up [scope] r_0047_0004__made_r_0047_0005__up->r_0047_0002__Koan [arg1] r_0047_0007__conversations conversations r_0047_0004__made_r_0047_0005__up->r_0047_0007__conversations of [clr] z_000_47_a_kyoto_2_10 r_0047_0004__made_r_0047_0005__up->z_000_47_a_kyoto_2_10 [arg0] r_0047_0011__and and r_0047_0007__conversations->r_0047_0011__and between r_0047_0009__a_r_0047_0010__master a master r_0047_0011__and->r_0047_0009__a_r_0047_0010__master [conj1] r_0047_0012__disciple disciple r_0047_0011__and->r_0047_0012__disciple [conj2] r_0047_0014__telling telling r_0047_0014__telling->r_0047_0007__conversations [arg0] r_0047_0015__the_r_0047_0016__truth the truth r_0047_0014__telling->r_0047_0015__the_r_0047_0016__truth [arg1] r_0047_0018__the_r_0047_0019__moment the moment r_0047_0015__the_r_0047_0016__truth->r_0047_0018__the_r_0047_0019__moment of r_0047_0023__gained gained r_0047_0023__gained->r_0047_0018__the_r_0047_0019__moment [nim] r_0047_0021__the_r_0047_0022__disciple the disciple r_0047_0023__gained->r_0047_0021__the_r_0047_0022__disciple [arg0] r_0047_0024__enlightenment enlightenment r_0047_0023__gained->r_0047_0024__enlightenment [arg1]
arc(r_0047_0001__Most_quant, r_0047_0002__Koan, restriction).
arc(r_0047_0001__Most_quant, r_0047_0003__are, scope).
arc(r_0047_0003__are, r_0047_0004__made_r_0047_0005__up, scope).
arc(r_0047_0004__made_r_0047_0005__up, r_0047_0002__Koan, arg1).
arc(r_0047_0004__made_r_0047_0005__up, r_0047_0007__conversations, r_0047_0006__of_clr19).
arc(r_0047_0004__made_r_0047_0005__up, z_000_47_a_kyoto_2_10, arg0).
arc(r_0047_0007__conversations, r_0047_0011__and, r_0047_0008__between).
arc(r_0047_0011__and, r_0047_0009__a_r_0047_0010__master, conj1).
arc(r_0047_0011__and, r_0047_0012__disciple, conj2).
arc(r_0047_0014__telling, r_0047_0007__conversations, arg0).
arc(r_0047_0014__telling, r_0047_0015__the_r_0047_0016__truth, arg1).
arc(r_0047_0015__the_r_0047_0016__truth, r_0047_0018__the_r_0047_0019__moment, r_0047_0017__of).
arc(r_0047_0023__gained, r_0047_0018__the_r_0047_0019__moment, nim57).
arc(r_0047_0023__gained, r_0047_0021__the_r_0047_0022__disciple, arg0).
arc(r_0047_0023__gained, r_0047_0024__enlightenment, arg1).



%3 r_0047_0001__Most_quant Most [quant] r_0047_0002__Koan Koan r_0047_0001__Most_quant->r_0047_0002__Koan [restriction] r_0047_0003__are_r_0047_0004__made_r_0047_0005__up are made up r_0047_0001__Most_quant->r_0047_0003__are_r_0047_0004__made_r_0047_0005__up [scope] r_0047_0003__are_r_0047_0004__made_r_0047_0005__up->r_0047_0002__Koan [arg1] r_0047_0007__conversations conversations r_0047_0003__are_r_0047_0004__made_r_0047_0005__up->r_0047_0007__conversations of [clr] z_000_47_a_kyoto_2_10 r_0047_0003__are_r_0047_0004__made_r_0047_0005__up->z_000_47_a_kyoto_2_10 [arg0] r_0047_0011__and and r_0047_0007__conversations->r_0047_0011__and between r_0047_0009__a_r_0047_0010__master a master r_0047_0011__and->r_0047_0009__a_r_0047_0010__master [conj1] r_0047_0012__disciple disciple r_0047_0011__and->r_0047_0012__disciple [conj2] r_0047_0014__telling telling r_0047_0014__telling->r_0047_0007__conversations [arg0] r_0047_0015__the_r_0047_0016__truth the truth r_0047_0014__telling->r_0047_0015__the_r_0047_0016__truth [arg1] r_0047_0018__the_r_0047_0019__moment the moment r_0047_0015__the_r_0047_0016__truth->r_0047_0018__the_r_0047_0019__moment of r_0047_0023__gained gained r_0047_0023__gained->r_0047_0018__the_r_0047_0019__moment [nim] r_0047_0021__the_r_0047_0022__disciple the disciple r_0047_0023__gained->r_0047_0021__the_r_0047_0022__disciple [arg0] r_0047_0024__enlightenment enlightenment r_0047_0023__gained->r_0047_0024__enlightenment [arg1]
fof(formula,axiom,
    ? [R_47_14_TELLING,R_47_7_CONVERSATIONS,R_47_11_AND,R_47_9_A_MASTER,R_47_12_DISCIPLE,R_47_15_THE_TRUTH,R_47_23_GAINED,R_47_21_THE_DISCIPLE,R_47_24_ENLIGHTENMENT,R_47_18_THE_MOMENT] :
      ( a_master(R_47_9_A_MASTER)
      & disciple(R_47_12_DISCIPLE)
      & the_disciple(R_47_21_THE_DISCIPLE)
      & enlightenment(R_47_24_ENLIGHTENMENT)
      & the_moment(R_47_18_THE_MOMENT)
      & ! [R_47_2_KOAN] :
          ( koan(R_47_2_KOAN)
         => ? [R_47_3_ARE_MADE_UP,Z_47_A_KYOTO_2_10] :
              ( are_made_up(R_47_3_ARE_MADE_UP,Z_47_A_KYOTO_2_10,R_47_2_KOAN)
              & of_clr19(R_47_3_ARE_MADE_UP,R_47_7_CONVERSATIONS) ) )
      & telling(R_47_14_TELLING,R_47_7_CONVERSATIONS,R_47_15_THE_TRUTH)
      & conversations(R_47_7_CONVERSATIONS)
      & between(R_47_7_CONVERSATIONS,R_47_11_AND)
      & and(R_47_11_AND)
      & conj1(R_47_11_AND,R_47_9_A_MASTER)
      & conj2(R_47_11_AND,R_47_12_DISCIPLE)
      & the_truth(R_47_15_THE_TRUTH)
      & of(R_47_15_THE_TRUTH,R_47_18_THE_MOMENT)
      & gained(R_47_23_GAINED,R_47_21_THE_DISCIPLE,R_47_24_ENLIGHTENMENT)
      & nim57(R_47_23_GAINED,R_47_18_THE_MOMENT) ) ).



n47_a_kyoto_2 n47_a_kyoto_2_4 Most n47_a_kyoto_2_6 Koan n47_a_kyoto_2_8 are n47_a_kyoto_2_11 * n47_a_kyoto_2_13 made n47_a_kyoto_2_15 up n47_a_kyoto_2_18 of n47_a_kyoto_2_21 conversations n47_a_kyoto_2_24 between n47_a_kyoto_2_29 a n47_a_kyoto_2_31 master n47_a_kyoto_2_34 and n47_a_kyoto_2_37 disciple n47_a_kyoto_2_39 , n47_a_kyoto_2_42 telling n47_a_kyoto_2_45 the n47_a_kyoto_2_47 truth n47_a_kyoto_2_50 of n47_a_kyoto_2_53 the n47_a_kyoto_2_55 moment n47_a_kyoto_2_59 when n47_a_kyoto_2_62 the n47_a_kyoto_2_64 disciple n47_a_kyoto_2_66 gained n47_a_kyoto_2_69 enlightenment n47_a_kyoto_2_71 . n47_a_kyoto_2_1 IP-MAT n47_a_kyoto_2_2 NP-SBJ n47_a_kyoto_2_1->n47_a_kyoto_2_2 n47_a_kyoto_2_7 BEP;_cat_VePASS_ n47_a_kyoto_2_1->n47_a_kyoto_2_7 n47_a_kyoto_2_9 IP-PPL-CAT n47_a_kyoto_2_1->n47_a_kyoto_2_9 n47_a_kyoto_2_70 PUNC n47_a_kyoto_2_1->n47_a_kyoto_2_70 n47_a_kyoto_2_3 Q n47_a_kyoto_2_2->n47_a_kyoto_2_3 n47_a_kyoto_2_5 N n47_a_kyoto_2_2->n47_a_kyoto_2_5 n47_a_kyoto_2_3->n47_a_kyoto_2_4 n47_a_kyoto_2_5->n47_a_kyoto_2_6 n47_a_kyoto_2_7->n47_a_kyoto_2_8 n47_a_kyoto_2_10 NP-LGS n47_a_kyoto_2_9->n47_a_kyoto_2_10 n47_a_kyoto_2_12 VVN;__ n47_a_kyoto_2_9->n47_a_kyoto_2_12 n47_a_kyoto_2_14 RP n47_a_kyoto_2_9->n47_a_kyoto_2_14 n47_a_kyoto_2_16 PP-CLR n47_a_kyoto_2_9->n47_a_kyoto_2_16 n47_a_kyoto_2_10->n47_a_kyoto_2_11 n47_a_kyoto_2_12->n47_a_kyoto_2_13 n47_a_kyoto_2_14->n47_a_kyoto_2_15 n47_a_kyoto_2_17 P-ROLE n47_a_kyoto_2_16->n47_a_kyoto_2_17 n47_a_kyoto_2_19 NP n47_a_kyoto_2_16->n47_a_kyoto_2_19 n47_a_kyoto_2_17->n47_a_kyoto_2_18 n47_a_kyoto_2_20 NS n47_a_kyoto_2_19->n47_a_kyoto_2_20 n47_a_kyoto_2_22 PP n47_a_kyoto_2_19->n47_a_kyoto_2_22 n47_a_kyoto_2_38 PUNC n47_a_kyoto_2_19->n47_a_kyoto_2_38 n47_a_kyoto_2_40 IP-PPL n47_a_kyoto_2_19->n47_a_kyoto_2_40 n47_a_kyoto_2_20->n47_a_kyoto_2_21 n47_a_kyoto_2_23 P-ROLE n47_a_kyoto_2_22->n47_a_kyoto_2_23 n47_a_kyoto_2_25 NP n47_a_kyoto_2_22->n47_a_kyoto_2_25 n47_a_kyoto_2_23->n47_a_kyoto_2_24 n47_a_kyoto_2_26 NLYR n47_a_kyoto_2_25->n47_a_kyoto_2_26 n47_a_kyoto_2_27 NLYR n47_a_kyoto_2_26->n47_a_kyoto_2_27 n47_a_kyoto_2_32 CONJP n47_a_kyoto_2_26->n47_a_kyoto_2_32 n47_a_kyoto_2_28 D n47_a_kyoto_2_27->n47_a_kyoto_2_28 n47_a_kyoto_2_30 N n47_a_kyoto_2_27->n47_a_kyoto_2_30 n47_a_kyoto_2_28->n47_a_kyoto_2_29 n47_a_kyoto_2_30->n47_a_kyoto_2_31 n47_a_kyoto_2_33 CONJ n47_a_kyoto_2_32->n47_a_kyoto_2_33 n47_a_kyoto_2_35 NLYR n47_a_kyoto_2_32->n47_a_kyoto_2_35 n47_a_kyoto_2_33->n47_a_kyoto_2_34 n47_a_kyoto_2_36 N n47_a_kyoto_2_35->n47_a_kyoto_2_36 n47_a_kyoto_2_36->n47_a_kyoto_2_37 n47_a_kyoto_2_38->n47_a_kyoto_2_39 n47_a_kyoto_2_41 VAG;__ n47_a_kyoto_2_40->n47_a_kyoto_2_41 n47_a_kyoto_2_43 NP-OB1 n47_a_kyoto_2_40->n47_a_kyoto_2_43 n47_a_kyoto_2_41->n47_a_kyoto_2_42 n47_a_kyoto_2_44 D n47_a_kyoto_2_43->n47_a_kyoto_2_44 n47_a_kyoto_2_46 N n47_a_kyoto_2_43->n47_a_kyoto_2_46 n47_a_kyoto_2_48 PP n47_a_kyoto_2_43->n47_a_kyoto_2_48 n47_a_kyoto_2_44->n47_a_kyoto_2_45 n47_a_kyoto_2_46->n47_a_kyoto_2_47 n47_a_kyoto_2_49 P-ROLE n47_a_kyoto_2_48->n47_a_kyoto_2_49 n47_a_kyoto_2_51 NP n47_a_kyoto_2_48->n47_a_kyoto_2_51 n47_a_kyoto_2_49->n47_a_kyoto_2_50 n47_a_kyoto_2_52 D n47_a_kyoto_2_51->n47_a_kyoto_2_52 n47_a_kyoto_2_54 N n47_a_kyoto_2_51->n47_a_kyoto_2_54 n47_a_kyoto_2_56 IP-REL n47_a_kyoto_2_51->n47_a_kyoto_2_56 n47_a_kyoto_2_52->n47_a_kyoto_2_53 n47_a_kyoto_2_54->n47_a_kyoto_2_55 n47_a_kyoto_2_57 ADVP-NIM n47_a_kyoto_2_56->n47_a_kyoto_2_57 n47_a_kyoto_2_60 NP-SBJ n47_a_kyoto_2_56->n47_a_kyoto_2_60 n47_a_kyoto_2_65 VBD;__ n47_a_kyoto_2_56->n47_a_kyoto_2_65 n47_a_kyoto_2_67 NP-OB1 n47_a_kyoto_2_56->n47_a_kyoto_2_67 n47_a_kyoto_2_58 RADV n47_a_kyoto_2_57->n47_a_kyoto_2_58 n47_a_kyoto_2_58->n47_a_kyoto_2_59 n47_a_kyoto_2_61 D n47_a_kyoto_2_60->n47_a_kyoto_2_61 n47_a_kyoto_2_63 N n47_a_kyoto_2_60->n47_a_kyoto_2_63 n47_a_kyoto_2_61->n47_a_kyoto_2_62 n47_a_kyoto_2_63->n47_a_kyoto_2_64 n47_a_kyoto_2_65->n47_a_kyoto_2_66 n47_a_kyoto_2_68 N n47_a_kyoto_2_67->n47_a_kyoto_2_68 n47_a_kyoto_2_68->n47_a_kyoto_2_69 n47_a_kyoto_2_70->n47_a_kyoto_2_71
( (IP-MAT (NP-SBJ (Q Most;{most})
                  (N Koan;{koan}))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;__ made;{make})
                      (RP up;{up})
                      (PP-CLR (P-ROLE of;{of})
                              (NP (NS conversations;{conversation})
                                  (PP (P-ROLE between;{between})
                                      (NP (NLYR (NLYR (D a;{a})
                                                      (N master;{master}))
                                                (CONJP (CONJ and;{and})
                                                       (NLYR (N disciple;{disciple}))))))
                                  (PUNC ,)
                                  (IP-PPL (VAG;__ telling;{tell})
                                          (NP-OB1 (D the;{the})
                                                  (N truth;{truth})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (D the;{the})
                                                          (N moment;{moment})
                                                          (IP-REL (ADVP-NIM (RADV when;{when}))
                                                                  (NP-SBJ (D the;{the})
                                                                          (N disciple;{disciple}))
                                                                  (VBD;__ gained;{gain})
                                                                  (NP-OB1 (N enlightenment;{enlightenment}))))))))))
          (PUNC .))
  (ID 47_a_kyoto_2;BDS_00002;47))