(motive : Aesop.ForwardRulePriority → Sort u_1) →
  (x : Aesop.ForwardRulePriority) →
    ((n : ℤ) → motive (Aesop.ForwardRulePriority.normSafe n)) →
      ((p : Aesop.Percent) → motive (Aesop.ForwardRulePriority.unsafe p)) → motive x