Cardamon provides a pattern matching function between a date expression and a date, which can check a inclusion relation of them.