Assertion list
charge (aspect of ion ) → HasA

Results from Ascent++: 1
chargeHasA three layers 0.32