Assertion list for term "their cons".

Results from Ascent++: 1
almond HasAtheir cons 0.16