Assertion list
dominance (primary) → HasProperty
Results from Ascent++: 4
dominance → HasProperty → high 0.39
dominance → HasProperty → low 0.39
dominance → HasProperty → incomplete 0.25
dominance → HasProperty → complete 0.24