Find!
s1=b1 (agent) volunteers/signs up to serve s2 with service s3 (activity) under conditions b3.
See also selfu, binxo.