Find!
x1=p2 is available to x2=p1 for purpose / end x3=p3; x2 using x1 is a possibility under conditions x4=c3.
See also: plife'e (available), selcu'acu'i (option), selplifrika'e (usable).