Assertion list for term "come in two basic types".

Results from Ascent++: 1
tube CapableOfcome in two basic types 0.25