Title: Generating Abstraction Hierarchies