;;; HTN version of the domain of process planning
;;; described in:
;;;
;;; Munoz-Avila, H. & Weberskirch F.: A Specification of the 
;;; Domain of Process Planning: Properties, Problems, and 
;;; Solutions. LSA-Report LSA-96-10E, Centre for Learning 
;;; Systems and Applications, Kaiserslautern, 1996.
;;;
;;; The domain is totally re-written to make use of
;;; HTNs representations but the resulting plans
;;; are equivalent to ones generated with
;;; the original STRIPS representation albeit
;;; the following items not yet represented
;;; in the HTN representation:
;;;      - orientation of the outline tools
;;;      - undercuts have two parts
;;;      - the sides of the workpiece
;;;      - side (face) clamping
;;;
;;; Last update: December 28, 2004
;;; Author: H. Munoz-Avila


(defdomain processPlanning (  

;;; process area ?part using ?tool
 (:operator (!process ?part ?tool)
   ()
   ()
   ((processed ?part))
 )
 
;;; mount piece from ?part1 to process ?part
;;; ?part is rotary
 (:operator (!mountFromRotary ?part1 ?part)
   (
    (not (mounted ?part2))
    (not (mountedFixed ?part2))
   )
   ()
   ((mounted ?part1))
 )

;;; mount piece from ?part1 to process ?part
;;; dismount piece from ?part2
;;; ?part is rotary
(:operator (!mountFromRotary ?part1 ?part)
   (
    (mounted ?part2)
   )
   ((mounted ?part2))
   ((mounted ?part1))
 )

;;; mount piece from ?part1 to process ?part
;;; dismount piece from ?part2
;;; ?part is rotary
(:operator (!mountFromRotary ?part1 ?part)
   (
    (mountedFixed ?part2)
   )
   ((mountedFixed ?part2))
   ((mounted ?part1))
 )


;;; mount piece from ?part1 to process ?part
;;; ?part is fixed
 (:operator (!mountFromFixed ?part1 ?part)
   (
    (not (mounted ?part2))
    (not (mountedFixed ?part2))
   )
   ()
   ((mountedFixed ?part1))
 )

;;; mount piece from ?part1 to process ?part
;;; dismount piece from ?part2
;;; ?part is rotary
(:operator (!mountFromFixed ?part1 ?part)
   (
    (mounted ?part2)
   )
   ((mounted ?part2))
   ((mountedFixed ?part1))
 )

;;; mount piece from ?part1 to process ?part
;;; dismount piece from ?part2
;;; ?part is rotary
(:operator (!mountFromFixed ?part1 ?part)
   (
    (mountedFixed ?part2)
   )
   ((mountedFixed ?part2))
   ((mountedFixed ?part1))
 )


(:operator (!do-nothing)
                ()
                ()
                ()
                0)

;;; Insert cases
(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t24 )
(type ?t24 cuttingtool )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
(tool ?t13 )
(type ?t13 slopetool )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
(tool ?t11 )
(type ?t11 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t24 )
(!process ?grov4 ?t20 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?grov3 ?t20 )
(!process ?slp3 ?t13 )
(!mountfromfixed ?hhor2 ?drillh2 )
(!process ?drillh2 ?t11 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?ucut3 )
(type ?ucut3 undercut )
(partof ?ucut3 ?hhor2 )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
(tool ?t13 )
(type ?t13 slopetool )
(processingarea ?drillh1 )
(type ?drillh1 drilledhole )
(partof ?drillh1 ?hhor3 )
(tool ?t3 )
(type ?t3 drilledholetool )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t16 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?ucut3 ?t1 )
(!process ?slp3 ?t13 )
(!mountfromfixed ?hhor2 ?drillh1 )
(!process ?drillh1 ?t3 )
(!process ?drillh2 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?grov1 )
(type ?grov1 groove )
(partof ?grov1 ?hhor3 )
(tool ?t4 )
(type ?t4 groovetool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t14 )
(type ?t14 roundofftool )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
(tool ?t21 )
(type ?t21 slopetool )
(processingarea ?slp4 )
(type ?slp4 slope )
(partof ?slp4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t8 )
(!process ?grov1 ?t4 )
(!process ?ucut2 ?t1 )
(!process ?grov4 ?t4 )
(!process ?rof4 ?t14 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?grov3 ?t4 )
(!process ?slp3 ?t21 )
(!process ?slp4 ?t21 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?rof1 )
(type ?rof1 roundoff )
(partof ?rof1 ?hhor3 )
(tool ?t14 )
(type ?t14 roundofftool )
(processingarea ?ucut3 )
(type ?ucut3 undercut )
(partof ?ucut3 ?hhor2 )
(processingarea ?drillh1 )
(type ?drillh1 drilledhole )
(partof ?drillh1 ?hhor3 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t8 )
(!process ?rof1 ?t14 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?ucut3 ?t1 )
(!mountfromfixed ?hhor2 ?drillh1 )
(!process ?drillh1 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t24 )
(type ?t24 cuttingtool )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
(processingarea ?slp4 )
(type ?slp4 slope )
(partof ?slp4 ?hhor2 )
(tool ?t21 )
(type ?t21 slopetool )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t3 )
(type ?t3 drilledholetool )
(processingarea ?drillh4 )
(type ?drillh4 drilledhole )
(partof ?drillh4 ?hhor1 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t24 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?ucut4 ?t9 )
(!process ?slp4 ?t21 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t3 )
(!mountfromfixed ?hhor2 ?drillh4 )
(!process ?drillh4 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t24 )
(type ?t24 cuttingtool )
(processingarea ?grov1 )
(type ?grov1 groove )
(partof ?grov1 ?hhor3 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?rof1 )
(type ?rof1 roundoff )
(partof ?rof1 ?hhor3 )
(tool ?t22 )
(type ?t22 roundofftool )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t24 )
(!process ?grov1 ?t20 )
(!process ?rof1 ?t22 )
(!process ?rof2 ?t22 )
(!process ?rof4 ?t22 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(processingarea ?thr3 )
(type ?thr3 thread )
(partof ?thr3 ?hhor1 )
(tool ?t18 )
(type ?t18 threadtool )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t14 )
(type ?t14 roundofftool )
(processingarea ?ucut3 )
(type ?ucut3 undercut )
(partof ?ucut3 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t1 )
(!process ?thr3 ?t18 )
(!process ?grov2 ?t20 )
(!process ?rof4 ?t14 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?ucut3 ?t1 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(processingarea ?thr1 )
(type ?thr1 thread )
(partof ?thr1 ?hhor3 )
(tool ?t18 )
(type ?t18 threadtool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t17 )
(!process ?thr1 ?t18 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t10 )
(type ?t10 threadtool )
(processingarea ?grov1 )
(type ?grov1 groove )
(partof ?grov1 ?hhor3 )
(tool ?t12 )
(type ?t12 groovetool )
(processingarea ?rof1 )
(type ?rof1 roundoff )
(partof ?rof1 ?hhor3 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t16 )
(!process ?thr2 ?t10 )
(!process ?grov1 ?t12 )
(!process ?rof1 ?t6 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?ucut4 ?t1 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t7 )
(type ?t7 cuttingtool )
(processingarea ?grov1 )
(type ?grov1 groove )
(partof ?grov1 ?hhor3 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t22 )
(type ?t22 roundofftool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t7 )
(!process ?grov1 ?t20 )
(!process ?grov4 ?t20 )
(!process ?rof4 ?t22 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?rof3 ?t22 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t7 )
(type ?t7 cuttingtool )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t18 )
(type ?t18 threadtool )
(processingarea ?ucut1 )
(type ?ucut1 undercut )
(partof ?ucut1 ?hhor3 )
(processingarea ?slp2 )
(type ?slp2 slope )
(partof ?slp2 ?hhor1 )
(tool ?t5 )
(type ?t5 slopetool )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
(processingarea ?drillh4 )
(type ?drillh4 drilledhole )
(partof ?drillh4 ?hhor1 )
(tool ?t11 )
(type ?t11 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t7 )
(!process ?thr2 ?t18 )
(!process ?ucut1 ?t9 )
(!process ?slp2 ?t5 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?ucut4 ?t9 )
(!mountfromfixed ?hhor2 ?drillh4 )
(!process ?drillh4 ?t11 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?thr1 )
(type ?thr1 thread )
(partof ?thr1 ?hhor3 )
(tool ?t2 )
(type ?t2 threadtool )
(processingarea ?ucut1 )
(type ?ucut1 undercut )
(partof ?ucut1 ?hhor3 )
(processingarea ?rof1 )
(type ?rof1 roundoff )
(partof ?rof1 ?hhor3 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(tool ?t12 )
(type ?t12 groovetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t16 )
(!process ?thr1 ?t2 )
(!process ?ucut1 ?t1 )
(!process ?rof1 ?t6 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?grov3 ?t12 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?ucut1 )
(type ?ucut1 undercut )
(partof ?ucut1 ?hhor3 )
(processingarea ?slp2 )
(type ?slp2 slope )
(partof ?slp2 ?hhor1 )
(tool ?t21 )
(type ?t21 slopetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t8 )
(!process ?ucut1 ?t17 )
(!process ?slp2 ?t21 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t2 )
(type ?t2 threadtool )
(processingarea ?thr3 )
(type ?thr3 thread )
(partof ?thr3 ?hhor2 )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
(tool ?t3 )
(type ?t3 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t16 )
(!process ?thr2 ?t2 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?thr3 ?t2 )
(!mountfromfixed ?hhor2 ?drillh2 )
(!process ?drillh2 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?grov1 )
(type ?grov1 groove )
(partof ?grov1 ?hhor3 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
(tool ?t3 )
(type ?t3 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t16 )
(!process ?grov1 ?t20 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?ucut4 ?t1 )
(!mountfromfixed ?hhor2 ?drillh2 )
(!process ?drillh2 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(processingarea ?slp1 )
(type ?slp1 slope )
(partof ?slp1 ?hhor3 )
(tool ?t21 )
(type ?t21 slopetool )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t14 )
(type ?t14 roundofftool )
(processingarea ?ucut3 )
(type ?ucut3 undercut )
(partof ?ucut3 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t9 )
(!process ?slp1 ?t21 )
(!process ?rof2 ?t14 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?ucut3 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(processingarea ?slp1 )
(type ?slp1 slope )
(partof ?slp1 ?hhor3 )
(tool ?t21 )
(type ?t21 slopetool )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t14 )
(type ?t14 roundofftool )
(processingarea ?ucut3 )
(type ?ucut3 undercut )
(partof ?ucut3 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t9 )
(!process ?slp1 ?t21 )
(!process ?rof2 ?t14 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?ucut3 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t2 )
(type ?t2 threadtool )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t14 )
(type ?t14 roundofftool )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(tool ?t4 )
(type ?t4 groovetool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t16 )
(!process ?thr2 ?t2 )
(!process ?rof4 ?t14 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?grov3 ?t4 )
(!process ?rof3 ?t14 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(tool ?t12 )
(type ?t12 groovetool )
(processingarea ?slp4 )
(type ?slp4 slope )
(partof ?slp4 ?hhor2 )
(tool ?t13 )
(type ?t13 slopetool )
(processingarea ?drillh4 )
(type ?drillh4 drilledhole )
(partof ?drillh4 ?hhor1 )
(tool ?t3 )
(type ?t3 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t17 )
(!process ?ucut2 ?t17 )
(!process ?grov4 ?t12 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?slp4 ?t13 )
(!mountfromfixed ?hhor2 ?drillh4 )
(!process ?drillh4 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?thr1 )
(type ?thr1 thread )
(partof ?thr1 ?hhor3 )
(tool ?t10 )
(type ?t10 threadtool )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(processingarea ?slp1 )
(type ?slp1 slope )
(partof ?slp1 ?hhor3 )
(tool ?t5 )
(type ?t5 slopetool )
(processingarea ?ucut3 )
(type ?ucut3 undercut )
(partof ?ucut3 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t16 )
(!process ?thr1 ?t10 )
(!process ?thr2 ?t10 )
(!process ?slp1 ?t5 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?ucut3 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?slp2 )
(type ?slp2 slope )
(partof ?slp2 ?hhor1 )
(tool ?t5 )
(type ?t5 slopetool )
(processingarea ?slp4 )
(type ?slp4 slope )
(partof ?slp4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t8 )
(!process ?slp2 ?t5 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?slp4 ?t5 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t22 )
(type ?t22 roundofftool )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t3 )
(type ?t3 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t17 )
(!process ?grov2 ?t20 )
(!process ?rof4 ?t22 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t7 )
(type ?t7 cuttingtool )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t18 )
(type ?t18 threadtool )
(processingarea ?rof1 )
(type ?rof1 roundoff )
(partof ?rof1 ?hhor3 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?slp2 )
(type ?slp2 slope )
(partof ?slp2 ?hhor1 )
(tool ?t21 )
(type ?t21 slopetool )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t7 )
(!process ?thr2 ?t18 )
(!process ?rof1 ?t6 )
(!process ?slp2 ?t21 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?ucut4 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t8 )
(!process ?rof2 ?t6 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?rof3 ?t6 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?ucut4 ?t1 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(processingarea ?slp2 )
(type ?slp2 slope )
(partof ?slp2 ?hhor1 )
(tool ?t13 )
(type ?t13 slopetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t1 )
(!process ?slp2 ?t13 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t4 )
(type ?t4 groovetool )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t8 )
(!process ?grov2 ?t4 )
(!process ?grov4 ?t4 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?ucut4 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t2 )
(type ?t2 threadtool )
(processingarea ?slp1 )
(type ?slp1 slope )
(partof ?slp1 ?hhor3 )
(tool ?t5 )
(type ?t5 slopetool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(tool ?t14 )
(type ?t14 roundofftool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t8 )
(!process ?thr2 ?t2 )
(!process ?slp1 ?t5 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?rof3 ?t14 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t4 )
(type ?t4 groovetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t9 )
(!process ?grov2 ?t4 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t17 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t10 )
(type ?t10 threadtool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t20 )
(type ?t20 groovetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t8 )
(!process ?thr2 ?t10 )
(!process ?ucut2 ?t17 )
(!process ?grov2 ?t20 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t24 )
(type ?t24 cuttingtool )
(processingarea ?thr1 )
(type ?thr1 thread )
(partof ?thr1 ?hhor3 )
(tool ?t18 )
(type ?t18 threadtool )
(processingarea ?rof1 )
(type ?rof1 roundoff )
(partof ?rof1 ?hhor3 )
(tool ?t14 )
(type ?t14 roundofftool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t24 )
(!process ?thr1 ?t18 )
(!process ?rof1 ?t14 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(processingarea ?slp1 )
(type ?slp1 slope )
(partof ?slp1 ?hhor3 )
(tool ?t21 )
(type ?t21 slopetool )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t22 )
(type ?t22 roundofftool )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(tool ?t12 )
(type ?t12 groovetool )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t17 )
(!process ?slp1 ?t21 )
(!process ?rof2 ?t22 )
(!process ?grov4 ?t12 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?slp3 ?t21 )
(!mountfromfixed ?hhor2 ?drillh2 )
(!process ?drillh2 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t15 )
(type ?t15 cuttingtool )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t10 )
(type ?t10 threadtool )
(processingarea ?ucut1 )
(type ?ucut1 undercut )
(partof ?ucut1 ?hhor3 )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
(processingarea ?slp4 )
(type ?slp4 slope )
(partof ?slp4 ?hhor2 )
(tool ?t5 )
(type ?t5 slopetool )
(processingarea ?drillh4 )
(type ?drillh4 drilledhole )
(partof ?drillh4 ?hhor1 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t15 )
(!process ?thr2 ?t10 )
(!process ?ucut1 ?t9 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?ucut4 ?t9 )
(!process ?slp4 ?t5 )
(!mountfromfixed ?hhor2 ?drillh4 )
(!process ?drillh4 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?ucut1 )
(type ?ucut1 undercut )
(partof ?ucut1 ?hhor3 )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(processingarea ?slp4 )
(type ?slp4 slope )
(partof ?slp4 ?hhor2 )
(tool ?t5 )
(type ?t5 slopetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t8 )
(!process ?ucut1 ?t17 )
(!process ?grov4 ?t20 )
(!process ?rof4 ?t6 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?grov3 ?t20 )
(!process ?rof3 ?t6 )
(!process ?slp4 ?t5 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?slp2 )
(type ?slp2 slope )
(partof ?slp2 ?hhor1 )
(tool ?t13 )
(type ?t13 slopetool )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
(processingarea ?slp4 )
(type ?slp4 slope )
(partof ?slp4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t16 )
(!process ?grov2 ?t20 )
(!process ?slp2 ?t13 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?slp3 ?t13 )
(!process ?slp4 ?t13 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t24 )
(type ?t24 cuttingtool )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t18 )
(type ?t18 threadtool )
(processingarea ?slp1 )
(type ?slp1 slope )
(partof ?slp1 ?hhor3 )
(tool ?t13 )
(type ?t13 slopetool )
(processingarea ?rof1 )
(type ?rof1 roundoff )
(partof ?rof1 ?hhor3 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?thr3 )
(type ?thr3 thread )
(partof ?thr3 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t24 )
(!process ?thr2 ?t18 )
(!process ?slp1 ?t13 )
(!process ?rof1 ?t6 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?thr3 ?t18 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t24 )
(type ?t24 cuttingtool )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t18 )
(type ?t18 threadtool )
(processingarea ?slp1 )
(type ?slp1 slope )
(partof ?slp1 ?hhor3 )
(tool ?t13 )
(type ?t13 slopetool )
(processingarea ?rof1 )
(type ?rof1 roundoff )
(partof ?rof1 ?hhor3 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?thr3 )
(type ?thr3 thread )
(partof ?thr3 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t24 )
(!process ?thr2 ?t18 )
(!process ?slp1 ?t13 )
(!process ?rof1 ?t6 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?thr3 ?t18 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t24 )
(type ?t24 cuttingtool )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
(tool ?t3 )
(type ?t3 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t24 )
(!process ?grov2 ?t20 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t24 )
(!mountfromfixed ?hhor2 ?drillh2 )
(!process ?drillh2 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t14 )
(type ?t14 roundofftool )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
(tool ?t5 )
(type ?t5 slopetool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
(processingarea ?slp4 )
(type ?slp4 slope )
(partof ?slp4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?rof2 ?t14 )
(!process ?rof4 ?t14 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?slp3 ?t5 )
(!process ?rof3 ?t14 )
(!process ?ucut4 ?t1 )
(!process ?slp4 ?t5 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(tool ?t12 )
(type ?t12 groovetool )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?grov4 ?t12 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?ucut4 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?ucut3 )
(type ?ucut3 undercut )
(partof ?ucut3 ?hhor2 )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?ucut2 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?ucut3 ?t1 )
(!process ?ucut4 ?t1 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
(tool ?t21 )
(type ?t21 slopetool )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t3 )
(type ?t3 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?slp3 ?t21 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(processingarea ?drillh1 )
(type ?drillh1 drilledhole )
(partof ?drillh1 ?hhor3 )
(tool ?t11 )
(type ?t11 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t9 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!mountfromfixed ?hhor2 ?drillh1 )
(!process ?drillh1 ?t11 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t23 )
(type ?t23 cuttingtool )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t12 )
(type ?t12 groovetool )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
(tool ?t13 )
(type ?t13 slopetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t23 )
(!process ?grov2 ?t12 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?slp3 ?t13 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t15 )
(type ?t15 cuttingtool )
(processingarea ?thr1 )
(type ?thr1 thread )
(partof ?thr1 ?hhor3 )
(tool ?t10 )
(type ?t10 threadtool )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t22 )
(type ?t22 roundofftool )
(processingarea ?thr3 )
(type ?thr3 thread )
(partof ?thr3 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t15 )
(!process ?thr1 ?t10 )
(!process ?thr2 ?t10 )
(!process ?rof2 ?t22 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?thr3 ?t10 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t24 )
(type ?t24 cuttingtool )
(processingarea ?ucut1 )
(type ?ucut1 undercut )
(partof ?ucut1 ?hhor3 )
(processingarea ?rof1 )
(type ?rof1 roundoff )
(partof ?rof1 ?hhor3 )
(tool ?t6 )
(type ?t6 roundofftool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t24 )
(!process ?ucut1 ?t9 )
(!process ?rof1 ?t6 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t15 )
(type ?t15 cuttingtool )
(processingarea ?ucut1 )
(type ?ucut1 undercut )
(partof ?ucut1 ?hhor3 )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(tool ?t22 )
(type ?t22 roundofftool )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
(tool ?t11 )
(type ?t11 drilledholetool )
(processingarea ?drillh4 )
(type ?drillh4 drilledhole )
(partof ?drillh4 ?hhor1 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t15 )
(!process ?ucut1 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?rof3 ?t22 )
(!process ?ucut4 ?t1 )
(!mountfromfixed ?hhor2 ?drillh2 )
(!process ?drillh2 ?t11 )
(!process ?drillh4 ?t11 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?slp1 )
(type ?slp1 slope )
(partof ?slp1 ?hhor3 )
(tool ?t13 )
(type ?t13 slopetool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t22 )
(type ?t22 roundofftool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t16 )
(!process ?slp1 ?t13 )
(!process ?ucut2 ?t9 )
(!process ?rof4 ?t22 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t24 )
(type ?t24 cuttingtool )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t10 )
(type ?t10 threadtool )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t4 )
(type ?t4 groovetool )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
(tool ?t5 )
(type ?t5 slopetool )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t24 )
(!process ?thr2 ?t10 )
(!process ?grov2 ?t4 )
(!process ?grov4 ?t4 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?slp3 ?t5 )
(!process ?ucut4 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t8 )
(!process ?hhor3 ?t8 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t8 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(tool ?t12 )
(type ?t12 groovetool )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?grov3 ?t12 )
(!process ?ucut4 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(tool ?t14 )
(type ?t14 roundofftool )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?rof3 ?t14 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t4 )
(type ?t4 groovetool )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t14 )
(type ?t14 roundofftool )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
(tool ?t19 )
(type ?t19 drilledholetool )
(processingarea ?drillh4 )
(type ?drillh4 drilledhole )
(partof ?drillh4 ?hhor1 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?grov2 ?t4 )
(!process ?rof4 ?t14 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?grov3 ?t4 )
(!mountfromfixed ?hhor2 ?drillh2 )
(!process ?drillh2 ?t19 )
(!process ?drillh4 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?ucut2 ?t9 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?ucut4 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?thr3 )
(type ?thr3 thread )
(partof ?thr3 ?hhor2 )
(tool ?t10 )
(type ?t10 threadtool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(tool ?t6 )
(type ?t6 roundofftool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t16 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t16 )
(!process ?thr3 ?t10 )
(!process ?rof3 ?t6 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?thr3 )
(type ?thr3 thread )
(partof ?thr3 ?hhor2 )
(tool ?t10 )
(type ?t10 threadtool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(tool ?t6 )
(type ?t6 roundofftool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t16 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t16 )
(!process ?thr3 ?t10 )
(!process ?rof3 ?t6 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t12 )
(type ?t12 groovetool )
(processingarea ?slp2 )
(type ?slp2 slope )
(partof ?slp2 ?hhor1 )
(tool ?t13 )
(type ?t13 slopetool )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t6 )
(type ?t6 roundofftool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?grov2 ?t12 )
(!process ?slp2 ?t13 )
(!process ?rof4 ?t6 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
(tool ?t13 )
(type ?t13 slopetool )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
(processingarea ?slp4 )
(type ?slp4 slope )
(partof ?slp4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?grov4 ?t20 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?slp3 ?t13 )
(!process ?ucut4 ?t17 )
(!process ?slp4 ?t13 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?rof2 ?t6 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
(tool ?t21 )
(type ?t21 slopetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?ucut2 ?t9 )
(!process ?grov2 ?t20 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?grov3 ?t20 )
(!process ?slp3 ?t21 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t8 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t8 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?thr3 )
(type ?thr3 thread )
(partof ?thr3 ?hhor1 )
(tool ?t10 )
(type ?t10 threadtool )
(processingarea ?slp2 )
(type ?slp2 slope )
(partof ?slp2 ?hhor1 )
(tool ?t13 )
(type ?t13 slopetool )
(processingarea ?ucut3 )
(type ?ucut3 undercut )
(partof ?ucut3 ?hhor2 )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(tool ?t4 )
(type ?t4 groovetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?thr3 ?t10 )
(!process ?slp2 ?t13 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?ucut3 ?t17 )
(!process ?grov3 ?t4 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(processingarea ?drillh1 )
(type ?drillh1 drilledhole )
(partof ?drillh1 ?hhor3 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t16 )
(!process ?grov2 ?t20 )
(!process ?grov4 ?t20 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?grov3 ?t20 )
(!mountfromfixed ?hhor2 ?drillh1 )
(!process ?drillh1 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?grov1 )
(type ?grov1 groove )
(partof ?grov1 ?hhor3 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?slp1 )
(type ?slp1 slope )
(partof ?slp1 ?hhor3 )
(tool ?t5 )
(type ?t5 slopetool )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t3 )
(type ?t3 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t8 )
(!process ?grov1 ?t20 )
(!process ?slp1 ?t5 )
(!process ?grov2 ?t20 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?ucut4 ?t1 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?grov1 )
(type ?grov1 groove )
(partof ?grov1 ?hhor3 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?slp1 )
(type ?slp1 slope )
(partof ?slp1 ?hhor3 )
(tool ?t5 )
(type ?t5 slopetool )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t3 )
(type ?t3 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t8 )
(!process ?grov1 ?t20 )
(!process ?slp1 ?t5 )
(!process ?grov2 ?t20 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?ucut4 ?t1 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t17 )
(!process ?ucut2 ?t17 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(tool ?t22 )
(type ?t22 roundofftool )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t1 )
(!process ?ucut2 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?rof3 ?t22 )
(!mountfromfixed ?hhor2 ?drillh2 )
(!process ?drillh2 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?ucut3 )
(type ?ucut3 undercut )
(partof ?ucut3 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?ucut3 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?slp2 )
(type ?slp2 slope )
(partof ?slp2 ?hhor1 )
(tool ?t13 )
(type ?t13 slopetool )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(tool ?t4 )
(type ?t4 groovetool )
(processingarea ?slp4 )
(type ?slp4 slope )
(partof ?slp4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?ucut2 ?t17 )
(!process ?slp2 ?t13 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?grov3 ?t4 )
(!process ?slp4 ?t13 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?slp2 )
(type ?slp2 slope )
(partof ?slp2 ?hhor1 )
(tool ?t5 )
(type ?t5 slopetool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(tool ?t14 )
(type ?t14 roundofftool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?slp2 ?t5 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?rof3 ?t14 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?slp2 )
(type ?slp2 slope )
(partof ?slp2 ?hhor1 )
(tool ?t5 )
(type ?t5 slopetool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(tool ?t14 )
(type ?t14 roundofftool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?slp2 ?t5 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?rof3 ?t14 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t14 )
(type ?t14 roundofftool )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?rof2 ?t14 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?ucut4 ?t9 )
(!mountfromfixed ?hhor2 ?drillh2 )
(!process ?drillh2 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?thr3 )
(type ?thr3 thread )
(partof ?thr3 ?hhor1 )
(tool ?t18 )
(type ?t18 threadtool )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(tool ?t12 )
(type ?t12 groovetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?thr3 ?t18 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?grov3 ?t12 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?ucut2 ?t9 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t19 )
(type ?t19 drilledholetool )
(processingarea ?drillh4 )
(type ?drillh4 drilledhole )
(partof ?drillh4 ?hhor1 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t8 )
(!process ?rof2 ?t6 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t8 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t19 )
(!mountfromfixed ?hhor2 ?drillh4 )
(!process ?drillh4 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
(tool ?t13 )
(type ?t13 slopetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?grov2 ?t20 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?slp3 ?t13 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t3 )
(type ?t3 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?grov3 ?t20 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?ucut3 )
(type ?ucut3 undercut )
(partof ?ucut3 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?ucut2 ?t17 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?ucut3 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t12 )
(type ?t12 groovetool )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
(tool ?t3 )
(type ?t3 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?grov2 ?t12 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!mountfromfixed ?hhor2 ?drillh2 )
(!process ?drillh2 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
(tool ?t5 )
(type ?t5 slopetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?slp3 ?t5 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t22 )
(type ?t22 roundofftool )
(processingarea ?thr3 )
(type ?thr3 thread )
(partof ?thr3 ?hhor2 )
(tool ?t2 )
(type ?t2 threadtool )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
(tool ?t11 )
(type ?t11 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?ucut2 ?t1 )
(!process ?rof4 ?t22 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?thr3 ?t2 )
(!mountfromfixed ?hhor2 ?drillh2 )
(!process ?drillh2 ?t11 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?slp4 )
(type ?slp4 slope )
(partof ?slp4 ?hhor2 )
(tool ?t13 )
(type ?t13 slopetool )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t3 )
(type ?t3 drilledholetool )
(processingarea ?drillh4 )
(type ?drillh4 drilledhole )
(partof ?drillh4 ?hhor1 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?slp4 ?t13 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t3 )
(!mountfromfixed ?hhor2 ?drillh4 )
(!process ?drillh4 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?ucut3 )
(type ?ucut3 undercut )
(partof ?ucut3 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?ucut2 ?t9 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?ucut3 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(tool ?t20 )
(type ?t20 groovetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?grov4 ?t20 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t14 )
(type ?t14 roundofftool )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(tool ?t12 )
(type ?t12 groovetool )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
(tool ?t21 )
(type ?t21 slopetool )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?rof4 ?t14 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?grov3 ?t12 )
(!process ?slp3 ?t21 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?ucut3 )
(type ?ucut3 undercut )
(partof ?ucut3 ?hhor2 )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(tool ?t6 )
(type ?t6 roundofftool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?ucut3 ?t17 )
(!process ?rof3 ?t6 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t6 )
(type ?t6 roundofftool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?ucut2 ?t1 )
(!process ?rof4 ?t6 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?ucut3 )
(type ?ucut3 undercut )
(partof ?ucut3 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?ucut3 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
(tool ?t21 )
(type ?t21 slopetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?rof2 ?t6 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?slp3 ?t21 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?slp2 )
(type ?slp2 slope )
(partof ?slp2 ?hhor1 )
(tool ?t21 )
(type ?t21 slopetool )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?drillh4 )
(type ?drillh4 drilledhole )
(partof ?drillh4 ?hhor1 )
(tool ?t3 )
(type ?t3 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?slp2 ?t21 )
(!process ?grov4 ?t20 )
(!process ?rof4 ?t6 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!mountfromfixed ?hhor2 ?drillh4 )
(!process ?drillh4 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t11 )
(type ?t11 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t11 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t22 )
(type ?t22 roundofftool )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(tool ?t12 )
(type ?t12 groovetool )
(processingarea ?slp4 )
(type ?slp4 slope )
(partof ?slp4 ?hhor2 )
(tool ?t13 )
(type ?t13 slopetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?ucut2 ?t1 )
(!process ?rof2 ?t22 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?grov3 ?t12 )
(!process ?slp4 ?t13 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t22 )
(type ?t22 roundofftool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
(processingarea ?drillh4 )
(type ?drillh4 drilledhole )
(partof ?drillh4 ?hhor1 )
(tool ?t3 )
(type ?t3 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t16 )
(!process ?rof4 ?t22 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?rof3 ?t22 )
(!process ?ucut4 ?t9 )
(!mountfromfixed ?hhor2 ?drillh4 )
(!process ?drillh4 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t22 )
(type ?t22 roundofftool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
(processingarea ?drillh4 )
(type ?drillh4 drilledhole )
(partof ?drillh4 ?hhor1 )
(tool ?t3 )
(type ?t3 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t16 )
(!process ?rof4 ?t22 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?rof3 ?t22 )
(!process ?ucut4 ?t9 )
(!mountfromfixed ?hhor2 ?drillh4 )
(!process ?drillh4 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?drillh1 )
(type ?drillh1 drilledhole )
(partof ?drillh1 ?hhor3 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t16 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!mountfromfixed ?hhor2 ?drillh1 )
(!process ?drillh1 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t10 )
(type ?t10 threadtool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(tool ?t14 )
(type ?t14 roundofftool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t1 )
(!process ?thr2 ?t10 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?rof3 ?t14 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t3 )
(type ?t3 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?ucut3 )
(type ?ucut3 undercut )
(partof ?ucut3 ?hhor2 )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?ucut3 ?t1 )
(!process ?ucut4 ?t1 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?thr3 )
(type ?thr3 thread )
(partof ?thr3 ?hhor1 )
(tool ?t2 )
(type ?t2 threadtool )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(tool ?t12 )
(type ?t12 groovetool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(tool ?t22 )
(type ?t22 roundofftool )
(processingarea ?drillh4 )
(type ?drillh4 drilledhole )
(partof ?drillh4 ?hhor1 )
(tool ?t11 )
(type ?t11 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?thr3 ?t2 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?grov3 ?t12 )
(!process ?rof3 ?t22 )
(!mountfromfixed ?hhor2 ?drillh4 )
(!process ?drillh4 ?t11 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t11 )
(type ?t11 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?rof3 ?t6 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t11 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(tool ?t4 )
(type ?t4 groovetool )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?ucut2 ?t1 )
(!process ?grov4 ?t4 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!mountfromfixed ?hhor2 ?drillh2 )
(!process ?drillh2 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t14 )
(type ?t14 roundofftool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?ucut2 ?t9 )
(!process ?rof4 ?t14 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t11 )
(type ?t11 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t11 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
(tool ?t3 )
(type ?t3 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!mountfromfixed ?hhor2 ?drillh2 )
(!process ?drillh2 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
(tool ?t3 )
(type ?t3 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!mountfromfixed ?hhor2 ?drillh2 )
(!process ?drillh2 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(tool ?t12 )
(type ?t12 groovetool )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t16 )
(!process ?grov4 ?t12 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?ucut4 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t24 )
(type ?t24 cuttingtool )
(processingarea ?slp1 )
(type ?slp1 slope )
(partof ?slp1 ?hhor3 )
(tool ?t13 )
(type ?t13 slopetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t24 )
(!process ?slp1 ?t13 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t2 )
(type ?t2 threadtool )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t19 )
(type ?t19 drilledholetool )
(processingarea ?drillh4 )
(type ?drillh4 drilledhole )
(partof ?drillh4 ?hhor1 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t9 )
(!process ?thr2 ?t2 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t19 )
(!mountfromfixed ?hhor2 ?drillh4 )
(!process ?drillh4 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(processingarea ?slp2 )
(type ?slp2 slope )
(partof ?slp2 ?hhor1 )
(tool ?t5 )
(type ?t5 slopetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t17 )
(!process ?slp2 ?t5 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?ucut1 )
(type ?ucut1 undercut )
(partof ?ucut1 ?hhor3 )
(processingarea ?rof1 )
(type ?rof1 roundoff )
(partof ?rof1 ?hhor3 )
(tool ?t22 )
(type ?t22 roundofftool )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
(tool ?t21 )
(type ?t21 slopetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t8 )
(!process ?ucut1 ?t9 )
(!process ?rof1 ?t22 )
(!process ?rof4 ?t22 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?slp3 ?t21 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t24 )
(type ?t24 cuttingtool )
(processingarea ?ucut1 )
(type ?ucut1 undercut )
(partof ?ucut1 ?hhor3 )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(tool ?t14 )
(type ?t14 roundofftool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t24 )
(!process ?ucut1 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?rof3 ?t14 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t18 )
(type ?t18 threadtool )
(processingarea ?slp2 )
(type ?slp2 slope )
(partof ?slp2 ?hhor1 )
(tool ?t21 )
(type ?t21 slopetool )
(processingarea ?drillh1 )
(type ?drillh1 drilledhole )
(partof ?drillh1 ?hhor3 )
(tool ?t11 )
(type ?t11 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t17 )
(!process ?thr2 ?t18 )
(!process ?slp2 ?t21 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!mountfromfixed ?hhor2 ?drillh1 )
(!process ?drillh1 ?t11 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t14 )
(type ?t14 roundofftool )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(tool ?t12 )
(type ?t12 groovetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?rof2 ?t14 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?grov3 ?t12 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
(processingarea ?slp4 )
(type ?slp4 slope )
(partof ?slp4 ?hhor2 )
(tool ?t5 )
(type ?t5 slopetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?ucut2 ?t17 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?grov3 ?t20 )
(!process ?ucut4 ?t17 )
(!process ?slp4 ?t5 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t14 )
(type ?t14 roundofftool )
(processingarea ?drillh4 )
(type ?drillh4 drilledhole )
(partof ?drillh4 ?hhor1 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?rof2 ?t14 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!mountfromfixed ?hhor2 ?drillh4 )
(!process ?drillh4 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t24 )
(type ?t24 cuttingtool )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t22 )
(type ?t22 roundofftool )
(processingarea ?thr3 )
(type ?thr3 thread )
(partof ?thr3 ?hhor2 )
(tool ?t18 )
(type ?t18 threadtool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t24 )
(!process ?rof2 ?t22 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t24 )
(!process ?thr3 ?t18 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(tool ?t12 )
(type ?t12 groovetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?ucut2 ?t17 )
(!process ?rof2 ?t6 )
(!process ?grov4 ?t12 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t4 )
(type ?t4 groovetool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(tool ?t6 )
(type ?t6 roundofftool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?grov2 ?t4 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?rof3 ?t6 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?grov1 )
(type ?grov1 groove )
(partof ?grov1 ?hhor3 )
(tool ?t12 )
(type ?t12 groovetool )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t22 )
(type ?t22 roundofftool )
(processingarea ?ucut3 )
(type ?ucut3 undercut )
(partof ?ucut3 ?hhor2 )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
(tool ?t11 )
(type ?t11 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t16 )
(!process ?grov1 ?t12 )
(!process ?rof4 ?t22 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?ucut3 ?t1 )
(!mountfromfixed ?hhor2 ?drillh2 )
(!process ?drillh2 ?t11 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(processingarea ?thr1 )
(type ?thr1 thread )
(partof ?thr1 ?hhor3 )
(tool ?t18 )
(type ?t18 threadtool )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(processingarea ?drillh1 )
(type ?drillh1 drilledhole )
(partof ?drillh1 ?hhor3 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t17 )
(!process ?thr1 ?t18 )
(!process ?thr2 ?t18 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!mountfromfixed ?hhor2 ?drillh1 )
(!process ?drillh1 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(processingarea ?slp1 )
(type ?slp1 slope )
(partof ?slp1 ?hhor3 )
(tool ?t5 )
(type ?t5 slopetool )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(tool ?t12 )
(type ?t12 groovetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t17 )
(!process ?slp1 ?t5 )
(!process ?grov4 ?t12 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t24 )
(type ?t24 cuttingtool )
(processingarea ?ucut1 )
(type ?ucut1 undercut )
(partof ?ucut1 ?hhor3 )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(tool ?t12 )
(type ?t12 groovetool )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
(tool ?t13 )
(type ?t13 slopetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t24 )
(!process ?ucut1 ?t17 )
(!process ?rof2 ?t6 )
(!process ?grov4 ?t12 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?slp3 ?t13 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t18 )
(type ?t18 threadtool )
(processingarea ?ucut1 )
(type ?ucut1 undercut )
(partof ?ucut1 ?hhor3 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t17 )
(!process ?thr2 ?t18 )
(!process ?ucut1 ?t17 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t23 )
(type ?t23 cuttingtool )
(processingarea ?ucut1 )
(type ?ucut1 undercut )
(partof ?ucut1 ?hhor3 )
(processingarea ?grov1 )
(type ?grov1 groove )
(partof ?grov1 ?hhor3 )
(tool ?t12 )
(type ?t12 groovetool )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t14 )
(type ?t14 roundofftool )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(processingarea ?ucut3 )
(type ?ucut3 undercut )
(partof ?ucut3 ?hhor2 )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
(tool ?t21 )
(type ?t21 slopetool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t23 )
(!process ?ucut1 ?t1 )
(!process ?grov1 ?t12 )
(!process ?grov2 ?t12 )
(!process ?rof2 ?t14 )
(!process ?rof4 ?t14 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?ucut3 ?t1 )
(!process ?slp3 ?t21 )
(!process ?rof3 ?t14 )
(!process ?ucut4 ?t1 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t23 )
(type ?t23 cuttingtool )
(processingarea ?thr1 )
(type ?thr1 thread )
(partof ?thr1 ?hhor3 )
(tool ?t10 )
(type ?t10 threadtool )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(tool ?t12 )
(type ?t12 groovetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t23 )
(!process ?thr1 ?t10 )
(!process ?grov4 ?t12 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?slp2 )
(type ?slp2 slope )
(partof ?slp2 ?hhor1 )
(tool ?t21 )
(type ?t21 slopetool )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
(tool ?t11 )
(type ?t11 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t8 )
(!process ?slp2 ?t21 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!mountfromfixed ?hhor2 ?drillh2 )
(!process ?drillh2 ?t11 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?rof1 )
(type ?rof1 roundoff )
(partof ?rof1 ?hhor3 )
(tool ?t22 )
(type ?t22 roundofftool )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t8 )
(!process ?rof1 ?t22 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?ucut4 ?t9 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?rof1 )
(type ?rof1 roundoff )
(partof ?rof1 ?hhor3 )
(tool ?t22 )
(type ?t22 roundofftool )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t8 )
(!process ?rof1 ?t22 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?ucut4 ?t9 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?slp2 )
(type ?slp2 slope )
(partof ?slp2 ?hhor1 )
(tool ?t13 )
(type ?t13 slopetool )
(processingarea ?slp3 )
(type ?slp3 slope )
(partof ?slp3 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t8 )
(!process ?slp2 ?t13 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?slp3 ?t13 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?thr3 )
(type ?thr3 thread )
(partof ?thr3 ?hhor2 )
(tool ?t2 )
(type ?t2 threadtool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
(processingarea ?drillh1 )
(type ?drillh1 drilledhole )
(partof ?drillh1 ?hhor3 )
(tool ?t3 )
(type ?t3 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t16 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?thr3 ?t2 )
(!process ?rof3 ?t6 )
(!process ?ucut4 ?t1 )
(!mountfromfixed ?hhor2 ?drillh1 )
(!process ?drillh1 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?slp2 )
(type ?slp2 slope )
(partof ?slp2 ?hhor1 )
(tool ?t21 )
(type ?t21 slopetool )
(processingarea ?slp4 )
(type ?slp4 slope )
(partof ?slp4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?ucut2 ?t1 )
(!process ?grov2 ?t20 )
(!process ?slp2 ?t21 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?slp4 ?t21 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?thr3 )
(type ?thr3 thread )
(partof ?thr3 ?hhor1 )
(tool ?t2 )
(type ?t2 threadtool )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t14 )
(type ?t14 roundofftool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?thr3 ?t2 )
(!process ?rof2 ?t14 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?rof3 ?t14 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?thr3 )
(type ?thr3 thread )
(partof ?thr3 ?hhor1 )
(tool ?t2 )
(type ?t2 threadtool )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(tool ?t14 )
(type ?t14 roundofftool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
(tool ?t19 )
(type ?t19 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?thr3 ?t2 )
(!process ?rof2 ?t14 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?rof3 ?t14 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(tool ?t22 )
(type ?t22 roundofftool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?grov4 ?t20 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?rof3 ?t22 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?drillh1 )
(type ?drillh1 drilledhole )
(partof ?drillh1 ?hhor3 )
(tool ?t3 )
(type ?t3 drilledholetool )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t16 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!mountfromfixed ?hhor2 ?drillh1 )
(!process ?drillh1 ?t3 )
(!process ?drillh2 ?t3 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t23 )
(type ?t23 cuttingtool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(tool ?t6 )
(type ?t6 roundofftool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t23 )
(!process ?ucut2 ?t17 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?rof3 ?t6 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t23 )
(type ?t23 cuttingtool )
(processingarea ?grov1 )
(type ?grov1 groove )
(partof ?grov1 ?hhor3 )
(tool ?t4 )
(type ?t4 groovetool )
(processingarea ?rof1 )
(type ?rof1 roundoff )
(partof ?rof1 ?hhor3 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(processingarea ?drillh1 )
(type ?drillh1 drilledhole )
(partof ?drillh1 ?hhor3 )
(tool ?t11 )
(type ?t11 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t23 )
(!process ?grov1 ?t4 )
(!process ?rof1 ?t6 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?rof3 ?t6 )
(!mountfromfixed ?hhor2 ?drillh1 )
(!process ?drillh1 ?t11 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t7 )
(type ?t7 cuttingtool )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t18 )
(type ?t18 threadtool )
(processingarea ?drillh4 )
(type ?drillh4 drilledhole )
(partof ?drillh4 ?hhor1 )
(tool ?t11 )
(type ?t11 drilledholetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t7 )
(!process ?thr2 ?t18 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!mountfromfixed ?hhor2 ?drillh4 )
(!process ?drillh4 ?t11 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?thr1 )
(type ?thr1 thread )
(partof ?thr1 ?hhor3 )
(tool ?t18 )
(type ?t18 threadtool )
(processingarea ?grov1 )
(type ?grov1 groove )
(partof ?grov1 ?hhor3 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?thr3 )
(type ?thr3 thread )
(partof ?thr3 ?hhor2 )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
(processingarea ?drillh1 )
(type ?drillh1 drilledhole )
(partof ?drillh1 ?hhor3 )
(tool ?t19 )
(type ?t19 drilledholetool )
(processingarea ?drillh4 )
(type ?drillh4 drilledhole )
(partof ?drillh4 ?hhor1 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t16 )
(!process ?thr1 ?t18 )
(!process ?grov1 ?t20 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?thr3 ?t18 )
(!process ?ucut4 ?t17 )
(!mountfromfixed ?hhor2 ?drillh1 )
(!process ?drillh1 ?t19 )
(!process ?drillh4 ?t19 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t2 )
(type ?t2 threadtool )
(processingarea ?grov1 )
(type ?grov1 groove )
(partof ?grov1 ?hhor3 )
(tool ?t20 )
(type ?t20 groovetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t9 )
(!process ?thr2 ?t2 )
(!process ?grov1 ?t20 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t16 )
(type ?t16 cuttingtool )
(processingarea ?slp1 )
(type ?slp1 slope )
(partof ?slp1 ?hhor3 )
(tool ?t21 )
(type ?t21 slopetool )
(processingarea ?rof1 )
(type ?rof1 roundoff )
(partof ?rof1 ?hhor3 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?slp2 )
(type ?slp2 slope )
(partof ?slp2 ?hhor1 )
(processingarea ?rof2 )
(type ?rof2 roundoff )
(partof ?rof2 ?hhor1 )
(processingarea ?ucut3 )
(type ?ucut3 undercut )
(partof ?ucut3 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t16 )
(!process ?slp1 ?t21 )
(!process ?rof1 ?t6 )
(!process ?grov2 ?t20 )
(!process ?slp2 ?t21 )
(!process ?rof2 ?t6 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?ucut3 ?t17 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t17 )
(type ?t17 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
(tool ?t20 )
(type ?t20 groovetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t17 )
(!process ?hhor3 ?t8 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t17 )
(!process ?grov3 ?t20 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?grov1 )
(type ?grov1 groove )
(partof ?grov1 ?hhor3 )
(tool ?t20 )
(type ?t20 groovetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t8 )
(!process ?grov1 ?t20 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 processingarea )
(partof ?hhor3 ?wp )
(tool ?t8 )
(type ?t8 cuttingtool )
(processingarea ?grov1 )
(type ?grov1 groove )
(partof ?grov1 ?hhor3 )
(tool ?t20 )
(type ?t20 groovetool )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t8 )
(!process ?grov1 ?t20 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t18 )
(type ?t18 threadtool )
(processingarea ?ucut1 )
(type ?ucut1 undercut )
(partof ?ucut1 ?hhor3 )
(processingarea ?slp1 )
(type ?slp1 slope )
(partof ?slp1 ?hhor3 )
(tool ?t13 )
(type ?t13 slopetool )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(tool ?t20 )
(type ?t20 groovetool )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?ucut3 )
(type ?ucut3 undercut )
(partof ?ucut3 ?hhor2 )
(processingarea ?ucut4 )
(type ?ucut4 undercut )
(partof ?ucut4 ?hhor2 )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
(tool ?t11 )
(type ?t11 drilledholetool )
(processingarea ?drillh3 )
(type ?drillh3 drilledhole )
(partof ?drillh3 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t1 )
(!process ?thr2 ?t18 )
(!process ?ucut1 ?t1 )
(!process ?slp1 ?t13 )
(!process ?grov4 ?t20 )
(!process ?rof4 ?t6 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!process ?ucut3 ?t1 )
(!process ?ucut4 ?t1 )
(!mountfromfixed ?hhor2 ?drillh2 )
(!process ?drillh2 ?t11 )
(!mountfromfixed ?hhor1 ?drillh3 )
(!process ?drillh3 ?t11 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t1 )
(type ?t1 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t24 )
(type ?t24 cuttingtool )
(processingarea ?thr1 )
(type ?thr1 thread )
(partof ?thr1 ?hhor3 )
(tool ?t18 )
(type ?t18 threadtool )
(processingarea ?ucut1 )
(type ?ucut1 undercut )
(partof ?ucut1 ?hhor3 )
(processingarea ?grov1 )
(type ?grov1 groove )
(partof ?grov1 ?hhor3 )
(tool ?t12 )
(type ?t12 groovetool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?drillh2 )
(type ?drillh2 drilledhole )
(partof ?drillh2 ?hhor1 )
(tool ?t11 )
(type ?t11 drilledholetool )
(processingarea ?drillh4 )
(type ?drillh4 drilledhole )
(partof ?drillh4 ?hhor1 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t1 )
(!process ?hhor3 ?t24 )
(!process ?thr1 ?t18 )
(!process ?ucut1 ?t1 )
(!process ?grov1 ?t12 )
(!process ?ucut2 ?t1 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t1 )
(!mountfromfixed ?hhor2 ?drillh2 )
(!process ?drillh2 ?t11 )
(!process ?drillh4 ?t11 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(processingarea ?thr2 )
(type ?thr2 thread )
(partof ?thr2 ?hhor3 )
(tool ?t2 )
(type ?t2 threadtool )
(processingarea ?ucut1 )
(type ?ucut1 undercut )
(partof ?ucut1 ?hhor3 )
(processingarea ?thr3 )
(type ?thr3 thread )
(partof ?thr3 ?hhor1 )
(processingarea ?grov4 )
(type ?grov4 groove )
(partof ?grov4 ?hhor1 )
(tool ?t4 )
(type ?t4 groovetool )
(processingarea ?rof4 )
(type ?rof4 roundoff )
(partof ?rof4 ?hhor1 )
(tool ?t6 )
(type ?t6 roundofftool )
(processingarea ?grov3 )
(type ?grov3 groove )
(partof ?grov3 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t9 )
(!process ?thr2 ?t2 )
(!process ?ucut1 ?t9 )
(!process ?thr3 ?t2 )
(!process ?grov4 ?t4 )
(!process ?rof4 ?t6 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?grov3 ?t4 )
(!do-nothing )
))


(:case (manufacture ?wp )
((type ?wp workpiece )
(processingarea ?hhor1 )
(processingarea ?hhor2 )
(type ?hhor1 ascendingoutline )
(type ?hhor2 descendingoutline )
(partof ?hhor1 ?wp )
(partof ?hhor2 ?wp )
(tool ?t9 )
(type ?t9 outlntool )
(processingarea ?hhor3 )
(type ?hhor3 horizontaloutline )
(partof ?hhor3 ?wp )
(tool ?t23 )
(type ?t23 cuttingtool )
(processingarea ?slp1 )
(type ?slp1 slope )
(partof ?slp1 ?hhor3 )
(tool ?t21 )
(type ?t21 slopetool )
(processingarea ?ucut2 )
(type ?ucut2 undercut )
(partof ?ucut2 ?hhor1 )
(processingarea ?grov2 )
(type ?grov2 groove )
(partof ?grov2 ?hhor1 )
(tool ?t4 )
(type ?t4 groovetool )
(processingarea ?rof3 )
(type ?rof3 roundoff )
(partof ?rof3 ?hhor2 )
(tool ?t14 )
(type ?t14 roundofftool )
(processingarea ?slp4 )
(type ?slp4 slope )
(partof ?slp4 ?hhor2 )
)
()
(
(!mountfromrotary ?hhor2 ?hhor1 )
(!process ?hhor1 ?t9 )
(!process ?hhor3 ?t23 )
(!process ?slp1 ?t21 )
(!process ?ucut2 ?t9 )
(!process ?grov2 ?t4 )
(!mountfromrotary ?hhor1 ?hhor2 )
(!process ?hhor2 ?t9 )
(!process ?rof3 ?t14 )
(!process ?slp4 ?t21 )
(!do-nothing )
))


(:case (manufa