(RULES
  a -> a
  a -> g(a)
  g(g(b)) -> a
  g(g(b)) -> b
)
(COMMENT -f "a:0 b:0 g:1" -r 4 -v 0 -d 2 -s 6 "UN & ~UNC")