Assertion list
intersection (primary) → IsA
Results from Ascent++: 2
intersection → IsA → point 0.39
intersection → IsA → planned point of conflict 0.16