Assertion list for term "only two inputs".
Results from Ascent++: 1
gate → HasA → only two inputs 0.25