Assertion list
grate (primary) → HasA
Results from Ascent++: 2
grate → HasA → a throughput of 600 t 0.30
grate → HasA → two handles 0.30