Assertion list
circuit diagram (subgroup of diagram ) → UsedFor

Results from Ascent++: 2
circuit diagramUsedFor the circuit design 0.77
circuit diagramUsedFor construction 0.35