The followed-by event operator
The followed-by operator -> is a Boolean operator that takes left and right operands, both event expressions. The followed-by operator waits for the left operand to become true and then waits for the right operand to become true. When both are true then the result value is true. If either becomes false, then the result value is false.
FollowedByExpr