Assertion list for term "transition to degraded operating mode".
Results from Ascent++: 1
microprocessor → CapableOf → transition to degraded operating mode 0.25