{motive : Lean.Server.Watchdog.ModuleQueryMatch → Sort u} →
  (t : Lean.Server.Watchdog.ModuleQueryMatch) →
    ((toModuleQueryMatchScore : Lean.Server.Watchdog.ModuleQueryMatchScore) →
        (decl : Lean.Name) →
          (declAsString : String) →
            motive { toModuleQueryMatchScore := toModuleQueryMatchScore, decl := decl, declAsString := declAsString }) →
      motive t