Generating Abstraction Hierarchies