Assertion list for term "be a column vector".

Results from Ascent++: 1
output CapableOfbe a column vector 0.30