One reason might be error propagation due to wrong POS tags predicted by the external tagger that we use.
instead we construct (a grammar that is isomorphic to) G f a via the grammar morphisms ϕ a and µ such that the diagram on the right commutes.