Exact Inference

The acceptance probabilities are computed by enumerating all subframeworks of the PAF. Exact, but exponential in the number of arguments and attacks.