"a.b -> a"