lucy is 13.tom is 15.john is 17.该同义句!看下面!