public Parser specialNamesParagraph() {
        if (specialNamesParagraphParser == null) {
           FutureParser future = scoped("specialNamesParagraph");
           specialNamesParagraphParser = future;
           future.setParser(
               sequence(
                   token("SPECIAL-NAMES"),
                   token("."),
                   star(
                       choice(
                           specialNameStatement(),
                           copyStatement()
                       )
                   ),
                   optional(
                       token(".")
                   ),
                   optional(
                       skipto(
                           choice(
                               paragraphStart(),
                               sectionStart(),
                               divisionStart()
                           )
                       )
                   )
               )
           );
        }

        return specialNamesParagraphParser;
    }