assertion based on formula gen:arc acceptance radius depends on parameter variable:variableArc