{motive : Aesop.RuleFilter → Sort u} →
  (t : Aesop.RuleFilter) →
    ((name : Lean.Name) →
        (scope : Aesop.ScopeName) →
          (builders : Array Aesop.BuilderName) →
            (phases : Array Aesop.PhaseName) →
              motive { name := name, scope := scope, builders := builders, phases := phases }) →
      motive t