ann_morphosyntax.xml.list 1.89 KB
W	w	prep:loc:nwok
latach	rok	subst:pl:loc:m3
1968	1968	num:pl:nom:m3:rec
-	-	interp
1980	1980	num:pl:nom:m3:rec
pracował	pracować	praet:sg:m1:imperf
w	w	prep:loc:nwok
Instytucie	instytut	subst:sg:loc:m3
Matematycznym	matematyczny	adj:sg:loc:m3:pos
Polskiej	polski	adj:sg:gen:f:pos
Akademii	akademia	subst:sg:gen:f
Nauk	nauka	subst:pl:gen:f
.	.	interp
Od	od	prep:gen:nwok
roku	rok	subst:sg:gen:m3
1980	1980	adj:sg:gen:m3:pos
związany	związany	adj:sg:nom:m1:pos
z	z	prep:inst:nwok
Uniwersytetem	uniwersytet	subst:sg:inst:m3
Wrocławskim	wrocławski	adj:sg:inst:m3:pos
.	.	interp
Tytuł	tytuł	subst:sg:acc:m3
profesorski	profesorski	adj:sg:acc:m3:pos
uzyskał	uzyskać	praet:sg:m1:perf
w	w	prep:loc:nwok
1993	1993	adj:sg:loc:m3:pos
r	rok	brev:pun
.	.	interp
Specjalista	specjalista	subst:sg:nom:m1
z	z	prep:gen:nwok
zakresu	zakres	subst:sg:gen:m3
zastosowania	zastosować	ger:sg:gen:n:perf:aff
logiki	logika	subst:sg:gen:f
w	w	prep:loc:nwok
informatyce	informatyka	subst:sg:loc:f
.	.	interp
Odznaczony	odznaczyć	ppas:sg:nom:m1:perf:aff
w	w	prep:loc:nwok
2000	2000	adj:sg:loc:m3:pos
r	rok	brev:pun
.	.	interp
Krzyżem	krzyż	subst:sg:inst:m3
Kawalerskim	kawalerski	adj:sg:inst:m3:pos
Orderu	order	subst:sg:gen:m3
Odrodzenia	odrodzenie	subst:sg:gen:n
Polski	Polska	subst:sg:gen:f
.	.	interp
W	w	prep:loc:nwok
pracy	praca	subst:sg:loc:f
naukowej	naukowy	adj:sg:loc:f:pos
zajmował	zajmować	praet:sg:m1:imperf
się	się	qub
teorią	teoria	subst:sg:inst:f
modeli	model	subst:pl:gen:m3
,	,	interp
unifikacją	unifikacja	subst:sg:inst:f
,	,	interp
logikami	logika	subst:pl:inst:f
ze	z	prep:inst:wok
zliczaniem	zliczanie	subst:sg:inst:n
,	,	interp
programowaniem	programować	ger:sg:inst:n:imperf:aff
w	w	prep:loc:nwok
logice	logika	subst:sg:loc:f
i	i	conj
więzami	więzy	subst:pl:inst:n
mnogościowymi	mnogościowy	adj:pl:inst:n:pos
(	(	interp
ang	angielski	brev:pun
.	.	interp
set	set	xxx
constraints	constraint	xxx
)	)	interp
.	.	interp