{motive_1 : Lean.Xml.Element → Sort u} →
  (t : Lean.Xml.Element) →
    ((name : String) →
        (attributes : Lean.Xml.Attributes) →
          (content : Array Lean.Xml.Content) → motive_1 (Lean.Xml.Element.Element name attributes content)) →
      motive_1 t