Assertion list for term "switch to high state".

Results from Ascent++: 1
output CapableOfswitch to high state 0.27