Assertion list
ante (primary) → HasProperty
Results from Ascent++: 7
ante → HasProperty → low 0.53
ante → HasProperty → small 0.52
ante → HasProperty → mandatory 0.46
ante → HasProperty → blind 0.41
ante → HasProperty → high 0.35
ante → HasProperty → optional 0.35
ante → HasProperty → large 0.29