Assertion list
light (aspect of moon ) → HasA
Results from Ascent++: 2
light → HasA → finite velocity 0.25
light → HasA → impact 0.25