The sequential relation meets explanation in table 9 is explained in terms of real number locations, but sequences have space-filling integer locations. So [1..10] and [11..20] meet, while [1..10] and [10..20] overlap.
Make sure the constraints say this too.
Also, make sure it's clear that they only make sense when you're talking about the same Sequence.
The sequential relation meets explanation in table 9 is explained in terms of real number locations, but sequences have space-filling integer locations. So [1..10] and [11..20] meet, while [1..10] and [10..20] overlap.
Make sure the constraints say this too.
Also, make sure it's clear that they only make sense when you're talking about the same Sequence.