Property information
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
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