tokens: ['The', 'IRIPOI', 'in', 'the', 'AMF', 'shall', 'generate', 'an', 'xIRI', 'containing', 'an', 'AMFDeregistration', 'record', 'when', 'the', 'IRIPOI', 'present', 'in', 'the', 'AMF', 'detects', 'that', 'a', 'UE', 'matching', 'one', 'of', 'the', 'target', 'identifiers', 'provided', 'via', 'LIX', 'has', 'deregistered', 'from', 'the', 'GS', 'over', 'at', 'least', 'one', 'access', 'type', 'Accordingly', 'the', 'IRIPOI', 'in', 'AMF', 'generates', 'the', 'xIRI', 'when', 'any', 'of', 'the', 'following', 'events', 'is', 'detected', '', 'For', 'network', 'initiated', 'deregistration', 'when', 'the', 'AMF', 'receives', 'the', 'N', 'DEREGISTRATION', 'ACCEPT', 'message', 'from', 'the', 'target', 'UE', 'or', 'when', 'implicit', 'deregistration', 'timer', 'expires', 'and', 'in', 'both', 'cases', 'the', 'UE', 'GMN', 'state', 'for', 'the', 'access', 'type', 'GPP', 'NGRAN', 'or', 'nonGPP', 'access', 'within', 'the', 'AMF', 'is', 'changed', 'to', 'GMMDEREGISTERED', '', 'For', 'UE', 'initiated', 'deregistration', 'when', 'the', 'AMF', 'sends', 'the', 'N', 'DEREGISTRATION', 'ACCEPT', 'message', 'to', 'the', 'target', 'UE', 'or', 'when', 'the', 'AMF', 'receives', 'the', 'N', 'DEREGISTRATION', 'REQUEST', 'message', 'from', 'the', 'target', 'UE', 'with', 'deregistration', 'type', 'value', 'of', 'switch', 'off', 'and', 'in', 'both', 'cases', 'the', 'UE', 'GMN', 'state', 'for', 'the', 'access', 'type', 'GPP', 'NGRAN', 'or', 'nonGPP', 'access', 'within', 'the']