38_a_kyoto_2
That means not just choosing one who has gained enlightenment, but one who fits with one's own personality.
arc(r_0038_0002__means, r_0038_0001__That, arg0).
arc(r_0038_0002__means, r_0038_0003__not, arg1).
arc(r_0038_0003__not, r_0038_0005__choosing, keep_scope).
arc(r_0038_0005__choosing, r_0038_0001__That, arg0).
arc(r_0038_0005__choosing, r_0038_0004__just, nim10).
arc(r_0038_0005__choosing, r_0038_0012__but, arg1).
arc(r_0038_0008__has, r_0038_0009__gained, scope).
arc(r_0038_0009__gained, r_0038_0006__one, arg0).
arc(r_0038_0009__gained, r_0038_0010__enlightenment, arg1).
arc(r_0038_0012__but, r_0038_0006__one, conj1).
arc(r_0038_0012__but, r_0038_0013__one, conj2).
arc(r_0038_0015__fits, r_0038_0013__one, arg0).
arc(r_0038_0015__fits, r_0038_0020__personality, r_0038_0016__with_nim49).
arc(r_0038_0020__personality, z_000_38_a_kyoto_2_50, gen).
arc(z_000_38_a_kyoto_2_50, r_0038_0017__one_r_0038_0018___apos_s, gen).
arc(z_000_38_a_kyoto_2_50, r_0038_0019__own, attrib56).
fof(formula,axiom,
? [R_38_2_MEANS,R_38_1_THAT,R_38_8_HAS_GAINED,R_38_6_ONE,R_38_10_ENLIGHTENMENT,R_38_15_FITS,R_38_13_ONE,R_38_20_PERSONALITY,Z_38_A_KYOTO_2_50,R_38_19_OWN,R_38_17_ONE_APOS_S] :
( that(R_38_1_THAT)
& one(R_38_6_ONE)
& enlightenment(R_38_10_ENLIGHTENMENT)
& one(R_38_13_ONE)
& own(R_38_19_OWN)
& one_apos_s(R_38_17_ONE_APOS_S)
& means(R_38_2_MEANS,R_38_1_THAT,R_38_3_NOT)
& ~ ? [R_38_5_CHOOSING,R_38_12_BUT,R_38_4_JUST] :
( just(R_38_4_JUST)
& choosing(R_38_5_CHOOSING,R_38_1_THAT,R_38_12_BUT)
& but(R_38_12_BUT)
& conj1(R_38_12_BUT,R_38_6_ONE)
& conj2(R_38_12_BUT,R_38_13_ONE)
& nim10(R_38_5_CHOOSING,R_38_4_JUST) )
& has_gained(R_38_8_HAS_GAINED,R_38_6_ONE,R_38_10_ENLIGHTENMENT)
& fits(R_38_15_FITS,R_38_13_ONE)
& with_nim49(R_38_15_FITS,R_38_20_PERSONALITY)
& personality(R_38_20_PERSONALITY)
& gen(R_38_20_PERSONALITY,Z_38_A_KYOTO_2_50)
& z_38_a_kyoto_2_50(Z_38_A_KYOTO_2_50)
& attrib56(Z_38_A_KYOTO_2_50,R_38_19_OWN)
& gen(Z_38_A_KYOTO_2_50,R_38_17_ONE_APOS_S) ) ).
( (IP-MAT (NP-SBJ (D;_nphd_ That;{that}))
(VBP;__ means;{mean})
(IP-PPL-OB1 (NEG not;{not})
(ADVP-NIM (ADV just;{just}))
(VAG;__ choosing;{choose})
(NP-OB1 (NLYR (NLYR (NUM one;{one})
(IP-REL (NP-SBJ (RPRO who;{who}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (VVN;__ gained;{gain})
(NP-OB1 (N enlightenment;{enlightenment})))))
(PUNC ,)
(CONJP (CONJ but;{but})
(NLYR (NUM one;{one})
(IP-REL (NP-SBJ (RPRO who;{who}))
(VBP;__ fits;{fit})
(PP-NIM (P-ROLE with;{with})
(NP (NP-GEN (NP-GEN (NUM one;{one})
(GENM <apos>s))
(ADJP (ADJ own;{own})))
(N personality;{personality})))))))))
(PUNC .))
(ID 38_a_kyoto_2;BDS_00002;38))