A taxonomy of problem solving generality in graphic systems