public Parser operatorIdParagraph() {
        if (operatorIdParagraphParser == null) {
           FutureParser future = scoped("operatorIdParagraph");
           operatorIdParagraphParser = future;
           future.setParser(
               sequence(
                   token("OPERATOR-ID"),
                   optional(
                       token(".")
                   ),
                   choice(
                       sequence(
                           token("="),
                           optional(
                               token("EXTENSION")
                           )
                       ),
                       token("<>"),
                       token(">="),
                       token(">"),
                       token("<="),
                       token("<"),
                       token("+"),
                       token("-"),
                       token("*"),
                       token("/"),
                       token("B-AND"),
                       token("B-OR"),
                       token("B-XOR"),
                       token("B-NOT"),
                       token("B-LEFT"),
                       token("B-RIGHT"),
                       token("IMPLICIT"),
                       token("EXPLICIT")
                   ),
                   optional(
                       token(".")
                   )
               )
           );
        }

        return operatorIdParagraphParser;
    }