Assertion list
circuitry (primary) → HasA
Results from Ascent++: 2
circuitry → HasA → an iq mismatch 0.31
circuitry → HasA → first and second ends 0.28