Assertion list
merging (primary) → HasProperty
Results from Ascent++: 6
merging → HasProperty → difficult 0.70
merging → HasProperty → easier 0.63
merging → HasProperty → possible 0.46
merging → HasProperty → necessary 0.30
merging → HasProperty → painful 0.22
merging → HasProperty → time-consuming 0.16