(motive : Lean.Syntax.Preresolved → Sort u_1) →
  (x : Lean.Syntax.Preresolved) →
    ((ns : Lean.Name) → motive (Lean.Syntax.Preresolved.namespace ns)) →
      ((x : Lean.Syntax.Preresolved) → motive x) → motive x