User: I want to record a 4K video.
Parse: Record_video ( resolution « 4K » )