In this case you know that login < check-email but this may not always be so.
$login: Login( $uid: uid ) // a user logs in
$check: UserAction( uid == $uid, action == UserAction.CHECK_EMAIL, this after[0s,30s] $login)
Other operators are available that would not require a < b.