Assertion list for term "one or more digital inputs".

Results from Ascent++: 1
gate HasAone or more digital inputs 0.25