Assertion list for term "meet constraint".

Results from Ascent++: 1
value (aspect of variable) CapableOfmeet constraint 0.25