Copy
x is a branching part of y if and only if x is part of y and x is connected directly or indirectly to the main stem of y
branching_part_of
