add spec about sequences and non-terminals