Assertion list for term "small to cover the sun".

Results from Ascent++: 1
moon ReceivesActionsmall to cover the sun 0.34