(load-goal
    '(and (pitch chord1 soprano G 3)
          (pitch chord2 soprano A-flat 3)
	  (pitch chord3 soprano B-flat 3)
          (valid-chord-progression)))

(load-start-state 
    '((progchord chord1 III)
      (progchord chord2 VI)
      (progchord chord3 VII)
      (follows chord1 chord2)
      (follows chord2 chord3)
      (range soprano B-flat 2 G 4)
      (range alto A 2 D 4)
      (range tenor A-flat 1 E-flat 3)
      (range bass G 1 D 3)
      (key A-flat)))
