(RULES a -> b c , a a -> , a b b -> b b a a)