Assertion list
ledge (primary) → HasA
Results from Ascent++: 2
ledge → HasA → shape 0.35
ledge → HasA → few small caves 0.25