¿Es esta la forma correcta de crear la afirmación SQL?

Question

Para hacer el siguiente tipo de afirmación

create assertion assert  
check "EMPTY SET" = (select User         
     from Video  
     where date=current_date()  
     group by user  
having count(*) >= 10

¿Es esta afirmación correcta?

create assertion assert  
check  0 = (select count(*)  
     from Video  
     where date=current_date()  
     group by user  
having count(*) >= 10