Assertion list for term "depend on radius of operation".

Results from Ascent++: 1
hazard CapableOfdepend on radius of operation 0.16