If the available state of the event is FALSE (not available), the program is suspended and put in the procure list until some other task executes the LIBERATE statement for that event. If the available state of the event is TRUE (available), the available state is set to FALSE (not available), and the program continues execution with the statement following the PROCURE statement.