5. The computer-implemented system of claim 3 , further comprising means for confirming selection of the one or more grouped predicates for ungrouping.
8. The computer-implemented system of claim 5 , wherein activation of the confirming means causes a model instance to be updated with the selected ungrouping.