I want to know the answer to the following question:
Who did Songtsan Gampo marry in 640?
All the background I'm provided with is that "In 640 he married Princess Wencheng, the niece of the powerful Chinese emperor Taizong of Tang China.". Is that enough to answer the question?