Assertion list for term "elect to address element".

Results from Ascent++: 1
arbitrator CapableOfelect to address element 0.27