Assertion list
electronic device (primary) → HasA
Results from Ascent++: 2
electronic device → HasA → multilayer 0.39
electronic device → HasA → circuitry 0.35