Assertion list
worker termite (subgroup of termite ) → ReceivesAction
Results from Ascent++: 1
worker termite → ReceivesAction → exposed to light 0.25