38_a_kyoto_2
That means not just choosing one who has gained enlightenment, but one who fits with one's own personality.
( (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))
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,nim).
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__nim).
arc(r_0038_0020__personality,z_0038_5013,gen).
arc(z_0038_5013,r_0038_0017__one,gen).
arc(z_0038_5013,r_0038_0019__own,attrib).
fof(formula,axiom,
? [R_0038_0001__THAT,R_0038_0002__MEANS,R_0038_0006__ONE,R_0038_0010__ENLIGHTENMENT,R_0038_0008__HAS_R_0038_0009__GAINED,R_0038_0013__ONE,R_0038_0017__ONE,R_0038_0019__OWN,Z_0038_5013,R_0038_0020__PERSONALITY,R_0038_0015__FITS] :
( r_0038_0001__That(R_0038_0001__THAT)
& 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_0017__ONE)
& r_0038_0019__own(R_0038_0019__OWN)
& r_0038_0015__fits(R_0038_0015__FITS)
& has_r_0038_0016__with__nim(R_0038_0015__FITS,R_0038_0020__PERSONALITY)
& r_0038_0020__personality(R_0038_0020__PERSONALITY)
& has_gen(R_0038_0020__PERSONALITY,Z_0038_5013)
& z_0038_5013(Z_0038_5013)
& has_attrib(Z_0038_5013,R_0038_0019__OWN)
& has_gen(Z_0038_5013,R_0038_0017__ONE)
& 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_0003__NOT)
& ~ ? [R_0038_0004__JUST,R_0038_0012__BUT,R_0038_0005__CHOOSING] :
( r_0038_0004__just(R_0038_0004__JUST)
& 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_nim(R_0038_0005__CHOOSING,R_0038_0004__JUST)
& has_arg0(R_0038_0005__CHOOSING,R_0038_0001__THAT) )
& has_arg0(R_0038_0002__MEANS,R_0038_0001__THAT) ) ).