(motive : Aesop.SafeRulesResult → Sort u_1) →
  (x : Aesop.SafeRulesResult) →
    ((newRapps : Array Aesop.RappRef) → motive (Aesop.SafeRulesResult.proved newRapps)) →
      ((newRapps : Array Aesop.RappRef) → motive (Aesop.SafeRulesResult.succeeded newRapps)) →
        ((postponed : Array Aesop.PostponedSafeRule) → motive (Aesop.SafeRulesResult.failed postponed)) →
          (Unit → motive Aesop.SafeRulesResult.skipped) → motive x