Dashboard Metric Definitions

Define dashboard metrics precisely, including numerator, denominator, filters and time grain.

• data
• define