Find!
n1=s1 (agent) punishes n2=s2 [recipient] for atypical infraction n3=s3 (event/state/action) with punishment n4=s4.
Notes: The main difference to sfasa is that the infraction must be atypical. See also malne'u, cnemu.