Each matching binding of the graph pattern's variables to the model's nodes becomes a query solution, and the values of the variables named in the SELECT clause become part of the query results.
If the match is successful, the message is received from the mailbox, the message arguments are made available by binding them to the variables in the match, and the corresponding clause is executed.