Assertion list for term "0.2 v".

Results from Ascent++: 1
output (aspect of gate) HasA0.2 v 0.25