Find!
x1=g1 [agent] does x2=g2=s2 to relax x3=s1; x1=g1 relaxes x3=s1 by doing x2=g2=s2
cf. surla, gasnu