{motive_2 : Lean.Xml.Content → Sort u} →
  (t : Lean.Xml.Content) →
    ((element : Lean.Xml.Element) → motive_2 (Lean.Xml.Content.Element element)) →
      ((comment : String) → motive_2 (Lean.Xml.Content.Comment comment)) →
        ((content : String) → motive_2 (Lean.Xml.Content.Character content)) → motive_2 t