Assert signal is stable during certain duration

In reply to bassem yasser:

$rose(a) |-> $stable(b) until_with $fell(a));

It’s not clear what b can do on the fall of a.