aShell = GeomAPI_ShapeExplorer(aBoxResult.shape(), GeomAPI_Shape.SHELL)
aGroup = Part_1_doc.addFeature("Group")
aGroup.selectionList("group_list").append(aBoxResult, aShell.current())
aShell = GeomAPI_ShapeExplorer(aBoxResult.shape(), GeomAPI_Shape.SHELL)
aGroup = Part_1_doc.addFeature("Group")
aGroup.selectionList("group_list").append(aBoxResult, aShell.current())