Assertion list
charge (aspect of electron ) → HasA

Results from Ascent++: 1
chargeHasA three layers 0.25