Assertion list
rattan (primary) → HasA
Results from Ascent++: 1
rattan → HasA → spine 0.35