Assertion list
multiplexer (primary) → HasProperty
Results from Ascent++: 4
multiplexer → HasProperty → useful 0.55
multiplexer → HasProperty → responsive 0.42
multiplexer → HasProperty → anded 0.25
multiplexer → HasProperty → simple 0.25