Assertion list for term "detect up to three inputs".

Results from Ascent++: 1
circuit CapableOfdetect up to three inputs 0.25