In (b), irony is due to an implicit opposition between a lexicalized proposition P describing an event or state and a pragmatic context external to the utterance in which P is false or is not likely to happen.
the writer asserts or affirms P while he intends to convey P such that P = N ot(P ) or P = P .