// Description of a finite "domino sequence" in beta-Juliet v2.0
alphabet Domino,
One, Two, Three, Four, Five, Six, Seven;
event Begin,
causes Domino One Falls;
event Domino (N = Domino) Falls,
causes Domino (succ N) Falls;
// Since this event is more specific than the above
// event, it should be matched first:
event Domino Seven Falls,
causes End;
event End.