Assertion list
service mover (subgroup of mover ) → HasProperty
Results from Ascent++: 1
service mover → HasProperty → convenient 0.16