Assertion list for term "high logic level".

Results from Ascent++: 1
output AtLocationhigh logic level 0.31