Assertion list
scarlet (primary) → HasA
Results from Ascent++: 1
scarlet → HasA → degree 0.25