Assertion list
formal parameter (subgroup of parameter ) → IsA
Results from Ascent++: 1
formal parameter → IsA → assigned default values 0.25