znak(X) --> "0"; "1"; "2"; "3"; "4"; "5"; "6"; "7"; "8"; "9"; "A"; "B"; "C"; "D"; "E"; "F"; "G" ;"H"; "I"; "J"; "K"; "L"; "M"; "N"; "O"; "U"; "P"; "R"; "S"; "T"; "U"; "V"; "W"; "X"; "Y"; "Z".
literawmi(X) --> "S"; "T"; "U"; "V"; "W"; "X"; "Y"; "Z".
cyfra(X) --> "0"; "1"; "2"; "3"; "4"; "5"; "6"; "7"; "8"; "9".
litera(X) --> "A"; "B"; "C"; "D"; "E"; "F"; "G" ;"H"; "I"; "J"; "K"; "L"; "M"; "N"; "O"; "U"; "P"; "R"; "S"; "T"; "U"; "V"; "W"; "X"; "Y"; "Z".
wmi(C) --> literawmi(Z), litera(X), znak(X).
vds(C) --> znak(X), znak(X), znak(X), znak(X), znak(X), znak(X).
vis(C) --> znak(X), znak(X), cyfra(X), cyfra(X), cyfra(X), cyfra(X), cyfra(X), cyfra(X).
vin(C) --> wmi(Y), vds(Y), vis(Y).