
;;; GOAL STATE:

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

 


;;; INITIAL STATE:
 
(load-start-state '( 

        (is-bulk   spandex)
        (fabric-properties spandex type silk)

	(is-stick robsbamboo-stick)
	(stick-properties robsbamboo-stick type bamboo)
	(stick-properties robsbamboo-stick size 70)

;;; STATIC PREDICATES:
;;;
   (is-kite sharifa)
   (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-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)

))








