Context                Previous, Next                Top


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.

n47_a_kyoto_2 n47_a_kyoto_2__1_1_1_1 Most n47_a_kyoto_2__1_1_2_1 Koan n47_a_kyoto_2__1_2_1 are n47_a_kyoto_2__1_3_1_1 * n47_a_kyoto_2__1_3_2_1 made n47_a_kyoto_2__1_3_3_1 up n47_a_kyoto_2__1_3_4_1_1 of n47_a_kyoto_2__1_3_4_2_1_1 conversations n47_a_kyoto_2__1_3_4_2_2_1_1 between n47_a_kyoto_2__1_3_4_2_2_2_1_1_1_1 a n47_a_kyoto_2__1_3_4_2_2_2_1_1_2_1 master n47_a_kyoto_2__1_3_4_2_2_2_1_2_1_1 and n47_a_kyoto_2__1_3_4_2_2_2_1_2_2_1_1 disciple n47_a_kyoto_2__1_3_4_2_3_1 , n47_a_kyoto_2__1_3_4_2_4_1_1 telling n47_a_kyoto_2__1_3_4_2_4_2_1_1 the n47_a_kyoto_2__1_3_4_2_4_2_2_1 truth n47_a_kyoto_2__1_3_4_2_4_2_3_1_1 of n47_a_kyoto_2__1_3_4_2_4_2_3_2_1_1 the n47_a_kyoto_2__1_3_4_2_4_2_3_2_2_1 moment n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_1_1_1 when n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_2_1_1 the n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_2_2_1 disciple n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_3_1 gained n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_4_1_1 enlightenment n47_a_kyoto_2__1_4_1 . n47_a_kyoto_2__1 IP-MAT n47_a_kyoto_2__1_1 NP-SBJ n47_a_kyoto_2__1->n47_a_kyoto_2__1_1 n47_a_kyoto_2__1_2 BEP;_cat_VePASS_ n47_a_kyoto_2__1->n47_a_kyoto_2__1_2 n47_a_kyoto_2__1_3 IP-PPL-CAT n47_a_kyoto_2__1->n47_a_kyoto_2__1_3 n47_a_kyoto_2__1_4 PUNC n47_a_kyoto_2__1->n47_a_kyoto_2__1_4 n47_a_kyoto_2__1_1_1 Q n47_a_kyoto_2__1_1->n47_a_kyoto_2__1_1_1 n47_a_kyoto_2__1_1_2 N n47_a_kyoto_2__1_1->n47_a_kyoto_2__1_1_2 n47_a_kyoto_2__1_1_1->n47_a_kyoto_2__1_1_1_1 n47_a_kyoto_2__1_1_2->n47_a_kyoto_2__1_1_2_1 n47_a_kyoto_2__1_2->n47_a_kyoto_2__1_2_1 n47_a_kyoto_2__1_3_1 NP-LGS n47_a_kyoto_2__1_3->n47_a_kyoto_2__1_3_1 n47_a_kyoto_2__1_3_2 VVN;__ n47_a_kyoto_2__1_3->n47_a_kyoto_2__1_3_2 n47_a_kyoto_2__1_3_3 RP n47_a_kyoto_2__1_3->n47_a_kyoto_2__1_3_3 n47_a_kyoto_2__1_3_4 PP-CLR n47_a_kyoto_2__1_3->n47_a_kyoto_2__1_3_4 n47_a_kyoto_2__1_3_1->n47_a_kyoto_2__1_3_1_1 n47_a_kyoto_2__1_3_2->n47_a_kyoto_2__1_3_2_1 n47_a_kyoto_2__1_3_3->n47_a_kyoto_2__1_3_3_1 n47_a_kyoto_2__1_3_4_1 P-ROLE n47_a_kyoto_2__1_3_4->n47_a_kyoto_2__1_3_4_1 n47_a_kyoto_2__1_3_4_2 NP n47_a_kyoto_2__1_3_4->n47_a_kyoto_2__1_3_4_2 n47_a_kyoto_2__1_3_4_1->n47_a_kyoto_2__1_3_4_1_1 n47_a_kyoto_2__1_3_4_2_1 NS n47_a_kyoto_2__1_3_4_2->n47_a_kyoto_2__1_3_4_2_1 n47_a_kyoto_2__1_3_4_2_2 PP n47_a_kyoto_2__1_3_4_2->n47_a_kyoto_2__1_3_4_2_2 n47_a_kyoto_2__1_3_4_2_3 PUNC n47_a_kyoto_2__1_3_4_2->n47_a_kyoto_2__1_3_4_2_3 n47_a_kyoto_2__1_3_4_2_4 IP-PPL n47_a_kyoto_2__1_3_4_2->n47_a_kyoto_2__1_3_4_2_4 n47_a_kyoto_2__1_3_4_2_1->n47_a_kyoto_2__1_3_4_2_1_1 n47_a_kyoto_2__1_3_4_2_2_1 P-ROLE n47_a_kyoto_2__1_3_4_2_2->n47_a_kyoto_2__1_3_4_2_2_1 n47_a_kyoto_2__1_3_4_2_2_2 NP n47_a_kyoto_2__1_3_4_2_2->n47_a_kyoto_2__1_3_4_2_2_2 n47_a_kyoto_2__1_3_4_2_2_1->n47_a_kyoto_2__1_3_4_2_2_1_1 n47_a_kyoto_2__1_3_4_2_2_2_1 NLYR n47_a_kyoto_2__1_3_4_2_2_2->n47_a_kyoto_2__1_3_4_2_2_2_1 n47_a_kyoto_2__1_3_4_2_2_2_1_1 NLYR n47_a_kyoto_2__1_3_4_2_2_2_1->n47_a_kyoto_2__1_3_4_2_2_2_1_1 n47_a_kyoto_2__1_3_4_2_2_2_1_2 CONJP n47_a_kyoto_2__1_3_4_2_2_2_1->n47_a_kyoto_2__1_3_4_2_2_2_1_2 n47_a_kyoto_2__1_3_4_2_2_2_1_1_1 D n47_a_kyoto_2__1_3_4_2_2_2_1_1->n47_a_kyoto_2__1_3_4_2_2_2_1_1_1 n47_a_kyoto_2__1_3_4_2_2_2_1_1_2 N n47_a_kyoto_2__1_3_4_2_2_2_1_1->n47_a_kyoto_2__1_3_4_2_2_2_1_1_2 n47_a_kyoto_2__1_3_4_2_2_2_1_1_1->n47_a_kyoto_2__1_3_4_2_2_2_1_1_1_1 n47_a_kyoto_2__1_3_4_2_2_2_1_1_2->n47_a_kyoto_2__1_3_4_2_2_2_1_1_2_1 n47_a_kyoto_2__1_3_4_2_2_2_1_2_1 CONJ n47_a_kyoto_2__1_3_4_2_2_2_1_2->n47_a_kyoto_2__1_3_4_2_2_2_1_2_1 n47_a_kyoto_2__1_3_4_2_2_2_1_2_2 NLYR n47_a_kyoto_2__1_3_4_2_2_2_1_2->n47_a_kyoto_2__1_3_4_2_2_2_1_2_2 n47_a_kyoto_2__1_3_4_2_2_2_1_2_1->n47_a_kyoto_2__1_3_4_2_2_2_1_2_1_1 n47_a_kyoto_2__1_3_4_2_2_2_1_2_2_1 N n47_a_kyoto_2__1_3_4_2_2_2_1_2_2->n47_a_kyoto_2__1_3_4_2_2_2_1_2_2_1 n47_a_kyoto_2__1_3_4_2_2_2_1_2_2_1->n47_a_kyoto_2__1_3_4_2_2_2_1_2_2_1_1 n47_a_kyoto_2__1_3_4_2_3->n47_a_kyoto_2__1_3_4_2_3_1 n47_a_kyoto_2__1_3_4_2_4_1 VAG;__ n47_a_kyoto_2__1_3_4_2_4->n47_a_kyoto_2__1_3_4_2_4_1 n47_a_kyoto_2__1_3_4_2_4_2 NP-OB1 n47_a_kyoto_2__1_3_4_2_4->n47_a_kyoto_2__1_3_4_2_4_2 n47_a_kyoto_2__1_3_4_2_4_1->n47_a_kyoto_2__1_3_4_2_4_1_1 n47_a_kyoto_2__1_3_4_2_4_2_1 D n47_a_kyoto_2__1_3_4_2_4_2->n47_a_kyoto_2__1_3_4_2_4_2_1 n47_a_kyoto_2__1_3_4_2_4_2_2 N n47_a_kyoto_2__1_3_4_2_4_2->n47_a_kyoto_2__1_3_4_2_4_2_2 n47_a_kyoto_2__1_3_4_2_4_2_3 PP n47_a_kyoto_2__1_3_4_2_4_2->n47_a_kyoto_2__1_3_4_2_4_2_3 n47_a_kyoto_2__1_3_4_2_4_2_1->n47_a_kyoto_2__1_3_4_2_4_2_1_1 n47_a_kyoto_2__1_3_4_2_4_2_2->n47_a_kyoto_2__1_3_4_2_4_2_2_1 n47_a_kyoto_2__1_3_4_2_4_2_3_1 P-ROLE n47_a_kyoto_2__1_3_4_2_4_2_3->n47_a_kyoto_2__1_3_4_2_4_2_3_1 n47_a_kyoto_2__1_3_4_2_4_2_3_2 NP n47_a_kyoto_2__1_3_4_2_4_2_3->n47_a_kyoto_2__1_3_4_2_4_2_3_2 n47_a_kyoto_2__1_3_4_2_4_2_3_1->n47_a_kyoto_2__1_3_4_2_4_2_3_1_1 n47_a_kyoto_2__1_3_4_2_4_2_3_2_1 D n47_a_kyoto_2__1_3_4_2_4_2_3_2->n47_a_kyoto_2__1_3_4_2_4_2_3_2_1 n47_a_kyoto_2__1_3_4_2_4_2_3_2_2 N n47_a_kyoto_2__1_3_4_2_4_2_3_2->n47_a_kyoto_2__1_3_4_2_4_2_3_2_2 n47_a_kyoto_2__1_3_4_2_4_2_3_2_3 IP-REL n47_a_kyoto_2__1_3_4_2_4_2_3_2->n47_a_kyoto_2__1_3_4_2_4_2_3_2_3 n47_a_kyoto_2__1_3_4_2_4_2_3_2_1->n47_a_kyoto_2__1_3_4_2_4_2_3_2_1_1 n47_a_kyoto_2__1_3_4_2_4_2_3_2_2->n47_a_kyoto_2__1_3_4_2_4_2_3_2_2_1 n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_1 ADVP-NIM n47_a_kyoto_2__1_3_4_2_4_2_3_2_3->n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_1 n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_2 NP-SBJ n47_a_kyoto_2__1_3_4_2_4_2_3_2_3->n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_2 n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_3 VBD;__ n47_a_kyoto_2__1_3_4_2_4_2_3_2_3->n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_3 n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_4 NP-OB1 n47_a_kyoto_2__1_3_4_2_4_2_3_2_3->n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_4 n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_1_1 RADV n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_1->n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_1_1 n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_1_1->n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_1_1_1 n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_2_1 D n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_2->n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_2_1 n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_2_2 N n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_2->n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_2_2 n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_2_1->n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_2_1_1 n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_2_2->n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_2_2_1 n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_3->n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_3_1 n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_4_1 N n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_4->n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_4_1 n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_4_1->n47_a_kyoto_2__1_3_4_2_4_2_3_2_3_4_1_1 n47_a_kyoto_2__1_4->n47_a_kyoto_2__1_4_1 
( (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))


%3 r_0047_0023__gained gained r_0047_0024__enlightenment enlightenment r_0047_0023__gained->r_0047_0024__enlightenment [arg1] 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_0018__the_r_0047_0019__moment the moment r_0047_0023__gained->r_0047_0018__the_r_0047_0019__moment [nim] r_0047_0015__the_r_0047_0016__truth the truth r_0047_0015__the_r_0047_0016__truth->r_0047_0018__the_r_0047_0019__moment of r_0047_0014__telling telling r_0047_0014__telling->r_0047_0015__the_r_0047_0016__truth [arg1] r_0047_0007__conversations conversations r_0047_0014__telling->r_0047_0007__conversations [inv_arg0] r_0047_0011__and and r_0047_0007__conversations->r_0047_0011__and between r_0047_0012__disciple disciple r_0047_0011__and->r_0047_0012__disciple [conj2] 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_0004__made_r_0047_0005__up made up r_0047_0004__made_r_0047_0005__up->r_0047_0007__conversations of [clr] z_0047_5014___star_ * r_0047_0004__made_r_0047_0005__up->z_0047_5014___star_ [arg0] r_0047_0002__Koan Koan r_0047_0004__made_r_0047_0005__up->r_0047_0002__Koan [arg1] r_0047_0003__are are r_0047_0003__are->r_0047_0004__made_r_0047_0005__up [scope] r_0047_0001__Most__quant Most [quant] r_0047_0001__Most__quant->r_0047_0002__Koan [restriction] r_0047_0001__Most__quant->r_0047_0003__are [scope] 
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__clr).
arc(r_0047_0004__made_r_0047_0005__up,z_0047_5014___star_,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,inv_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,nim).
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_0047_5014___star_ * r_0047_0003__are_r_0047_0004__made_r_0047_0005__up->z_0047_5014___star_ [arg0] r_0047_0011__and and r_0047_0007__conversations->r_0047_0011__and between r_0047_0014__telling telling r_0047_0007__conversations->r_0047_0014__telling [inv_arg0] 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_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_0047_0018__THE_R_0047_0019__MOMENT,R_0047_0021__THE_R_0047_0022__DISCIPLE,R_0047_0024__ENLIGHTENMENT,R_0047_0023__GAINED] :
      ( r_0047_0018__the_r_0047_0019__moment(R_0047_0018__THE_R_0047_0019__MOMENT)
      & r_0047_0021__the_r_0047_0022__disciple(R_0047_0021__THE_R_0047_0022__DISCIPLE)
      & r_0047_0024__enlightenment(R_0047_0024__ENLIGHTENMENT)
      & r_0047_0023__gained(R_0047_0023__GAINED)
      & has_arg1(R_0047_0023__GAINED,R_0047_0024__ENLIGHTENMENT)
      & has_arg0(R_0047_0023__GAINED,R_0047_0021__THE_R_0047_0022__DISCIPLE)
      & has_nim(R_0047_0023__GAINED,R_0047_0018__THE_R_0047_0019__MOMENT)
      & ! [R_0047_0002__KOAN] :
          ( r_0047_0002__Koan(R_0047_0002__KOAN)
         => ? [R_0047_0009__A_R_0047_0010__MASTER,R_0047_0012__DISCIPLE,R_0047_0011__AND,R_0047_0015__THE_R_0047_0016__TRUTH,R_0047_0014__TELLING,R_0047_0007__CONVERSATIONS,Z_0047_5014___STAR_,R_0047_0003__ARE_R_0047_0004__MADE_R_0047_0005__UP] :
              ( r_0047_0009__a_r_0047_0010__master(R_0047_0009__A_R_0047_0010__MASTER)
              & r_0047_0012__disciple(R_0047_0012__DISCIPLE)
              & z_0047_5014___star_(Z_0047_5014___STAR_)
              & r_0047_0003__are_r_0047_0004__made_r_0047_0005__up(R_0047_0003__ARE_R_0047_0004__MADE_R_0047_0005__UP)
              & has_arg0(R_0047_0003__ARE_R_0047_0004__MADE_R_0047_0005__UP,Z_0047_5014___STAR_)
              & has_r_0047_0006__of__clr(R_0047_0003__ARE_R_0047_0004__MADE_R_0047_0005__UP,R_0047_0007__CONVERSATIONS)
              & r_0047_0007__conversations(R_0047_0007__CONVERSATIONS)
              & has_inv_arg0(R_0047_0007__CONVERSATIONS,R_0047_0014__TELLING)
              & r_0047_0014__telling(R_0047_0014__TELLING)
              & has_arg1(R_0047_0014__TELLING,R_0047_0015__THE_R_0047_0016__TRUTH)
              & r_0047_0015__the_r_0047_0016__truth(R_0047_0015__THE_R_0047_0016__TRUTH)
              & has_r_0047_0017__of(R_0047_0015__THE_R_0047_0016__TRUTH,R_0047_0018__THE_R_0047_0019__MOMENT)
              & has_r_0047_0008__between(R_0047_0007__CONVERSATIONS,R_0047_0011__AND)
              & r_0047_0011__and(R_0047_0011__AND)
              & has_conj2(R_0047_0011__AND,R_0047_0012__DISCIPLE)
              & has_conj1(R_0047_0011__AND,R_0047_0009__A_R_0047_0010__MASTER)
              & has_arg1(R_0047_0003__ARE_R_0047_0004__MADE_R_0047_0005__UP,R_0047_0002__KOAN) ) ) ) ).