(load-goal
    '(valid-chord-progression))

(load-start-state 
    '((progchord chord1 IV)
      (pitch chord1 soprano A 3)
      (pitch chord1 alto F 2)
      (pitch chord1 tenor C 2)
      (pitch chord1 bass F 1)
      (range soprano C 3 A 4)
      (range alto G 2 C 4)
      (range tenor C 2 G 3)
      (range bass F 1 C 3)
      (key C)))
