[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_choose(X, 5, Y, 7, 1). X = X[1..5] Y = Y[6..10] Delayed goals: Y[6..10] - X[1..5]#>=5 disjunction_choose_1(X[1..5], 5, Y[6..10], 7, 1) yes. [eclipse 8]: [X, Y]::1..5, disjunction_choose(X, 5, Y, 7, 2). no (more) solution.