Added probability specification factory