Assertion list for term "2 inputs".

Results from Ascent++: 1
tv HasA2 inputs 0.38