Assertion list for term "high state".

Results from Ascent++: 1
output AtLocationhigh state 0.34