a posteriori probability computed for facts