The lattice consistency condition is imposed on the set of diacritics to ensure category unity.
in parsing, we achieve the same effect by partial execution (Pereira and Shieber 1987 looking for a VP (= S\NP) to the right to become S. The reversal of directionality such as topicalization (e.g., This book, i recommend) requires another schema.