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.