Yes.
if we have verbsed. It’s ill-documented and problematically named… it’s true if and only if any actor has successfully verbsed, i.e., the action ended in success, i.e., it made it as least as far as its Carry Out rules. To emphasize: we means any actor here.
For actions that take at least one object, one can also say if we have fooed the bar: independent of any other “keep track of past states” mechanisms, Inform functionally keeps a grid of all actions and all objects and when a given action succeeds with a given object as its (first) noun, it marks the relevant spot. (I’m guessing, but don’t remember and am not bothering to look it up, that the implementation treats nothing as if it were an object so it gets its own row in the grid for actions applying to nothing.)