Formal definition of EventSpecification that allows inferring an instance into the class

[rjyounes]

May not be possible in all cases. See parent issue for more discussion.

Note that it's not a specification that some event conforms to, because there may be no such event.