Assertion list
new charter (subgroup of charter ) → IsA
Results from Ascent++: 1
new charter → IsA → new public company parent 0.25