∀ (toRuleApplication : Aesop.RuleApplication) (parent : Aesop.GoalRef) (appliedRule : Aesop.RegularRule)
  (successProbability : Aesop.Percent) (toRuleApplication_1 : Aesop.RuleApplication) (parent_1 : Aesop.GoalRef)
  (appliedRule_1 : Aesop.RegularRule) (successProbability_1 : Aesop.Percent),
  ({ toRuleApplication := toRuleApplication, parent := parent, appliedRule := appliedRule,
        successProbability := successProbability } =
      { toRuleApplication := toRuleApplication_1, parent := parent_1, appliedRule := appliedRule_1,
        successProbability := successProbability_1 }) =
    (toRuleApplication = toRuleApplication_1 ∧
      parent = parent_1 ∧ appliedRule = appliedRule_1 ∧ successProbability = successProbability_1)