LRM doesn’t talk abt “->” in constraints domain.
I am not sure if I am missing something here but the LRM I am referring to has:
The implication operator ( –> ) can be used to declare an expression that implies a constraint
under random constraints section
Also I think your constraint look perfectly fine to me if we ignore the probability for ETHERNET and VLAN