On Sun, 12 Jan 2020 at 06:25, James Cook <jc...@cs.berkeley.edu> wrote: > I don't think this is a case of "once for each time the condition is > fulfulled".
(Or, maybe I should have said: I think this is a case where "once per time the condition is fulfilled" is given an explicit definition by the rule in question.)
