To me untangling abstractions is always more difficult then building them up from the given premises. In other words, I believe generalizing from a given example to any level of abstraction is a straightforward process, but descending from built-up heights of abstraction down to the level of examples is a bit more involved.