Initial State Set of obiects part-1, part-2: type PART Tp drill-1: type SPOT-DRILL js drill-2, drnill-3: type TWIST-DRILL Goal statement part-holder-empty drill-holder-empty :!h(m) Figure 2: A problem in the simplified Process Planning domain