GORE enables a number of analyses. Firstly, it facilitates reasoning about the purpose of a proposed solution. Goal models can be analyzed to demonstrate which goals realize other goals and which goals conflict or negatively contribute to other goals