Assertion list for term "arrive at a variety of sorts".

Results from Ascent++: 1
certificate CapableOfarrive at a variety of sorts 0.32