web-addr -x = arg-pairs WS_URL + query-string ->
  .str[
        http://
            { domain : *.* }
        /
            { path : * }
        /page.cgi
            { parameters : ^[?]^[a-z][0-9][-.:]* }
      ]
      <
        domain : `WS_DOMAIN_NAME
        path : `WS_SCRIPT_PATH
        parameters : arg-pairs
      >
      (
        x -> query-string = x
      )
_
  arg-pairs : string
  query-string : string
;