Ascent++
Search
Assertion list
for term "a control node".
Results from
Ascent++
:
1
circuit
→
HasA
→
a control node
0.25