Assertion list
bent (primary) → HasProperty
Results from Ascent++: 1
bent → HasProperty → parallel 0.41