Ascent++
Search
Assertion list
output
(
aspect
of
lamp
)
→ ReceivesAction
Results from
Ascent++
:
1
output
→
ReceivesAction
→
connected through inverter
0.36