Assertion list
lumen (aspect of flashlight ) → ReceivesAction
Results from Ascent++: 2
lumen → ReceivesAction → emitted 0.25
lumen → ReceivesAction → reached 0.25