
;;; GOAL STATE:

(load-goal 
    '(and (frame-properties <frame> shape rectangle)
	(is-flyable sharifa)))
 

 


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

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

        (is-stick tubular)
        (stick-properties tubular type tubing)
        (stick-properties tubular size 15)

	(is-stick woodstock)
	(stick-properties woodstock type wooden)
	(stick-properties woodstock size 20)

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

))








