Number Restrictions on Transitive Roles in Description Logics with Nominals