Assertion list
bent (primary) → HasA
Results from Ascent++: 1
bent → HasA → the tool 0.25