Assertion list
maximum leverage (subgroup of leverage ) → IsA
Results from Ascent++: 1
maximum leverage → IsA → 1:400 0.68