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_0002__means, r_0038_0005__choosing, 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_0038_0001__THAT,R_0038_0004__JUST,R_0038_0006__ONE,R_0038_0013__ONE,R_0038_0012__BUT,R_0038_0005__CHOOSING,R_0038_0002__MEANS,R_0038_0010__ENLIGHTENMENT,R_0038_0008__HAS_R_0038_0009__GAINED,R_0038_0017__ONE_R_0038_0018___APOS_S,R_0038_0019__OWN,Z_000_38_A_KYOTO_2_50,R_0038_0020__PERSONALITY,R_0038_0015__FITS] :
( r_0038_0001__That(R_0038_0001__THAT)
& r_0038_0004__just(R_0038_0004__JUST)
& r_0038_0006__one(R_0038_0006__ONE)
& r_0038_0010__enlightenment(R_0038_0010__ENLIGHTENMENT)
& r_0038_0013__one(R_0038_0013__ONE)
& r_0038_0017__one_r_0038_0018___apos_s(R_0038_0017__ONE_R_0038_0018___APOS_S)
& r_0038_0019__own(R_0038_0019__OWN)
& r_0038_0015__fits(R_0038_0015__FITS)
& has_r_0038_0016__with_nim49(R_0038_0015__FITS,R_0038_0020__PERSONALITY)
& r_0038_0020__personality(R_0038_0020__PERSONALITY)
& has_gen(R_0038_0020__PERSONALITY,Z_000_38_A_KYOTO_2_50)
& z_000_38_a_kyoto_2_50(Z_000_38_A_KYOTO_2_50)
& has_attrib56(Z_000_38_A_KYOTO_2_50,R_0038_0019__OWN)
& has_gen(Z_000_38_A_KYOTO_2_50,R_0038_0017__ONE_R_0038_0018___APOS_S)
& has_arg0(R_0038_0015__FITS,R_0038_0013__ONE)
& r_0038_0008__has_r_0038_0009__gained(R_0038_0008__HAS_R_0038_0009__GAINED)
& has_arg1(R_0038_0008__HAS_R_0038_0009__GAINED,R_0038_0010__ENLIGHTENMENT)
& has_arg0(R_0038_0008__HAS_R_0038_0009__GAINED,R_0038_0006__ONE)
& r_0038_0002__means(R_0038_0002__MEANS)
& has_arg1(R_0038_0002__MEANS,R_0038_0005__CHOOSING)
& r_0038_0005__choosing(R_0038_0005__CHOOSING)
& has_arg1(R_0038_0005__CHOOSING,R_0038_0012__BUT)
& r_0038_0012__but(R_0038_0012__BUT)
& has_conj2(R_0038_0012__BUT,R_0038_0013__ONE)
& has_conj1(R_0038_0012__BUT,R_0038_0006__ONE)
& has_nim10(R_0038_0005__CHOOSING,R_0038_0004__JUST)
& has_arg0(R_0038_0005__CHOOSING,R_0038_0001__THAT)
& has_arg1(R_0038_0002__MEANS,R_0038_0003__NOT)
& ~ r_0038_0005__choosing(R_0038_0005__CHOOSING)
& has_arg0(R_0038_0002__MEANS,R_0038_0001__THAT) ) ).
( (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))