Assertion list
nand gate (subgroup of gate ) → CapableOf
Results from Ascent++: 2
nand gate → CapableOf → create a logic 0 pulse 0.68
nand gate → CapableOf → function as inverter 0.25