Generate UD annotations for the following tokenized text:
In ihrer Dissertation Definability and decision problems in arithmetic bewies sie die Unentscheidbarkeit der Arithmetik rationaler Zahlen.
Postion	Tokenization
1	In
2	ihrer
3	Dissertation
4	Definability
5	and
6	decision
7	problems
8	in
9	arithmetic
10	bewies
11	sie
12	die
13	Unentscheidbarkeit
14	der
15	Arithmetik
16	rationaler
17	Zahlen
18	.
Position	Tokenization	UPOS	Head	Deprel
1	In	ADP	3	case
2	ihrer	DET	3	det:poss
3	Dissertation	NOUN	10	obl
4	Definability	PROPN	3	appos
5	and	CCONJ	6	cc
6	decision	PROPN	4	conj
7	problems	PROPN	6	flat
8	in	ADP	9	case
9	arithmetic	PROPN	6	nmod
10	bewies	VERB	0	root
11	sie	PRON	10	nsubj
12	die	DET	13	det
13	Unentscheidbarkeit	NOUN	10	obj
14	der	DET	15	det
15	Arithmetik	NOUN	13	nmod
16	rationaler	ADJ	17	amod
17	Zahlen	NOUN	15	nmod
18	.	PUNCT	10	punct