Assertion list for term "come in three models".

Results from Ascent++: 1
watch CapableOfcome in three models 0.34