Assertion list
rubber band (primary) → HasA
Results from Ascent++: 1
rubber band → HasA → elastic potential energy 0.25