Assertion list
local mover (subgroup of mover ) → ReceivesAction
Results from Ascent++: 4
local mover → ReceivesAction → insured 0.31
local mover → ReceivesAction → regulated by the state 0.25
local mover → ReceivesAction → dedicated 0.16
local mover → ReceivesAction → experienced 0.16