Assertion list
new method (subgroup of method ) → IsA
Results from Ascent++: 1
new method → IsA → permissible method 0.28