Assertion list
new party (subgroup of party ) → IsA
Results from Ascent++: 1
new party → IsA → party 0.25