
        %% update trigger
        ID_list = append(IDlist, PID, IDlist2), 
        update(dyn(trigger(Instance, Trigger, processed/IDlist2, 
                   Priority, 
                   Begin_time/End_time, 
                   (Provider/Provider_type, Receiver/Receiver_type), 
                    Trigger_content) )), 

