Assertion list
rubber band (primary) → IsA
Results from Ascent++: 1
rubber band → IsA → a rubber band 0.25