Assertion list
different level (subgroup of level ) → HasProperty
Results from Ascent++: 2
different level → HasProperty → accessible 0.68
different level → HasProperty → appropriate 0.68