RingEnvs():TAGGED
R_1 ::= Q[a,b,c]; R_2 ::= Q[x,y]; RingEnvs(); -- your result may be different ["Q", "Qt", "R", "R_1", "R_2", "Z"] -------------------------------