DEPLOY :
        SWG_Lower HOLDS SWG_Depot
        EQUALS:=
                total_dist: completion= SUCCESS
                total_finish: completion= SUCCESS
                total_cancel:completion=SUCCESS
 DEPLOYED

DEPLOY:
        LOADED_Lower HOLDS SWG_Depot
        EQUALS:=
                total_finish: completion= SUCCESS
                total_cancel: completion=SUCCESS
DEPLOYED

DEPLOY:
        CONFIG_Lower HOLDS SWG_Depot
        EQUALS:= 
                total_cancel: completion=SUCCESS
DEPLOYED

DEPLOY
        first_distribution HOLDS LOADED_Lower
DEPLOYED

DEPLOY:
        second_distribution HOLDS  CONFIG_Lower ;
DEPLOYED

DEPLOY :
        third_distribution HOLDS LOADED_Lower;
DEPLOYED

DEPLOY :
        forth_distribution HOLDS  SWG_Lower ;
DEPLOYED