Assertion list
local mover (subgroup of mover ) → HasA
Results from Ascent++: 1
local mover → HasA → the knowledge 0.25