(defproblem processPlanning
      (
	(type wp workpiece)     ;;; must be included always
	(processingArea hHor1)  ;;; must be included always
	(processingArea hHor2)  ;;; must be included always
	(type hHor1 ascendingOutline)    ;;; must be included always
	(type hHor2 descendingOutline)   ;;; must be included always
	(partOf hHor1 wp)     ;;; must be included always
	(partOf hHor2 wp)     ;;; must be included always
	(processingArea hHor3)
	(type hHor3 horizontalOutline)
	(partOf hHor3 wp)
	(processingArea drillH2)
	(type drillH2 drilledHole)
	(partOf drillH2 hHor1)
	(processingArea grov3)
	(type grov3 groove)
	(partOf grov3 hHor2)
	(processingArea slp3)
	(type slp3 slope)
	(partOf slp3 hHor2)
	(processingArea grov4)
	(type grov4 groove)
	(partOf grov4 hHor1)
	(tool t18) 
    (type t18 threadTool)
	(tool t24)
	(type t24 cuttingTool)
	(tool t6)     
    (type t6 roundOffTool)
	(tool t11)
    (type t11 drilledHoleTool)
	(tool t8)
	(type t8 cuttingTool)
	(tool t3)
    (type t3 drilledHoleTool)
	(tool t22)     
    (type t22 roundOffTool)
	(tool t1)
    (type t1 outlnTool)
	(tool t20)
    (type t20 grooveTool)
	(tool t9)
    (type t9 outlnTool)
	(tool t13)
    (type t13 slopeTool)
	(tool t19)
    (type t19 drilledHoleTool)
)
 ((manufacture wp)   ;;; must be included always
))