other,18-1-P83-1003,ak to consist of finite sequences of <term> category labels </term> , and allowing <term> schematic variables
hide detail