Nope, I'm with you, I wouldn't get rid of the cat. Ok, the cat scratched her and it was unfortunate it was near her eye but it was just scratching after being pushed and wasn't deliberately thinking 'I'll scratch her eyes out, that will have the most impact' ROFL.

If it was a dog that bit your child or a cat that was going psycho and attacking them every day then yeah, get rid of it. But 3 scratches in 3 years is no big deal IMO. Every time we visit my Aunty my kids get cat scratches because they are annoying the cat, I assume they will learn soon, we still visit.