code: private void processNewEdge(int role, int b) {
          final RoleSet roleClosure = getRoleClosure(role);
          processRole(role, b);
          for (int s = roleClosure.first(); s >= 0; s = roleClosure.next(s + 1)) {
              if (s == role)
                  continue;
              processRole(s, b);
          }
      }
docs: Process new subsumption: a [ role.b
  
  @param a
  @param role
  @param b