Ascent++
Search
battery
aspect of
doorbell
,
3
assertions
HasProperty
1
low
0.25
ReceivesAction
2
charged
0.25
required for main recei…
0.23