Assertion list
curve inversion (subgroup of inversion ) → HasA
Results from Ascent++: 1
curve inversion → HasA → one false positive 0.68