Find!
s1=c1 (agent) ceases and rests from activity/process/state s2 (not necessarily completing it).
Cf. lazni.