I am trying to formulate the measure of event
$E=\{B[0\infty)\cap A,B \neq \varnothing$ and $B[0\infty)\cap C= \varnothing\}$,
where $B[0\infty)$ is a Brownian path and $A,B,C$ are pairwise disjoint compact non-empty sets. I am looking for $\mu_{W}(E)$.
One guess is:
$\mu_{W}(E)=\int_{\mathbb{R}^{d}} \int_{A}