Assertion list
bandage (primary) → HasA
Results from Ascent++: 1
bandage → HasA → recoverable elastic strain 0.29