Assertion list
new constitution (subgroup of constitution ) → IsA
Results from Ascent++: 2
new constitution → IsA → improvement 0.20
new constitution → IsA → step 0.20