请问“ben jumps 1.3 m. David jumps 1.3 m, too.” 怎么同义词转换啊