falling edge occurs [...] occurred, function block
occurs [...] has occurred. Function block
occurred within [...] has occurred (in technical