Assertion list
local mover (subgroup of mover ) → HasProperty
Results from Ascent++: 1
local mover → HasProperty → professional 0.31