Assertion list
electron (primary) → HasPrerequisite
Results from Ascent++: 2
electron → HasPrerequisite → less energy 0.40
electron → HasPrerequisite → more energy 0.32