No, that's the problem. The individual items in the specification were written in a human lifetime. Full testing of the specification requires consideration of the power set of those items.
(I mistated earlier when I said unit tests. Determining if the right order of events is fired is probably a functional or integration test. And full coverage on those is the problem of covering the power set of features of a system.)
That having been said, if they didn't have a test for this situation before, I assume they do now. ;)