Assertion list for term "required for main receiver".
Results from Ascent++: 1
battery (aspect of doorbell) → ReceivesAction → required for main receiver 0.23