Assertion list
blind spot (primary) → IsA
Results from Ascent++: 1
blind spot → IsA → blind spots 0.16