let
get_filtered_by_productivity (statistic: statistic) : int =
get statistic
ID_PRODUCTIVITY