Assertion list
backlight (aspect of lcd ) → ReceivesAction
Results from Ascent++: 2
backlight → ReceivesAction → closed after the backlight of 3… 0.25
backlight → ReceivesAction → replaced 0.16