id	summary	owner	type	priority	severity	resolution
3	Code up Core syntax-related stuff	iago	task	high	major	--
2	Core formalization	iago	task	normal	normal	--