However, I should not that the event 'sleeping beauty is awake' is equivalent to 'sleeping beauty has been woken up at least once' because of the amnesia.

I disagree; but I've already given my reasons.