Re: [rules-dev] Reasoning with Uncertainty