Assertion list
cantilevered beam (subgroup of beam ) → HasA
Results from Ascent++: 1
cantilevered beam → HasA → a tip portion 0.68