id,summary,status,owner,type,priority,milestone
1,First & general high-level design,assigned,iago,task,high,0.1
3,Code up Core syntax-related stuff,assigned,iago,task,high,0.1
2,Core formalization,assigned,iago,task,normal,0.1