Relative sub-shape yields in generate(Extended)

Thank you for your thorough reply. I have a follow-on question that seemed to deserve its own topic, if you have any input on it as well: