We observed in conjunction with Lemma 3 that the f-description of every derivation for F can be reduced to an equivalent description that is satisfied in the canonical modelF expanded by some interpretation of root.
the generation grammar can be constructed by considering only the set IRDF containing those elements of IRD F whose instantiated descriptions are modeled by some root expansion ofF.