Since the variable x bound by the quantifier is shared by both scope and restriction, it is included in both the top feature structure of the determiner root node and the bottom feature structure of the determiner foot node.
x is unified with both xi and x2.