Assertion list for term "two or more branches".
Results from Ascent++: 1
circuit → HasA → two or more branches 0.25