A unification-based model of perceptual learning in reading: logical foundations, Part 1