| Domain | LIGHT_VALUES = { 1  10000 }  NAT |
|---|
| Intention | : | This domain contains the possible light intensity values in lux that are considered in this problem specification. |
| Domain | BINARY = { 0, 1 } NAT |
|---|
| Intention | : | This domain contains the values 0 and 1. |
| Domain | PERCENT = { 0 100 } NAT |
|---|
| Intention | : | This domain contains the natural numbers between 0 to 100. |