#---------- Sequence declaration----------# term := someterm, [0-9]*, "X"+, (otherterm, stillother)?