Assertion list
vertical bar (subgroup of bar ) → HasA
Results from Ascent++: 1
vertical bar → HasA → standard hook 0.68