[g1 g2 g3 ...gm] [list of variables] eliminatev [r1 ... rp] Example: [(x y z - 1). (z-1). (y-1).] [(x) (y)] eliminatev [ z-1 ]
