Assertion list for term "specified element".

Results from Ascent++: 2
set HasAspecified element 0.40
queue HasAspecified element 0.37