Added formal dependencies between roles