total probability theorem

Input interpretation

total probability theorem