Assertion list for term "vary in direct proportion".

Results from Ascent++: 2
output CapableOfvary in direct proportion 0.29
output (aspect of gate) CapableOfvary in direct proportion 0.25