Ascent++
Search
Assertion list
coil
(
aspect
of
relay
)
→ CapableOf
Results from
Ascent++
:
5
coil
→
CapableOf
→
generate magnetic field
0.47
coil
→
CapableOf
→
stay energized
0.28
coil
→
CapableOf
→
carry current
0.25
coil
→
CapableOf
→
power the led
0.25
coil
→
CapableOf
→
switch to other of first and se…
0.25