Assertion list for term "meet the rfl".

Results from Ascent++: 1
surface CapableOfmeet the rfl 0.59