Assertion list
aluminum wiring (subgroup of wiring ) → HasProperty
Results from Ascent++: 1
aluminum wiring → HasProperty → safe 0.72