From the constraint on initial symbols (20), which requires the FOC value of the top S node to be empty, the Focus Resolution Rule is forced to apply.
the meaning of the FP gets incorporated into the semantics and the FOC value gets deleted.