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