Assertion list for term "represent the horizon".

Results from Ascent++: 1
circle CapableOfrepresent the horizon 0.25