Assertion list
battery (aspect of shaver ) → ReceivesAction
Results from Ascent++: 4
battery → ReceivesAction → charged 0.84
battery → ReceivesAction → drained 0.50
battery → ReceivesAction → replaced 0.49
battery → ReceivesAction → about to run 0.25