Assertion list
light (aspect of firefly ) → ReceivesAction
Results from Ascent++: 2
light → ReceivesAction → produced 0.68
light → ReceivesAction → produced by firefly 0.49