Assertion list
containment (primary) → HasProperty
Results from Ascent++: 5
containment → HasProperty → possible 0.48
containment → HasProperty → necessary 0.46
containment → HasProperty → effective 0.40
containment → HasProperty → irrelevant 0.16
containment → HasProperty → obsolete 0.16