assumption
  have <shift>
  have " "
  have_chars ",.-"
  have_range "a" "z"
end assumption