private CategoricalDistribution posteriorDistribution(IProposition phi, params IProposition[] evidence);