2.1.1 Sorts

      SORT-ITEMS ::= sort-items SORT-ITEM+
      SORT-ITEM  ::= SORT-DECL

A list SORT-ITEMS of sort declarations is written:

sorts SI₁; ... SI_n;