| | āā | 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 |
|
|