Assertion list
vacuum circuit breaker (subgroup of circuit breaker ) → HasA
Results from Ascent++: 1
vacuum circuit breaker → HasA → longer life expectancies 0.25