Assertion list for term "come in dimension".

Results from Ascent++: 1
garage door (subgroup of door) CapableOfcome in dimension 0.32