Assertion list
battery (aspect of doorbell ) → ReceivesAction
Results from Ascent++: 2
battery → ReceivesAction → charged 0.25
battery → ReceivesAction → required for main receiver 0.23