The KB is
structured around a set of refactoring verbs that can be applied to the major
program elements in Java.
This vocabulary
was motivated by the desire to have a economical number of actions that the
user can apply to elements of the diagram, instead of a flat list that would
have to be learned and remembered.