(load-goal
    '(and (pitch chord1 soprano A 3)
          (valid-chord-progression)))

(load-start-state 
    '((progchord chord1 III)
      (range soprano C 3 A 4)
      (range alto G 2 B-flat 3)
      (range tenor C 2 D 3)
      (range bass B 1 C 3)
      (key F)))
