... rule as V ---> /Z because this means that if ... is in one group, Z cannot be in that ... other groups (and if Z is in a group, ... we represent it as V /Z, it means class 1, ... right because V and Z are not repeatable in ... only one V and one Z.
There ...