Find!
s1 separates/parts/diverges from s2 through separation s3 under conditions b3.
See also sepli, binxo, fendi.