Assertion list for term "appear above the horizon".

Results from Ascent++: 2
reflection rainbow (subgroup of rainbow) CapableOfappear above the horizon 0.55
sun CapableOfappear above the horizon 0.47