Assertion list
charged ion (subgroup of ion ) → IsA
Results from Ascent++: 2
charged ion → IsA → metal 0.35
charged ion → IsA → charged ion 0.25