Definition lanarkDottedString :=
  forall (s : string),
    matches s (regex "([a-z][a-z0-9_-]{0,63})(\.[a-z][a-z0-9_-]{0,62}){0,15}").
