Assertion list
charge (aspect of proton ) → HasA
Results from Ascent++: 1
charge → HasA → opposite sign 0.30