Bounding the probability of the union of events by aggregation and disaggregation in linear programs

Given a sequence of n arbitrary events in a probability space, we assume that the individual probabilities as well as some or all joint probabilities of up to m events are known, where m