Assertion list
gate (primary) → HasA

Results from Ascent++: 9
gateHasA two inputs 0.53
gateHasA only one input 0.35
gateHasA chain-link 0.33
gateHasA palisade 0.27
gateHasA angel 0.25
gateHasA one or more digital inputs 0.25
gateHasA only two inputs 0.25
gateHasA second input 0.25
gateHasA picket 0.22