Assertion list
branch (aspect of union ) → AtLocation

Results from Ascent++: 1
branchAtLocation the vine 0.25