def Aesop.unificationGoalPenalty : Aesop.Percent

Equations

• Aesop.unificationGoalPenalty = { toFloat := 0.8 }

def Aesop.postponedSafeRuleSuccessProbability : Aesop.Percent

Equations

• Aesop.postponedSafeRuleSuccessProbability = { toFloat := 0.9 }