VN=SA
VT=ab
S0=S
S=aA
S=bS
A=aA
A=a
