nested unitlist
no duplicate roles
precision