Assertion list
foray (primary) → IsA
Results from Ascent++: 1
foray → IsA → attempt 0.56