tripleset: 1001 Gaussia FORMER_NAME "1923 OAA907 XC"
annotations.source: webnlg webnlg webnlg
annotations.text: 1001 Gaussia was formerly known as 1923 OAA907 XC. The former name of 1001 Gaussia is "1923 OAA907 XC". 1001 Gaussia's former name was 1923 OAA907 XC.