
;;; GOAL STATE:

(load-goal 
   '(is-flyable duffy))


;;; INITIAL STATE:
 
(load-start-state '( 
    (is-kite duffy)
    (is-frame gil-a-wig)
    (is-fabric schllick)
    (is-bulk schllick)

;    (frame-properties gil-a-wig addition covering)


    (frame-properties gil-a-wig shape four-circle)
    (fabric-properties schllick surface painted)
    (fabric-properties schllick type paper)
    (fabric-properties schllick shape four-circle)

;;; 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)

))








