Assertion list
attenuator (primary) → HasProperty
Results from Ascent++: 2
attenuator → HasProperty → loose 0.25
attenuator → HasProperty → variable 0.25