Symbol: timestamp_in_interval