Context : Sima Yi's elder brother Sima Lang led the family to their ancestral home in Wen County (温縣; present-day Wen County, Henan), and then, correctly predicting that it would become a battlefield, moved them again to Liyang (黎陽; present-day Xun County, Hebi, Henan). 
Subject : Sima Yi 
Relation : spouse
What is Sima Yi's spouse's name?