Assertion list for term "used to detect the water level".

Results from Ascent++: 1
circuit ReceivesActionused to detect the water level 0.25