Johnson's OLP constraint is too restrictive, since it excludes all repetitive unary branching chains and -rules, furthermore, it is applicable only to skeletal grammars.
torenvliet and trautwein (1995) have suggested a more liberal constraint, which is applicable to all unification grammar formalisms.