S `:: {}.. {1,3,5}, S1 `:: {1} .. {1,3,4}, S2 `::{3,4}..{3,4,5}, all_disjoint([S,S1,S2]). S = S{{} .. {2, 5}} S1 = S1{{1} .. {1, 2}} S2 = S2{{3, 4} .. {3, 4, 5}} Delayed goals: S{{} .. {2, 5}} dis_s S1{{1} .. {1, 2}} S{{} .. {2, 5}} dis_s S2{{3, 4} .. {3, 4, 5}} S1{{1} .. {1, 2}} dis_s S2{{3, 4} .. {3, 4, 5}} yes.