Assertion list
spot (primary) → IsA

Results from Ascent++: 1
spotIsA area 0.61