Convergence Properties of a Gradual Learning Algorithm for Harmonic Grammar · Study