only unseen tokens must occur in further rules