Assertion list for term "one element".

Results from Ascent++: 2
vector HasAone element 0.38
probability HasAone element 0.30