Assertion list
light (aspect of firefly ) → HasProperty
Results from Ascent++: 5
light → HasProperty → green 0.25
light → HasProperty → visible 0.25
light → HasProperty → yellow 0.25
light → HasProperty → efficient 0.16
light → HasProperty → orange 0.16