Assertion list
commutation (primary) → HasProperty
Results from Ascent++: 4
commutation → HasProperty → partial 0.45
commutation → HasProperty → conditional 0.40
commutation → HasProperty → full 0.25
commutation → HasProperty → inspirational 0.16