Assertion list
potential (aspect of electrode ) → AtLocation
Results from Ascent++: 1
potential → AtLocation → potential range 0.30