(load-goal
    '(and (pitch chord1 soprano C 4)
          (pitch chord2 soprano D 4)
          (pitch chord3 soprano E-flat 4)
          (pitch chord4 soprano F 4)
          (valid-chord-progression)))

(load-start-state 
    '((progchord chord1 II)
      (progchord chord2 V)
      (progchord chord3 IV)
      (progchord chord4 V)
      (follows chord1 chord2)
      (follows chord2 chord3)
      (follows chord3 chord4)
      (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 E-flat)))
