Assertion list for term "operate in range".

Results from Ascent++: 1
receiver CapableOfoperate in range 0.25