- WebPage <
            Title : WS_TITLE,
            Report : Rows_{1st_page},
            Navigation : <
                           Page_number : 1,
                           Rows_total : Counter,
                           Rows_on_page : Settings.Rows_on_page
                         >
          >
          (
            'S', Const : S = `Const`Settings.Language_code
          )
          (
            Text : Say Text
          )
With Counter, Rows_{1st_page} from Items1stPage <
                                                  Page_size : Settings.Rows_on_page
                                                >                                                
                                                (
                                                  Result : Counter = Result.Total_rows
                                                )
                                                (
                                                  Row : Rows_{1st_page} .= Row
                                                )

