formula_84 es formula_85 + roles transitivos + inclusión roles.