Assertion list
charge (aspect of neutron ) → HasA

Results from Ascent++: 1
chargeHasA opposite sign 0.25