| āā | Variable | Domain |
| 1 | AIMM_loc | loc1, loc2, loc8, printer_spot, store_spot, painter_spot |
| 2 | AGV_loc | loc1, loc2, loc8, printer_spot, store_spot,painter_spot |
| 3 | AIMM_hand_empty | true, false |
| 4 | part1_loc | AIMM, AGV, printer_spot, store_spot, assembler_spot, polisher_spot, painter_spot | 5 | part2_loc | 6 | part3_loc |
| 7 | part1_color | red, blue, black, white | 8 | part2_color | 9 | part3_color |
| 10 | part1_polished | true, false | 11 | part2_polished | 12 | part3_polished |
| 13 | assembled_p1_p2 | true, false |
| 14 | assembled_p1_p3 | true, false |
|
|