internal Ġinterface ĠProb Explanation Ġ{ ĊĠĠĠ Ġval Ġprobability : ĠDouble ĊĠĠĠ Ġval Ġcontains Any Not Ground Term : ĠBoolean ĊĠĠĠ Ġfun Ġnot (): ĠProb Explanation ĊĠĠĠ Ġin fix Ġfun Ġand ( ĊĠĠĠĠĠĠĠ Ġthat : ĠProb Explanation ĊĠĠĠ Ġ): ĠProb Explanation ĊĠĠĠ Ġin fix Ġfun Ġor ( ĊĠĠĠĠĠĠĠ Ġthat : ĠProb Explanation ĊĠĠĠ Ġ): ĠProb Explanation ĊĠĠĠ Ġfun Ġapply ( ĊĠĠĠĠĠĠĠ Ġtransformation : Ġ( Prob Term ) Ġ-> ĠProb Term ĊĠĠĠ Ġ): ĠProb Explanation Ċ } Ċ