In reply to Mahantha Deeksha S B:
The constraint you coded is 50% of results in the range abc:def, the other 50% inside the range tuvw:xyz. But to match your description, you would write
constraint c2 {!(addr inside {lmn}); (addr inside {[abc:def],[tuvw:xyz]}) dist {1:=1, 0:=1); }
This says 50% of the time the inside operator evaluates true, the other 50% it is false.