1: \begin{definition}[Chase Probability Measure] \label{def:muT}

2:   Let $\G$ be a \DDatalog program, let $I$ be an input for $\G$, 

3:   let $T$ be a chase tree, and let $(\Omega,\F,\pi)$ be the

4:   probability measure of Theorem~\ref{theorem:ash}.  The probability

5:   measure $\mu_T$ over $\sol_\G(I)$ is the one obtained from

6:   $(\Omega,\F,\mu)$ by replacing every maximal path $P$ with the possible outcome

7:   $\cup P$.

8: \end{definition}

9: