
;;; GOAL STATE:

(load-goal 
  '(frame-properties <x> shape semicircle))


;;; INITIAL STATE:
 
(load-start-state '( 
	(is-stick A)
	(stick-properties A type bamboo-strip)
	(stick-properties A size 32)
	(is-stick B)
	(stick-properties B type wooden)
	(stick-properties B surface sanded)
	(stick-properties B size 27)

;;; STATIC PREDICATES:
;;;
   (have-string)
   (have-glue)
   (have-grommets)
   (have-saw)
   (have-knife)
   (have-sandpaper)
   (have-thread-and-needle)
   (have-candle-flame)
   (have-grommet-puncher)
   (have-tub-of-water)
   (have-lots-of-time)
   (have-heat-sealer)
   (have-dye)
   (have-paint)
   (have-tape)
   (have-fabric-cutter)

   (is-stick-shape circle)
   (is-stick-shape semicircle)
   (is-stick-shape angled)
   
   (is-stick-type plastic)
   (is-stick-type wooden)
   (is-stick-type bamboo)
   (is-stick-type bamboo-strip)
   (is-stick-type tubing)

   (is-fabric-type paper)
   (is-fabric-type silk)
   (is-fabric-type cotton-cloth)
   (is-fabric-type polyethylene-film)

   (is-fabric-surface painted)
   (is-fabric-surface dyed)

   (is-fabric-shape diamond)
   (is-fabric-shape rectangle)
   (is-fabric-shape circle)
   (is-fabric-shape semicircle)
   (is-fabric-shape stretch-hexagon)
   (is-fabric-shape four-circle)

   (is-frame-shape diamond)
   (is-frame-shape rectangle)
   (is-frame-shape circle)
   (is-frame-shape semicircle)
   (is-frame-shape stretch-hexagon)
   (is-frame-shape four-circle)

))








