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