eclipse 3]: S `:: {}..{c,d}, S1= {1,2,3}, #(S \/ S1, V). S = S{{} .. {c, d}} S1 = {1, 2, 3} V = Card{[3..5]} Delayed goals: union_s({1, 2, 3}, S{{} .. {c, d}}, R{{1, 2, 3} .. {1, 2, 3, c, d}}) car_s(R{{1, 2, 3} .. {1, 2, 3, c, d}}, Card{[3..5]}) yes.