let pi label input = 
        if (leq (label_input input) label) then 
                (Event input)
        else Suppress