Assertion list for term "meet right line".

Results from Ascent++: 1
circle CapableOfmeet right line 0.25