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