tokens: ['The', 'UE', 'shall', 'proceed', 'as', 'follows', '', 'if', 'the', 'tracking', 'area', 'update', 'was', 'successful', 'for', 'EPS', 'services', 'only', 'and', 'the', 'TRACKING', 'AREA', 'UPDATE', 'ACCEPT', 'message', 'contained', 'a', 'value', 'included', 'in', 'the', 'SMS', 'services', 'status', 'IE', 'not', 'treated', 'in', 'clause', 'A', 'the', 'UE', 'shall', 'proceed', 'as', 'follows', 'a', 'The', 'UE', 'shall', 'stop', 'timer', 'T', 'if', 'still', 'running', 'The', 'tracking', 'area', 'updating', 'attempt', 'counter', 'shall', 'be', 'incremented', 'unless', 'it', 'was', 'already', 'set', 'to', '', 'b', 'If', 'the', 'tracking', 'area', 'updating', 'attempt', 'counter', 'is', 'less', 'than', '', '', 'the', 'UE', 'shall', 'start', 'timer', 'T', 'shall', 'set', 'the', 'EPS', 'update', 'status', 'to', 'EU', 'UPDATED', 'and', 'shall', 'enter', 'state', 'EMMREGISTEREDNORMALSERVICE', 'When', 'timer', 'T', 'expires', 'the', 'normal', 'tracking', 'area', 'updating', 'procedure', 'for', 'EPS', 'services', 'and', 'SMS', 'only', 'or', 'the', 'combined', 'tracking', 'area', 'updating', 'procedure', 'for', 'EPS', 'services', 'and', 'SMS', 'only', 'is', 'triggered', 'c', 'If', 'the', 'tracking', 'area', 'updating', 'attempt', 'counter', 'is', 'equal', 'to', '', '', 'the', 'UE', 'shall', 'start', 'timer', 'T', 'shall', 'set', 'the', 'EPS', 'update', 'status', 'to', 'EU', 'UPDATED', 'and', 'shall', 'enter', 'state', 'EMMREGISTEREDNORMALSERVICE', 'When', 'timer', 'T', 'expires', 'the', 'normal', 'tracking', 'area', 'updating', 'procedure', 'for', 'EPS', 'services', 'and', 'SMS', 'only', 'or', 'the', 'combined', 'tracking', 'area', 'updating', 'procedure', 'for', 'EPS', 'services', 'and', 'SMS', 'only', 'is', 'triggered', 'and', '', 'otherwise', 'the', 'abnormal', 'cases', 'specified', 'in', 'clause', '', 'apply']