Assertion list
burrow (primary) → HasA
Results from Ascent++: 2
burrow → HasA → several entrances 0.68
burrow → HasA → hole 0.35