Assertion list
total loss (subgroup of loss ) → IsA
Results from Ascent++: 1
total loss → IsA → over the setting 0.41