Assertion list
excavation (primary) → HasA

Results from Ascent++: 1
excavationHasA system 0.25