Assertion list for term "one of the active lines".

Results from Ascent++: 1
symbol AtLocationone of the active lines 0.27