An explication of the logical model of role systems