Assertion list
circuit diagram (subgroup of diagram ) ā†’ ReceivesAction
Results from Ascent++: 1
circuit diagram ā†’ ReceivesAction ā†’ broken into schematic circuit sā€¦ 0.51