Consistent hierarchies of nonlinear abstractions