(motive : Lean.Meta.Grind.NormalizePattern.ParentKind✝ → Sort u_1) →
  (parentKind : Lean.Meta.Grind.NormalizePattern.ParentKind✝) →
    (Unit → motive Lean.Meta.Grind.NormalizePattern.ParentKind.genPattern✝) →
      ((x : Lean.Meta.Grind.NormalizePattern.ParentKind✝) → motive x) → motive parentKind