Assertion list
crossing (primary) → IsA
Results from Ascent++: 1
crossing → IsA → point 0.33