Assertion list for term "the meet point".

Results from Ascent++: 1
horizontal line (subgroup of line) HasAthe meet point 0.25