If Duration1 or Duration2 is not integer, it obtains a default domain.
[eclipse 5]: [X, Y]::1..10, disjunction_choose(X, 5, Y, 7, F). X = X[1..10] Y = Y[1..10] F = F[1, 2] Delayed goals: disjunction_choose_1(X[1..10], 5, Y[1..10], 7, F[1, 2]) yes. [eclipse 6]: [X, Y]::1..10, disjunction(X, 5, Y, 7, F). X = X[1..5, 8..10] Y = Y[1..3, 6..10] F = F Delayed goals: disjunction(X[1..5, 8..10], 5, Y[1..3, 6..10], 7, F) yes.