Original: By the time Robin Hood was released, only four of the Nine Old Men were still animating at Disney.
Simplified: By the time Robin Hood was released, only four of the Nine Old Men were still animating at Disney.