(motive : Aesop.PhaseSpec → Sort u_1) →
  (x : Aesop.PhaseSpec) →
    ((info : Aesop.SafeRuleInfo) → motive (Aesop.PhaseSpec.safe info)) →
      ((info : Aesop.UnsafeRuleInfo) → motive (Aesop.PhaseSpec.unsafe info)) →
        ((info : Aesop.NormRuleInfo) → motive (Aesop.PhaseSpec.norm info)) → motive x