This result ensures that to approximate the expected counts E w (n j ), it is sufficient to keep exactly one sentence's groundings in memory.
e w (n j ) can be written as , where e w (n k j ) indicates the expected number of satisfied groundings of the j th formula in the k th sentence.