Assertion list
emulation (primary) → HasProperty
Results from Ascent++: 6
emulation → HasProperty → good 0.56
emulation → HasProperty → slow 0.51
emulation → HasProperty → legal 0.48
emulation → HasProperty → active 0.25
emulation → HasProperty → complete 0.25
emulation → HasProperty → perfect 0.11