If an input f-structure F is not complete and coherent, the LFG derivation relation ∆ G does not associate it with any strings, and the set Gen G (F) is empty.
when we determine by inspection that an input f-structure fails to satisfy these conditions, we maintain the context-free result by assigning it a trivial grammar that generates the empty context-free language.