(motive : Lean.Syntax.Preresolved → Sort u_1) →
  (x : Lean.Syntax.Preresolved) →
    ((ns : Lean.Name) → motive (Lean.Syntax.Preresolved.namespace ns)) →
      ((n : Lean.Name) → (fs : List String) → motive (Lean.Syntax.Preresolved.decl n fs)) → motive x