Assertion list for term "meet problem".

Results from Ascent++: 1
patience CapableOfmeet problem 0.22