We believe that it should be possible to optimize the mapping such that much smaller grammars are generated.
when rules of a one-reentrant unification grammar are mapped to LIG rules (definition 14), FH and UH are used to define heads of fixed and unbounded LIG rules, respectively.