Help with QoS on Cisco cat9500 16.12.x

Hi folks, I'm looking for help doing an QoS config. The overall egress policy needs to police at 5Gbps, and within that 5Gbps, EF traffic needs to get absolute priority, no matter the bandwidth up to the 5Gbps.

class-map match-any Match-Video match dscp ef ! policy-map PRIORITY class Match-Video priority level 1 class class-default ! policy-map WAN class class-default police rate 5000000000 conform-action transmit exceed-action drop service-policy PRIORITY interface TwentyFiveGigE1/0/1 service-policy output WAN 

The part I'm not 100% understanding is how to have an aggregate policer. Nested policy maps seems to be the way, and i'm also unsure about the inside service-policy seeming to be within in the "police" statement but this could just be a visual artifact within CML(VIRL). Anyways, thanks in advance for your advice/help!