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.