Premise: Born in Huoqiu County, Anhui Province, Tao Yong (21.01.1913-21.01.1967), whose former name used to be Zhang Daoyong, was the Deputy Commander of the People's Liberation Army Navy, also known as PLA Navy, also the Lieutenant General of the People's Liberation Army.
Hypothesis: Yong served as the Lieutenant General of the People's Liberation Army before he served as the Deputy Commander.