User: Shoot an HD, I mean 4K video..
Parse: Record_video ( resolution « HD » resolution « 4K » )