Assertion list
hedge (primary) → IsA
Results from Ascent++: 1
hedge → IsA → fence 0.35