Assertion/property and default values

In reply to Tudor Timi:

I understand what you mean by ORing the sequences, but I will probably need consequent experesson as well? The sequence itself is just the antacendent for the assertion to hold or fail.