Minizinc data model for Silver Customer