Assertion list for term "two of every sort".

Results from Ascent++: 1
ark HasAtwo of every sort 0.16