(probably related to this thread: In-situ wh-words in languages which also do extraction)
Why is the leftmost tree not ruled out by the nonlocal constraints on the root?
(Note: this is a pseudolanguage, not English):
In the leftmost tree, cat sleeps is licensed by the extracted adjunct rule. So that middle S will have a non-empty SLASH list. Then the top S is licensed by the head-adjunct rule. But the head-adjunct rule is appending its daughters’ slashes. So the topmost S must have a non-empty SLASH-list. The root of course expects non-local-none on its SYNSEM. Why do I get that tree then?
Perhaps the SLASH value on the top S is fishy, I am not sure:
Perhaps that can somehow be unified with an empty SLASH list?